PASS: a prototyping, analysis, simulation, and synthesis environment for real-time systems

This paper describes the design and implementation of a prototyping, analysis, simulation, and synthesis environment called PASS for real-time application systems. The design of the PASS environment is based on an event-driven model, whereas certain timing constraints such as period are described implicitly. The PASS environment supports not only detection of possible violations of end-to-end delay requirements but also a way to verify important system properties such as the bound for the error propagation problem. The strengths of this work were demonstrated by a case study on a common chalkboard example over Ethernet