J. Sifakis. Modeling real-time systems -- challenges and work directions. In Proc. First International Workshop on Embedded Software (EMSOFT), LNCS 2211, pages 373--389. Springer Verlag, 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Playing with Time: On the Specification and Execution of.. - Harel, Marelly (2002) (1 citation) (Correct)
....speed, at least insofar as the host machine s clock allows, gets us as close as can be hoped to having a really real time system model. For a detailed discussion regarding the problems and challenges in the transition between models of real time systems and their implementation, see [19]. 6 The NetPhone Example We have used the play engine to specify and execute behavioral requirements of various kinds of example systems, each emphasizing a different aspect of typical real world systems (e.g. computational aspects via a pocket calculator, interaction with an external ....
J. Sifakis. "Modeling Real-Time Systems --- Challenges and Work Directions", Proc. 1st Int. Workshop on Embedded Software (EMSOFT 2001), Lecture Notes in Computer Science, Vol. 2211, Springer-Verlag, 2001.
Building Models of Real-Time Systems from Application.. - Sifakis, Tripakis, Yovine (2003) (1 citation) Self-citation (Sifakis) (Correct)
.... on the thesis that a timed model of a real time system can be obtained by adequately restricting the behavior of its application software with time constraints characterizing the execution platform and the external environment (e.g. execution times, task arrival times, or scheduling policies) [31]. The paper presents the methodology, discusses problems related to its feasibility, and describes its application to synchronous real time systems. It is organized as follows. Section II presents current practice and challenges in real time system development. The methodology considers modeling ....
J. Sifakis, "Modeling real-time systems---Challenges and work directions, " in Lecture Notes in Computer Science, Embedded Software. Heidelberg, Germany: Springer-Verlag, 2001, vol. 2211, pp. 373--389.
Principles of Real-Time Programming - Christoph Kirsch Department (2002) (3 citations) (Correct)
No context found.
J. Sifakis. Modeling real-time systems -- challenges and work directions. In Proc. First International Workshop on Embedded Software (EMSOFT), LNCS 2211, pages 373--389. Springer Verlag, 2001.
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