Title :
Mode changes in a real-time architecture description language
Author_Institution :
Technol. Center, Honeywell Inc., Minneapolis, MN, USA
Abstract :
MetaH is a language used to describe the overall configuration or architecture of a real-time avionics application. The language includes a feature called a mode, which allows the set of processes, or the connections between those processes, to be changed dynamically by the application during system operation. The language requires all possible modes of operation to be statically declared, which facilitates both automatic code assembly and real-time schedulability analysis
Keywords :
aerospace computing; aircraft instrumentation; automatic programming; configuration management; high level languages; real-time systems; scheduling; specification languages; MetaH; automatic code assembly; mode changes; overall configuration; real-time architecture description language; real-time avionics application; real-time schedulability analysis; static declaration; Aerospace electronics; Application software; Architecture description languages; Assembly systems; Dispatching; Formal specifications; Production; Prototypes; Real time systems; Runtime;
Conference_Titel :
Configurable Distributed Systems, 1994., Proceedings of 2nd International Workshop on
Conference_Location :
Pittsburgh, PA
Print_ISBN :
0-8186-5390-6
DOI :
10.1109/IWCDS.1994.289928
