MetaH

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