Modeling and evaluating the feasibility of timing constraints under different real-time scheduling algorithms

The objective of the work described here is to provide a software tool to assist real-time system specifiers and designers to predict, at an early stage of the development process, the timing behavior of the system being developed. The timing behavior of the system is dependent on the scheduler which is the central component of any real-time system. Our tool (Simulation of Real-Time systems (SRT)) is used to model the timing aspects of a real-time system and to simulate the system with a particular scheduling policy so as to predict its behavior. This paper will present an overview of the capabilities of the system which is implemented using an object-oriented programming language (Smalltalk-80).

[1]  Krithi Ramamritham,et al.  A local area network architecture for communication in distributed real-time systems , 1991, Real-Time Systems.

[2]  Lui Sha,et al.  Aperiodic task scheduling for Hard-Real-Time systems , 2006, Real-Time Systems.

[3]  J. E. Jordan.  Experiences structuring software in a periodic real‐time environment , 1990, Softw. Pract. Exp..

[4]  R. J. Lauber,et al.  Forecasting real-Time behavior during software design using a CASE environment , 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track.

[5]  Luqi,et al.  A computer-aided prototyping system , 1988, IEEE Software.

[6]  A. D. Stoyenko,et al.  Real-time Euclid: a language for reliable real-time systems , 1989 .

[7]  Kwei-Jay Lin,et al.  Expressing and maintaining timing constraints in FLEX , 1988, Proceedings. Real-Time Systems Symposium.

[8]  Gerhard Fohler,et al.  An Engineering Approach to Hard Real-Time System Design , 1991, ESEC.

[9]  Mark T. Norris,et al.  Systematic method for realtime system design , 1988, Microprocess. Microsystems.

[10]  Karsten Schwan,et al.  Experimental Evaluation of a Real-Time Scheduler for a Multiprocessor System , 1991, IEEE Trans. Software Eng..

[11]  F. Jahanian,et al.  Semantics of Modechart in real time logic , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track.

[12]  Larry E. Nelson.  An Engineering Approach to TV Lighting. , 1974 .

[13]  Pamela Zave,et al.  Salient features of an executable specification language and its environment , 1986, IEEE Transactions on Software Engineering.

[14]  Luqi,et al.  A Prototyping Language for Real-Time Software , 1988, IEEE Trans. Software Eng..

[15]  Luqi.  Knowledge-based support for rapid software prototyping , 1988, IEEE Expert.

[16]  Ian Sommerville,et al.  Modelling real-time constraints , 1991, RTSS 1991.

[17]  Bob Malcolm.  A Large Embedded System Project Case Study , 1990 .

[18]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[19]  Wolfgang A. Halang,et al.  Comparative evaluation of high-level real-time programming languages , 2005, Real-Time Systems.

[20]  J.A. Stankovic,et al.  Misconceptions about real-time computing: a serious problem for next-generation systems , 1988, Computer.

[21]  Richard A. Kemmerer,et al.  RT-ASLAN: A specification language for real-time systems , 1986, IEEE Transactions on Software Engineering.

[22]  Luqi,et al.  Rapidly prototyping real-time systems , 1988, IEEE Software.

[23]  Narain H. Gehani,et al.  Real-time Concurrent C: A language for programming dynamic real-time systems , 2004, Real-Time Systems.

[24]  Farnam Jahanian,et al.  Verifying properties of systems with variable timing constraints , 1989, [1989] Proceedings. Real-Time Systems Symposium.

[25]  Paul C. Clements,et al.  Clairvoyance, capricious timing faults, causality, and real-time specifications , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.

[26]  S. T. Allworth,et al.  Introduction to Real-time Software Design , 1987 .

[27]  B. Dasarathy,et al.  Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them , 1989, IEEE Transactions on Software Engineering.

[28]  Farnam Jahanian,et al.  A Method for Verifying Properties of Modechart Specifications , 1988, RTSS.

[29]  David Harel,et al.  On visual formalisms , 1988, CACM.