The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems [chapter]

Thang Nguyen, Ezio Bartocci, Dejan Ničković, Radu Grosu, Stefan Jaksic, Konstantin Selyunin
2016 Lecture Notes in Computer Science  
The verification of complex mixed-signal integrated circuit products in the automotive industry accounts for around 60 %-70 % of the total development time. In such scenario, any effort to reduce the design and verification costs and to improve the time-to-market and the product quality will play an important role to boost up the competitiveness of the automotive industry. The aim of the HARMONIA project is to provide a framework for assertion-based monitoring of automotive systems-of-systems
more » ... th mixed criticality. It will enable a uniform way to reason about both safetycritical correctness and non-critical robustness properties of such systems. Observers embedded on FPGA hardware will be generated from assertions, and used for monitoring automotive designs emulated on hardware. The project outcome will improve the competitiveness of the automotive application oriented nano and microelectronics industry by reducing verification time and cost in the development process.
doi:10.1007/978-3-319-47169-3_28 fatcat:fwwhfmjp3nhljbl5rn2udf2nuy