AutoFOCUS3 Elevator Pitch

Core Points of AF3:
  • Integrated seamless model-based development from requirements to technical platform
    • Model-based RE; formal specifications of requirements
    • Adequate model-based specification of the software architecture
    • Adequate model-based hardware platform specification for various platforms
  • Analyse
    • Model-based test-case generation
    • Ready to use agile formal analyses (model-checking, design-by-contract, assume-guarantee-reasoning)
    • Refinement and conformance checking between models of different abstraction levels
  • Synthesis
    • Fully automated code synthesis based on software architecture and platform
    • Efficient scheduling synthesis for distributed (multi-core) platforms
    • Efficient deployment generation with multi-criteria optimizations
  • Open framework, easy extensible by new features