Constructing abstract models of concurrent real-time software

Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996

Volumn , Issue , 1996, Pages 250-260

  Corbett, James C ^a  

^a UNIVERSITY OF HAWAII   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; FORMAL METHODS; INTERACTIVE COMPUTER SYSTEMS; SAFETY ENGINEERING; SOFTWARE TESTING;

ABSTRACT MODELS; PERIODIC TASKS; REAL-TIME SOFTWARE; RESOURCE CONSTRAINT; RUNTIMES; SAFETY CRITICAL APPLICATIONS; SCHEDULABILITY ANALYSIS; TIMING PROPERTIES;

REAL TIME SYSTEMS;

EID: 84949503106     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/229000.226323     Document Type: Conference Paper

References (17)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
2. R. Alur and D. Dill. Automata for modeling real-time systems. In Proc. 17th Int. Colloq. Aut. Lang. Prog., 1990.
3. B. Berthomieu and M. Diaz. Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. Softw. Eng., 17:259-273, 1991.
4. J. C. Corbett. Modeling and analysis of real-time Ada tasking programs. In Ramamritham [15], pages 132-141.
5. A. N. Fredette and R. Cleaveland. RTSL: a formal language for real-time schedulability analysis. In Proceedings of the Real-Time Systems Symposium, pages 274-283, 1993.
6. R. Gerber and I. Lee. A layered approach to automating the verification of real-time systems. IEEE Trans. Softw. Eng., 18(9):768-784, Sept. 1992.
7. C. Ghezzi, D. Mandriolli, S. Morasca, and M. Pezz6. A unified high-level Petri net model for time-critical systems. IEEE Trans. Softw. Eng., 17(2), Feb. 1991.
8. C. Ghezzi, D. Mandfiolli, and A. Morzenti. Trio: A logic language for executable specifications of realtime systems. Journal of Systems and Software, 12(2): 107-123, May 1990.
9. E. W. Giering and T. P. Baker. The Gnu Ada runtime library (GNARL): Design and implementation. In Proceedings of the Eleventh Annual Washington Ada Symposium and Summer ACM SlGAda Meeting (WAdaS '94), June 1994.
10. M. G. I-Iarbour, M. H. Klein, and J. P. Lehoczky. Timing analysis for fixed-priority scheduling of hard real-time systems. IEEE Trans. Softw. Eng., 20(1 ):13-28, 1994.
11. F. Jahanian and A. Mok. Safety analysis of timing properties in real-time systems. IEEE Trans. Softw. Eng., 12(5):890-904, 1986.
12. S. Lim, Y. Bae, G. T. Jang, B. Rhee, S. Min, C. Y. Park, H. Shin, K. Park, and C. S. Kim. An accurate worst case timing analysis technique for RISC processors. In Ramamritham [15], pages 97-108.
13. J. S. Ostroff. Deciding properties of timed transition models. IEEE Transactions on Parallel and Distributed Systems, 1(2): 170-183, 1990.
14. C. Y. Park and A. C. Shaw. Experiments with a program timing tool based on source-level timing schema. IEEE Computer, pages 48-57, May 1991.
15. K. Ramamritham, editor. Proceedings of the Real-Time Systems Symposium. IEEE Computer Society Press, Dec. 1994.
16. G. M. Reed and A. W. Roscoe. A timed model for communicating sequential processes. Theoretical Computer Science, 58:249-261, June 1988.
17. A.C. Shaw. Reasoning about time in higher-levellanguage software. IEEE Trans. Softw. Eng., 15(7):875-889, 1989.