A real-time specification method for specifying and validating real-time concurrent systems

Proceedings of Phoenix Conference on Computers and Communications, PCCC 1993

Volumn , Issue , 1993, Pages 578-584

  Sung, K Y ^a   Urban, J E ^a  

^a ARIZONA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS; SPECIFICATION LANGUAGES; SPECIFICATIONS;

COMMUNICATING PROCESS; CONCURRENT SOFTWARE SYSTEMS; EXECUTION SEQUENCES; EXTENDED PETRI NET; REAL TIME CONCURRENT SYSTEMS; REAL TIME SPECIFICATIONS; SEQUENTIAL SYSTEMS; TIMING CONSTRAINTS;

REAL TIME SYSTEMS;

EID: 84891770251     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PCCC.1993.344533     Document Type: Conference Paper

References (11)

1. N. Wirth, "Toward a Discipline of Real-Time Programming, " Communications of the ACM, vol. 20, no. 8, pp. 557-583, Aug. 1977.
2. C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezze, "A Unified High-Level Petri Net Formalism for Time-Critical Systems, " IEEE Trans. Software Eng., vol. 17, no. 2, pp. 160-172, Feb. 1991.
3. N. Leveson and J. Stolzy, "Safety Analysis Using Petri Nets, " IEEE Trans. Software Eng. vol. SE-13, no. 3, pp. 386-397, Mar. 1987.
4. B. W. Boehm, Software Engineering Economics, Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1981.
5. K. Y. Sung and J. E. Urban, "Real-time Descartes: A Real-time Specification Language, " in Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems, IEEE Computer Society, Taipei, Taiwan, pp. 79-85, Apr. 14-16, 1992.
6. K. Y. Sung, Real-time Extensions to the Descartes Software Specification Language, Ph.D Dissertation, Department of Computer Science and Engineering, Arizona State University, December 1992.
7. J. E. Urban, A Specification Language and Its Processor, Ph.D. Dissertation, Computer Science Department, University of Southwestern Louisiana, December 1977.
8. J. E. Urban, "The Descartes Specification Language, " in System and Software Requirements Engineering, R. H. Thayer and M. Dorfman (Eds.), IEEE Computer Society Press Tutorial, 1990, pp. 331-344.
9. C. A. R. Hoare, "Data Reliability, " SIGPLAN Notices, vol. 10, no. 6, pp. 528-533, June 1975.
10. P. M. Merlin and D. J. Farber, "Recoverability of Communication Protocols-Implications of a Theoretical Study, " IEEE Trans. Commun., vol. COM-24, pp. 1036-1043, Sep. 1976.
11. D. B. Skillicorn and J. I. Glasgow, "Real-Time Specification Using Lucid, " IEEE Trans. Software Eng., vol. 15, no. 2, pp. 221-229, Feb. 1989.