Getting Started
Resources for Users
Managing AutoFOCUS3 Projects
Examples
Tips & Tricks
FAQs
Resources for Developers
Contact
Requirements Engineering
Requirements Analysis Node
Glossary
Requirements
Modeling and Simulation
Introduction to Graphical Modeling Interface
Component Architecture Modeling
Data Dictionary: Types and Functions
Refactoring
On-the-fly Checks
Behavior Modeling
Code Specification
State Automata
Hierarchical State Automata
Mode Automata
Simulation
Simulation
Operator Panels
Advanced Operator Panels
Co-Simulation and FMI Support
Deployment and Code Generation
Modeling Technical Architectures
Platform Architecture
Supported Platform Architectures
Generic Platform Architecture
Hierarchical Platform Architecture
RaspberryPi Platform Architecture
Task Architecture
Partition Architecture
Deployments/Allocations
System Schedule
Code Generation
Design Space Exploration (DSE)
DSE Perspective Overview
DSE Dashboard
Constraint Modeling
Objective Modeling
Deployment/Schedule Synthesis (Exploration)
Schedule Synthesis
Solution Visualization
Assurance Case Modeling
Modeling GSN-based Assurance Cases
Quantitative Assessment of Assurance Cases
Assurance Case Maintenance
Report a Problem?
Top
Examples
FMI-based Co-Simulation
fortissimo Rover: AD/ADAS & Platooning