What is MIRA Requirements Analysis Glossary Requirement Sources Requirements Message Sequence Charts AspectsNew in 2.12
General structure of the graphical interface Logical (Software) Architecture Modeling Types and functions Behaviour Modeling: - Code Specifications - State Automata - Mode Automata - Interaction with the environment Simulation Cosimulation, FMI Support Libraries Refinement Refactoring
Hardware Architecture Modeling Code Generation Manual Deployment DSE Perspective (beta)
On the Fly Checks Model Based Testing Refinement Testing Nondeterminism Analysis Reachability Analysis Bound Check Model Checking OCRA Contracts
Safety Cases in AF3
Introduction
For more details see our screencasts