RTFM-lang Static Semantics for Systems with Mixed Criticality
Per Lindgren, Johan Eriksson, Marcus Lindner, David Pereira, Luís Miguel Pinho · 2014
In an embedded system, functions often operate under different requirements. In the extreme, a failing safety critical function may cause collateral damage (and hence consider to be a system failur ...