MetaH support for real-time multi-processor avionics
- 23 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
MetaH is a language for describing the software hardware architecture of real-time fault-tolerant securely partitioned avionics systems The MetaH toolset supports, among other things, real-time schedulability analysis and the automatic generation of glue code that implements real-time message passing and process dispatching for a class of multi-processor target architectures We describe the development methodology and typical requirements that motivated language and tools We give an overview of the message and process scheduling methods used in the current toolset and briefty discuss research to extend approach to larger-scale distributed systems such fire control and air traffic controlKeywords
This publication has 18 references indexed in Scilit:
- LILEANNA: a parameterized programming languagePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Mode changes in a real-time architecture description languagePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Assuring the correctness of automatically generated softwarePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Optimized priority assignment for tasks and messages in distributed hard real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Stochastic process algebras as a tool for performance and dependability modellingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A human machine interface for distributed virtual laboratoriesIEEE Robotics & Automation Magazine, 1994
- Fixed-priority sensitivity analysis for linear compute time modelsIEEE Transactions on Software Engineering, 1994
- Frameworks for developing intelligent systems: The ABE systems engineering environmentIEEE Expert, 1991
- STATEMATE: a working environment for the development of complex reactive systemsIEEE Transactions on Software Engineering, 1990
- Parallel Sequencing and Assembly Line ProblemsOperations Research, 1961