Requirements Engineering
|
Modeling and Simulation
|
What is MIRA?
Requirements Analysis
Glossary
Requirement Sources
Requirements
Message Sequence Charts
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
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
|
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
|