Establishing Sufficient Temporal Independence Efficiently...
Neukirchner, Moritz![Establishing Sufficient Temporal Independence Efficiently. A Monitoring Approach](https://support.digitalhusky.com/media/annotations/sorted/187/18773201/CHSBZCOP0318773201.jpg)
The design of safety-critical systems is governed by safety standards, which impose requirements on the design, test, and verification processes, as well as the architecture of an embedded system. Particularly, for the safety evaluation applicable standards demand to regard a system as a whole, rather than its individual components. To offer a way to reduce certification effort, the safety evaluation may be carried out individually whenever th...