Sciweavers

RSP
2015
IEEE

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

7 years 11 months ago
Ensuring safety and reliability of IP-based system design - A container approach
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. Keywords—Container-Verification, ...
Arun Chandrasekharan, Kenneth Schmitz, Ulrich K&uu
Added 17 Apr 2016
Updated 17 Apr 2016
Type Journal
Year 2015
Where RSP
Authors Arun Chandrasekharan, Kenneth Schmitz, Ulrich Kühne, Rolf Drechsler
Comments (0)