What is MIRA Requirements Analysis Glossary Requirement Sources Requirements Message Sequence Charts Contracts Specification Safety Integrity Level Specification
System Architecture Modeling Data Modeling Behaviour Modeling: - Code Specifications - State Automata - Mode Automata - Tabular Specifications Hardware Architecture Modeling Simulation Operator Panels Library of Components, Functions and Types
Code Generation Efficient Deployment and Scheduling Manual Deployment Multi-Core Architecture Synthesis
On the Fly Constraints Checking Model Checking Model Checking (using CProver) Nondeterminism Analysis Model Based Testing Refinement Testing Assume/Guarantee Reasoning MSC Conformity Checking
For more details see our screencasts