AutoFOCUS3 (AF3) Overview

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
      - : 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.