AutoFOCUS3 - Focus on the System

Getting Started

Resources for Users
Resources for Developers
- Developers Documentation Overview
- AF3 Developer Installation
Contact
- Users Mailing List: subscribe here
- Developers Mailing List: subscribe here
- AutoFOCUS3 homepage

Requirements Engineering

Modeling and Simulation

Introduction to Graphical Modeling Interface
Component Architecture Modeling
Data Dictionary: Types and Functions
Refactoring
On-the-fly Checks
Behavior Modeling
Simulation

Deployment and Code Generation

Modeling Technical Architectures

Platform Architecture

Code Generation

Design Space Exploration (DSE)

Assurance Case Modeling