Chapter 12Ensuring liveliness property in safety-critical systems

Ankur Maurya, Sharad Nigam, and Divya Kumar

DOI: 10.1201/9781003269144-12



Safety-critical systems are those systems, the malfunctioning or failure of which can create serious issues such as death or critical injury, economical loss or environmental damage [1]. The examples of safety-critical systems are blowout preventer [2], nuclear power ...

Get Advances in Cyber Security and Intelligent Analytics now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.