Publication

Ensuring Safety and Reliability of IP-based System Design – A Container Approach

Arun Chandrasekharan, Kenneth Schmitz, Ulrich Kühne, Rolf Drechsler

In: IEEE International Symposium on Rapid System Protoyping (RSP). International Symposium on Rapid System Protoyping (RSP-2015) October 8-9 Amsterdam Germany 2015.

Abstract

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 systems 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.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz