This is the developers site of AutoFOCUS3, a CASE tool for the model-based development of embedded systems. The main development is done by the Software Systems Engineering Group at fortiss.

Click here for AF3 user's page!

Main features:

  • Integrated modeling of the application software up to the platform
    • Advanced modeling of the logical architecture
    • Flexible modeling of the platform
  • Support for validation and verification
    • Deep integration of the NuSMV model checker
    • Automatic test case generation
    • Advanced simulation of behavior
  • Support for efficient deployments
    • Exploration of potential deployments
    • Efficient mappings using design space exploration
  • Generation of efficient task and message schedules
    • Automated optimizations using SMT solvers
    • Efficient time-triggered bus scheduling (e.g. FlexRay, ...)
  • Code generation
    • C, C0, Java, ...
  • Integration with existing tools
    • Support for importing Simulink models


  1. Developers documentation
  2. Mailing lists: ,
    Subscribe here ...