Real-time scheduling for software prototyping

This paper presents several real-time scheduling algorithms developed to support rapid prototyping of embedded systems using the Computer Aided Prototyping System (CAPS). The CAPS tools are based on the Prototyping System Description Language (PSDL), which is a high-level language designed specifically to support the conceptual modeling of real-time embedded systems. This paper describes the scheduling algorithms used in CAPS along with the associated timing constraint and hardware models, which include single and multi-processor configurations.

[1]  Tzu-Chiang Chang Static scheduler for hard real-time tasks on multiprocessor systems , 1992 .

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

[3]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

[4]  Mauricio de Menezes Cordeiro,et al.  Distributed hard real-time scheduling for a software prototyping environment , 1995 .

[5]  Bao-Hua Fan Evaluations of some scheduling algorithms for hard real-time systems , 1990 .

[6]  Liangchuan Hsu Multiprocessor Scheduling for Hard Real-Time Software , 1990 .

[7]  Luqi Computer-aided prototyping for a command-and-control system using CAPS , 1992, IEEE Software.

[8]  Luqi Handling timing constraints in rapid prototyping , 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track.

[9]  V. Cerný Thermodynamical approach to the traveling salesman problem: An efficient simulation algorithm , 1985 .

[10]  Luqi Real-Time Constraints in a Rapid Prototyping Language , 1993, Comput. Lang..

[11]  Aloysius Ka-Lau Mok,et al.  Fundamental design problems of distributed systems for the hard-real-time environment , 1983 .

[12]  Stanisław Zdrzałka,et al.  Scheduling jobs on a single machine with periodic release date/deadline intervals , 1989 .

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

[14]  Cecilia R. Aragon,et al.  Optimization by Simulated Annealing: An Experimental Evaluation; Part II, Graph Coloring and Number Partitioning , 1991, Oper. Res..

[15]  Luqi,et al.  Compositional Semantics of a Real-Time Prototyping Language , 1993, IEEE Trans. Software Eng..

[16]  N. Metropolis,et al.  Equation of State Calculations by Fast Computing Machines , 1953, Resonance.

[17]  William H. Press,et al.  Numerical recipes in C. The art of scientific computing , 1987 .

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

[19]  Jeffrey D. Ullman,et al.  NP-Complete Scheduling Problems , 1975, J. Comput. Syst. Sci..

[20]  Cecilia R. Aragon,et al.  Optimization by Simulated Annealing: An Experimental Evaluation; Part I, Graph Partitioning , 1989, Oper. Res..

[21]  Krishna M. Kavi,et al.  Parallelism in object-oriented languages: a survey , 1992, IEEE Software.

[22]  Sartaj Sahni,et al.  Simulated Annealing and Combinatorial Optimization , 1986, DAC 1986.

[23]  Marco Spuri,et al.  Implications of Classical Scheduling Results for Real-Time Systems , 1995, Computer.

[24]  Lui Sha,et al.  Real-time scheduling theory and Ada , 1990, Computer.

[25]  David Lorge Parnas,et al.  Scheduling Processes with Release Times, Deadlines, Precedence, and Exclusion Relations , 1990, IEEE Trans. Software Eng..

[26]  Scott Kirkpatrick,et al.  Global Wiring by Simulated Annealing , 1983, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[27]  Richard C. Holt,et al.  Analyzing Hard-Real-Time Programs For Guaranteed Schedulability , 1991, IEEE Trans. Software Eng..

[28]  Julian Jaime Cervantes An Optimal Static Scheduling Algorithm for Hard Real-Time Systems Specified in a Prototyping Language , 1989 .