AutoFOCUS3 (AF3) Overview

Requirements Engineering

Modeling and Simulation



 

Requirements Analysis
Requirements
Glossary



 

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

Deployment and Code Generation

Design Space Exploration (DSE)



 

Modeling Technical Architecture
      - 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




 

Modeling GSN-based Assurance Cases
Quantitative Assessment of Assurance Cases
Change Impact Analysis

 




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.