H ?
«
‹
←
→
›
»
Language peer sets for MetaH:
United States↑
United States/1988↑
Designed 1988 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
MetaH(ID:7769/)
alternate simple view
Country: United States
Designed 1988
"MetaH is a language and toolset for developing reliable, real-time multiprocessor avionics system architectures"
Related languages
References:
Binns, Pam (1996) Binns, Pam "Scheduling slack in MetaH" Real-Time Systems Symposium session on work in progress, December 1996
Online copy
Lewis, Bruce (1997) Lewis, Bruce "Software Portability Gains Realized with MetaH, an Avionics Architecture Description Language"
US Army Aviation and Missile Command, Redstone Arsenal, Alabama
Abstract
Medvidovic, Nenad and Rosenblum, David S. (1997) Medvidovic, Nenad and Rosenblum, David S. "Domains of Concern in Software Architectures and Architecture Description Languages" pp199-212
Abstract
in R.F. Crew, (1997) R.F. Crew, "ASTLOG: A Language for Examining Abstract Syntax Trees" pp229-242
Vestal, S. (2000) Vestal, S. "Technical and Historical Overview of MetaH" Honeywell
pdf
Extract:
Technical Overview
Extract:
Uses of MetaH
Extract:
History of MetaH
in R.F. Crew, (1997) R.F. Crew, "ASTLOG: A Language for Examining Abstract Syntax Trees" pp229-242
Resources
-
MetaH Evaluation and Support Site MetaH is a language and toolset for developing reliable, real-time multiprocessor avionics system architectures.
Use the MetaH language to describe the interfaces and selected properties of software and hardware components (source modules, processor, devices) and then combine them into an overall integrated system.
Use MetaH tools for analyzing real-time schedulability, reliability, and partition integrity. MetaH also automates the system integration process, orchestrating the complies and links needed to combine the software pieces for loading onto the specified hardware configuration.
With MetaH, modeling and implementation are performed in an integrated and structured way, ensuring correctness of the application's interfaces, timing, and fault responses.
- integration of components from multiple sources
- semanitics for timing, reconfiguration, partitioning and software/hardware interfacing
- formal modeling and analysis
- targeting to a variety of avionics real-time execution environments
- tailoring of system executive for each application
-
AFRL/IF PAGE FOR METAH
-
Creating Evolvable, Embedded, Time?Critical Systems with UML and MetaH This tutorial will look at how to create embedded, time?critical systems that can evolve as requirements or technology change, using the Unified Modeling language (UML) and MetaH, an architectural design language, with a supporting toolset, for specifying, analyzing, and integrating computer control systems. MetaH (http://www.htc.honeywell.com/metah/) was designed by Honeywell for the specification of real-time, fault-tolerant, securely partitioned, dynamically reconfigurable multi-processor system architectures. We will look at the integration of MetaH and UML, the Object Management Group?s standard language for object?oriented software development.
Since MetaH was developed to meet the requirements of aircraft and missile avionics and flight control, it can be valuable in other embedded, time-critical applications where a highly integrated, rapidly evolvable approach is needed, such as robotics. Developers use MetaH to specify the code modules that form the application, the execution behavior of the application, the target hardware and software environment, and the allocation of the application to the hardware. The specification is then analyzed to determine whether the system is schedulable, reliable, and safe. The MetaH tools can generate the integrated code for the application components, an executive, and ?architectural glue?, all customized for the target hardware environment.
The Society of Automotive Engineers (SAE) is developing a standard Avionics Architecture Language using MetaH as a base. We will show an integration of UML and MetaH that will be proposed to SAE as the standard.
-
SAE AADL Information Site page for MetaH
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|