AutoFOCUS3 (AF3) Online Help
Modeling and Simulation

Introduction to Graphical Modeling Interface
Component Architecture Modeling
Data Dictionary: Types and Functions
Refactoring
On-the-fly Checks
Behavior Modeling
- Code Specifications
- State Automata
- Hierarchical State Automata
- Mode Automata
Simulation
- Simulation
- Operator Panels (advanced interface)
- Co-Simulation and FMI Support
Deployment and Code Generation

Modeling Technical Architecture
- Platform Architecture
- Task Architecture
- Partition Architecture
- Deployments / Allocations
Code Generation
Design Space Exploration (DSE)

DSE Perspective Overview
DSE Dashboard
Constraint Modeling
Objective Modeling
Deployment Synthesis
Schedule Synthesis
Solution Visualization
Assurance Case Modeling

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

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