What is MIRA? Requirements Analysis Glossary Requirement Sources Requirements Aspects
Introduction to Graphical Modeling Interface Component Architecture Modeling Data Dictionary: Types and Functions Behavior Modeling - Code Specifications - State Automata and Hierarchical State Automata - Mode Automata Simulation - Simulation - Operator Panels (advanced interface) - Co-Simulation and FMI Support Libraries Refactoring On-the-fly Checks
Technical Architecture Modeling - Platform Architecture - Task Architecture - Partition Architecture - Deployments / Allocations Code Generation
DSE Perspective Overview DSE Dashboard Constraint Modeling Objective Modeling Deployment Synthesis Schedule Synthesis Solution Visualization
Creation of Modular Assurance Cases Assessment Change Impact Analysis Reporting
Resources for Users - Users Mailing List: subscribe here - AF3 Website - Screencasts - Tutorials - Research Papers - Tips & Tricks - FAQ
Resources for Developers - Developers Mailing List: subscribe here - Developers Documentation Overview - AF3 Developer Installation
For more details see our screencasts and tutorials.