Top
AutoFOCUS3 - Focus on the System
Getting Started
Resources for Users
Managing AutoFOCUS3 Projects
Examples
Screencasts
Tips & Tricks
FAQs
Resources for Developers
Developers Documentation Overview
AF3 Developer Installation
Contact
Users Mailing List
: subscribe
here
Developers Mailing List
: subscribe
here
AutoFOCUS3 homepage
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
Generic Platform Architecture
Hierarchical Platform Architecture
RaspberryPi Platform Architecture
Task Architecture
Partition Architecture
Deployments / Allocations
System Schedule
Code Generation
SysML Exporter
Design Space Exploration (DSE)
DSE Perspective Overview
DSE Dashboard
Synthesis Page Overview
Deployment Synthesis
Scheduling Synthesis
Solution Visualization
Assurance Case Modeling
Modeling GSN-based Assurance Cases
Quantitative Assessment of Assurance Cases
Assurance Case Maintenance
Reuse and Variability
Reuse
Reuse Introduction
Reuse Libraries
Reuse Elements
Reuse Functionality
- Creating a reuse library
- Adding an element to a reuse library
- Reusing an element from a reuse library
- Updating an element inside a reuse library
- Updating a reused element via a reuse library
- Managing the reuse libraries and their element
Variability
Feature Models
Modeling Variability in Views
Variant Generation
Model Artifact Quality
Model Metric Extraction and Visualization