Ensuring safety and reliability of IP-based system design – A container approach

Arun Chandrasekharan, Kenneth Schmitz, Ulrich Kuhne, Rolf Drechsler
2015 2015 International Symposium on Rapid System Prototyping (RSP)  
The application of built-to-order embedded hardware designs in safety critical systems requires a high design quality and robustness during operation. Flawless execution of the involved software can be compromised by malfunctioning hardware components or by software-induced errors. Furthermore, intellectual property (IP) tends to become unavoidable in modern hardware designs. Any unexpected behavior of IP components may cause unrecoverable system errors. In order to construct correct and safe
more » ... stems from unverified and potentially malicious components, we propose a system integration approach which encapsulates IP blocks in verifiable container modules. The synthesis of these container modules is driven by a domain specific language (DSL) augmented with sequential extended regular expressions (SEREs). The approach is demonstrated by showing the synthesis of an effective countermeasure against softwareinduced memory disturbance errors.
doi:10.1109/rsp.2015.7416550 dblp:conf/rsp/Chandrasekharan15 fatcat:verowjuxp5fczoamqbwwjdie7u