| Kanad Ghose, Sudhir Aggarwal, Pavel Vasek, S. Chandra, Amritansh Raghav, Abrahijt Ghosh, and David Vogel. Asserts: A toolkit for real-time software design, development, and evaluation. In Proceedings Euromicro Workshop on Real-Time Systems, 1997. |
....extendibility over conventional scheduling simulators (e.g. 48] which only allow more or less predefined task precedence structures. Even though there exist a lot of theoretical results about schedulability in single processor real time systems [47] scheduling simulation is still necessary [18, 22, 8] when non ideal behavior of system components (e.g. overhead) or overload situations have to be taken into account, or when the task system interacts with an environment for which no theoretical results exist, but which can very well be modeled as a Petri net. Petri net models of real time ....
Kanad Ghose, Sudhir Aggarwal, Pavel Vasek, S. Chandra, Amritansh Raghav, Abrahijt Ghosh, and David Vogel. Asserts: A toolkit for real-time software design, development, and evaluation. In Proceedings Euromicro Workshop on Real-Time Systems, 1997.
....was at that time available for public evaluation, nor were there any independent evaluation results or case studies reported, so that the descriptions given here had to rely on papers published by the tool authors 1 . 2 ASSERTS ASSERTS (A Software Simulation Environment for Real Time Systems) [10] targets distributed and heterogeneous systems. It allows the modeling of nonstandard systems by a combination of parameter boxes and specification of the task body with a pseudo code language that also contains control flow and communication primitives. The system allows multiple CPUs and the ....
Kanad Ghose, Sudhir Aggarwal, Pavel Vasek, S. Chandra, Amritansh Raghav, Abrahijt Ghosh, and David Vogel. Asserts: A toolkit for real-time software design, development, and evaluation. In Proceedings Euromicro Workshop on Real-Time Systems, 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC