fortiss's AutoFOCUS3



Functional Components Description

AutoFOCUS3 is a model-based tool and research platform for safety-critical embedded systems. It builds on a generic Eclipse-based tooling framework, is open source (Apache 2.0 license), and is released biannually for the Windows, Linux, and macOS 64-bit platforms.

AutoFOCUS3 supports the design, development and validation of safety-critical embedded systems in many development phases, including architecture design, implementation, hardware/software integration, and safety argumentation based on formal models from the following viewpoints:

  • Requirements

  • Logical architecture and behaviour

  • Technical (hardware and software) architecture

  • Deployment (software/hardware mapping, scheduling

  • Safety argumentation

  • Security Analysis

Advanced features enable to explore design and implementation alternatives (e.g., safety patterns, task allocation, partition/compartment architectures) based on state-of-the art formal methods and solvers (e.g., Z3 solver), and to validate early designs by means of functional simulation and co-simulation (via FMI). The automatic artefact synthesis capabilities of the tool enable rapid development (e.g., code and configuration generation, scheduling synthesis). Modular assurance cases encoded in the goal-structuring notation (GSN) enable users to document the dependability of a system by bringing in information about its environment and the development context. They provide a structured argument that establishes a systematic relationship between a dependability goal and its evidence (e.g., validation artefact). Finally, AutoFOCUS3 also supports security analysis by using models, such as Attack Defense Trees, including semantic annotations to these models to carry out quantitative risk analysis. 


Services provided

Support platform for R + D + i projects:

AutoFOCUS3 is an advanced research prototype that has been used in a number of industrial projects, providing solutions that have been adopted by our industrial partners. It is also subject of intensive research where new features are being tested.

Benchmarking, evaluation and / or certification of products and / or services:

The models, techniques developed have been applied to large-scale examples, which could in principle be used as benchmarks for other model-based engineering tools.


Training

AutoFOCUS3 has been used regularly for both academic and industrial training programs. For example, as can be depicted in https://www.youtube.com/user/af3fortiss, it has been used in a regular sememster course at TUM. fortiss also offers a training program for industrial partners. 

Support for awareness actions or generation of safety and security culture for embedded system development

Currently, industries, such as automotive, avionics and industry 4.0, have increasing concerns with respect to the security threats that can affect their safety-critical embedded systems. This has increased their interest for model-based engineering approaches as they can handle the level of complexity of these systems and are already widely adopted in these industries.


Keywords

Mode-Based Engineering Tool, Safety and Security, Embedded Systems


Services

  • Benchmarking, evaluation and / or certification of products and / or services: The models, techniques developed have been applied to large-scale examples, which could in principle be used as benchmarks for other model-based engineering tools.

  • Training: AutoFOCUS3 has been used regularly for both academic and industrial training programs. For example, as can be depicted in https://www.youtube.com/user/af3fortiss, it has been used in a regular semester course at TUM.

  • Support for awareness actions or generation of safety and security culture for embedded system development: Currently, industries, such as automotive, avionics and industry 4.0, have increasing concerns with respect to the security threats that can affect their safety-critical embedded systems. This has increased their interest for model-based engineering approaches as they can handle the level of complexity of these systems and are already widely adopted in these industries.


Technical equipment

-


Use request

Non-profit