SafetyChip: a time monitoring and policing device


The SafetyChip proposes a strategy where parts of the effort invested in the formal verification during the development of a system can be reused during the system's operation. The strength in a formal verification of a system is that a system can mathematically be proven to fulfil certain requirements, e.g., timing requirements. The SafetyChip uses… (More)
DOI: 10.1145/1103846.1103856


6 Figures and Tables