Modechart: A Specification Language for Real Time Systems

IEEE Transactions on Software Engineering

Volumn 20, Issue 12, 1994, Pages 933-947

  Jahnian, Farnam ^a   Mok, Aloysius K ^b  

^a UNIVERSITY OF MICHIGAN   (United States)

^b UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

rapid prototyping; Real time systems; RTL; specification; timing constraints

Indexed keywords

HIERARCHICAL SYSTEMS; REAL TIME SYSTEMS; SOFTWARE PROTOTYPING;

RAPID PROTOTYPING; REAL TIME LOGIC; SOFTWARE PACKAGE MODECHART;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0028750073     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.368134     Document Type: Article

References (13)

1. M. W. Alford, “A requirements engineering methodology for realtime processing requirements,” IEEE Trans. Software Eng., vol. SE-3, Jan. 1977.
2. C. G. Davis and C. R. Vick, “The software development system,” IEEE Trans. Software Eng., vol. SE-3, pp. 69–84, Jan. 1977.
3. D. Harel, “Statecharts: A visual formalism for complex systems,” The Weizmann Inst. of Sci., Israel, Tech. Rep., July 1986.
4. D. Harel, A. Pnueli, J. P. Schmidt, and R. Sherman, “On the formal semantics of statecharts,” in Proc. 2nd Symp. Logic in Comput. Sci., June 1987, pp. 54–64.
5. K. L. Heninger, “Specifying software requirements for complex systems: New techniques and their application,” IEEE Trans. Software Eng., vol. SE-6, pp. 2–13, Jan. 1980.
6. F. Jahanian, R. S. Lee, and A. K. Mok, “Semantics of Modechart in realtime logic,” in Proc. 21st Hawaii Int. Conf. Syst. Sci., Jan. 1988.
7. F. Jahanian, A. K. Mok, and D. A. Stuart, “Formal specification of realtime time systems,” Dep. of Comput. Sci., Univ. of Texas at Austin, Tech. Rep. TR-88-25, June 1988.
8. F. Jahanian and A. K. Mok, “Safety analysis of timing properties in realtime time systems,” IEEE Trans. Software Eng., vol. SE-12, pp. 890–904, Sept. 1986.
9. Luqi and V. Berzins, “Rapid prototyping of realtime systems,” IEEE Software, Sept. 1988.
10. A. K. Mok, “SARTOR—A design environment for realtime systems,” in Proc. 9th IEEE COMPSAC, Chicago, IL, Oct. 1985, pp. 174–181.
11. A. Pouch, private communication, 1987.
12. D. Parnas, K. L. Heninger, J. W. Kallander, and J. E. Shore, “Software requirements for the A-7E aircraft,” NRL memo. rep. 3876, Washington, DC, Nov. 1978.
13. P. Zave, “A distributed alternative to finite-state-machine specifications,” ACM Trans. Prog. Lang. Syst., pp. 10–36, July 1985.