Requirements Engineering
|
Modeling and Simulation
|

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
|
Deployment and Code Generation
|
Design Space Exploration (DSE)
|

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
|
Testing and Formal Verification
|
Assurance Case Modeling
|

On-the-fly Checks
|

Creation of Modular Assurance Cases
Assessment
Change Impact Analysis
Reporting
|
FOCUSer - FOCUS procEss AwaReness
|
Further Resources
|

Introduction
Defining Processes
Using Processes
Supported Constraints
|

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
|