Abstract RTOS modeling for multiprocessor system-on-chip
Citations
63 citations
Cites methods from "Abstract RTOS modeling for multipro..."
...The system is conceived as a collection of tasks and the model allows analysis of the effect of a certain scheduling policy. The functionality is not exercised [ 19 ]....
[...]
54 citations
Cites methods from "Abstract RTOS modeling for multipro..."
...In [7], the authors adopt a different approach by requiring the designer to specify the overall WCET of a software task making their approach suitable for the analysis of system real-time properties but not for performance modeling....
[...]
49 citations
43 citations
Cites background or methods from "Abstract RTOS modeling for multipro..."
...[8, 12, 16, 17, 18, 19] further explain allocation, scheduling and synchronization in RTOS’s....
[...]
...For details on the model and how it is implemented in SystemC (including the use of the Master-Slave library), we refer to [9] and [16]....
[...]
...We extend our previous work [9, 16] on the modeling of a multi-threaded application, running on a multiprocessor platform under the control of one or more abstract RTOS’s, with a model of an on-chip network which can provide provisions for run-time inspection and observation of the onchip communication....
[...]
...Using this approach, we have demonstrated that our, previously proposed [9, 16], abstract RTOS model can be extended to include an abstract NoC processor that can effectively model the system-level effects of any NoC architecture....
[...]
37 citations
Cites methods from "Abstract RTOS modeling for multipro..."
...Previously, in [17, 19] and [18], we have introduced some of the components of the ARTS framework....
[...]
References
2,443 citations
87 citations
60 citations
55 citations
36 citations