Main Features:

Requirements Engineering

Modeling and simulation



 

What is MIRA
Requirements Analysis
Glossary
Requirement Sources
Requirements
Message Sequence Charts
AspectsNew in 2.12

 



 

General structure of the graphical interface
Logical (Software) Architecture Modeling
Types and functions
Behaviour Modeling:
      - Code Specifications
      - State Automata
      - Mode Automata
      - Interaction with the environment
Simulation
Cosimulation, FMI Support
Libraries
Refinement
Refactoring
 

Code generation and deployment

Testing and formal verification



 

Hardware Architecture Modeling
Code Generation
Manual Deployment
DSE Perspective (beta)



 

On the Fly Checks
Model Based Testing
Refinement Testing
Nondeterminism Analysis
Reachability Analysis
Bound Check
Model Checking
OCRA Contracts

Safety Case Modelling

FOCUSer - FOCUS procEss AwaReness




This feature is under re-construction!

Safety Cases in AF3

 




Introduction


Defining Processes
Using Processes
Existing Constraints

 

 

For more details see our screencasts



Copy Rights AutoFOCUS3 All Rights Reserved