Requirements Engineering
|
Modeling and Simulation
|

What is MIRA?
Requirements Analysis
Glossary
Requirement Sources
Requirements
Message Sequence Charts
Aspects
|

Introduction to Graphical Modeling Interface
Logical (Software) Architecture Modeling
Types and Functions
Behaviour Modeling
- Code Specifications
- State Automata
- Mode Automata
- Interaction with the Environment
Simulation
Co-Simulation and FMI Support
Libraries
Refinement
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
Non-Determinism Analysis
Reachability Analysis
Bound Checks
Model Checking
OCRA Contracts
MCDC Test Case Generation
Refinement Testing
|

Assurance Cases in AF3
|
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
Resources for Developers
- Developers Mailing List: subscribe here
- Developers Documentation Overview
- AF3 Developer Installation
|