The AMPERE project is developing a new generation of software programming environments for low-energy and highly parallel and heterogeneous computing architectures, capable of implementing correct-by-construction advanced Cyber Physical Systems (CPS).
The key innovation of the AMPERE software architecture will be its capability of transforming the system model description of the CPS based on specific model-driven languages to the parallel programming models supported by the underlying parallel architecture, and so providing the level of performance required to implement the most advanced functionalities. Moreover, the AMPERE software architecture will fulfill the non-functional requirements (i.e., real-time, safety, energy-efficiency, security, reliability) imposed due to the cyber-physical interactions and captured in the CPS system description.