Title :
Scheduling and communication in MetaH
Author :
Vestal, Steve ; Binns, Pam
Author_Institution :
Honeywell Technology Center, Minneapolis, MN, USA
Abstract :
This paper describes certain aspects of an architecture description language (MetaH) and associated toolset used to specify, analyze, and automatically assemble software for real-time, fault-tolerant, secure, multi-processor systems. One goal in the design of this language and toolset was to provide design-time analysis that accurately characterizes the behavior of the actual implementation. Currently, our toolset consists of tools to automatically assemble the application software and to perform a real-time schedulability analysis for that application
Keywords :
formal specification; hardware description languages; multiprocessing systems; processor scheduling; programming environments; real-time systems; scheduling; software tools; systems analysis; MetaH; application software; architecture description language; communication; design-time analysis; fault tolerant multiprocessor system; formal specification; real-time schedulability analysis; real-time systems; secure system; systems analysis; toolset; Application software; Architecture description languages; Assembly systems; Object oriented modeling; Packaging; Performance analysis; Real time systems; Software prototyping; Software tools; Specification languages;
Conference_Titel :
Real-Time Systems Symposium, 1993., Proceedings.
Conference_Location :
Raleigh Durham, NC
Print_ISBN :
0-8186-4480-X
DOI :
10.1109/REAL.1993.393500
