AF3 is a model based development tool for distributed, reactive, embedded software systems

AF3 is a powerful tool to develop embedded systems using models from the requirements to the hardware architecture, passing by the design of the logical architecture, the deployment and the scheduling. AF3 provides advanced features to support the user ensuring the quality of his/her system:formal analyses, synthesis methods, space exploration visualization...

  • 20

    AF3 new website!

    We are proud to launch the new website for AutoFocus! Contact us if you have some feedback.

  • 08

    AF3 2.6 released

    AF3 version 2.6 has been released! We are proud to announce the release of AF3 version 2.6! This...