AutoFOCUS3 (AF3) Overview

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
On-the-fly Checks
 

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

Assurance Case Modeling

Further Resources




 

Creation of Modular Assurance Cases
Assessment
Change Impact Analysis
Reporting

 




Resources for Users
      - : subscribe here
      - AF3 Website
      - Screencasts
      - Tutorials
      - Research Papers
      - Tips & Tricks
      - FAQ

Resources for Developers
      - : subscribe here
      - Developers Documentation Overview
      - AF3 Developer Installation


For more details see our screencasts and tutorials.