1. https://demos.iti.upv.es/a2k
EMC2 – Embedded multi-core systems for mixed criticality applications in dynamic and changeable real-time environments
TITLE:
EMC2 – WP2 & WP9
“Modeling & analysis tool suite for embedded multicore systems”
CLIENT:
Aretmis
INIT-END:
2014/04 – 2017/03
SECTOR
Cyber physical systems for the space and industrial domains.
WEB:
DESCRIPTION:
A software tool suite for the co-design of HW and SW real-time systems.
For helping the engineer that has to design and analyze a highly-integrity system.
It provides the most elementary analysis and assistance, as well as other more advanced features.
The partial automation of the design phase and the generation of evidences can be helpful for the certification process.