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
 

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