What is MIRA Requirements Analysis Graph view Glossary Requirement Sources Requirements Message Sequence Charts Contracts Specification
Model Element Attributes System Architecture Modeling Data Modeling Behaviour Modeling: - Code Specifications - State Automata - Mode Automata - Tabular Specifications Hardware Architecture Modeling Simulation Cosimulation Operator Panels Library of Components, Functions and Types Refinement Refactoring
Code Generation Code Generation for PikeOS Manual Deployment Efficient Architecture Synthesis Efficient Deployment Synthesis Efficient Scheduling Synthesis DSE Perspective (experimental)New in 2.9.0!
On the Fly Constraints Checking Model Checking Model Checking (using CProver) Nondeterminism Analysis Model Based Testing Refinement Testing Assume/Guarantee Reasoning MSC Conformity Checking
Safety Cases in AF3
For more details see our screencasts