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

Design Space Exploration (DSE)

Assurance Case Modeling

Reuse and Variability

Model Artifact Quality

Model Metric Extraction and Visualization