Modeling and Simulation
Deployment and Code Generation
Design Space Exploration (DSE)
Assurance Case Modeling
Further Resources
Report a Problem?
Top
AutoFOCUS3 - Focus on the System
Requirements Engineering
Requirements Analysis
Requirements
Glossary
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 Architectures
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