2 citations found. Retrieving documents...
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.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Petri Net Models for Single Processor Real-Time Scheduling - Naedele (1998)   (Correct)

....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.


A Survey of Real-Time Scheduling Tools - Naedele (1998)   (Correct)

....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