AF3

AF3 is an open-source model based development tool for distributed, reactive, embedded software systems

AF3 is a powerful open-source 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...