Formal Verification of Safety-Critical Systems: A Case-Study in Airbag System Design

2021 ◽  
pp. 107-116
Author(s):  
Susmita Guha ◽  
Akash Nag ◽  
Rahul Karmakar
Keyword(s):  
System Design ◽  
Formal Verification ◽  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems

How Do I Assess Our Cyber Risk?

2021 ◽  
pp. 41-57
Author(s):  
Gregory Falco ◽  
Eric Rosenbach
Keyword(s):  
Communication Networks ◽  
Impact Analysis ◽  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems ◽  
Mission Critical ◽  
Delivery Networks ◽  
Cyber Risk ◽  
Digital Assets

The question “How do I assess our cyber risk?” addresses how to identify and characterize cyber risk unique to an organization’s critical systems, networks, and data. The chapter begins with a case study about a cyberattack on Ukraine’s electric grid. It details risk assessment for three types of critical systems: mission-critical systems, business-critical systems, and safety-critical systems. It explains the three types of networks critical to many organizations: business and administrative networks, operational and service delivery networks, and communication networks. In outlining the “CIA triad,” it shows how cyber risk can be characterized as a confidentiality, integrity, or availability issue relating to digital assets. Further, it describes how to assess the importance of different digital assets and how to prioritize them using a business impact analysis (BIA). The chapter concludes with real-world Embedded Endurance strategy lessons Rosenbach gained in Saudi Arabia in the wake of one of the world’s most destructive cyberattacks.

Formal verification of safety-critical systems

1990 ◽  
Vol 20 (8) ◽  
pp. 799-821 ◽  
Author(s):  
Louise E. Moser ◽  
P. M. Melliar-Smith
Keyword(s):  
Formal Verification ◽  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems

Using coordinated atomic actions to design safety-critical systems: a production cell case study

1999 ◽  
Vol 29 (8) ◽  
pp. 677-697 ◽  
Author(s):  
A. F. Zorzo ◽  
A. Romanovsky ◽  
J. Xu ◽  
B. Randell ◽  
R. J. Stroud ◽  
...  
Keyword(s):  
Critical Systems ◽  
Safety Critical ◽  
Atomic Actions ◽  
Safety Critical Systems ◽  
Production Cell
Sign in / Sign up

Export Citation Format

Share Document