O'Reilly logo

Handbook of System Safety and Security by Edward Griffor

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

7

Reasoning About Safety and Security

The Logic of Assurance

A. Piovesan1 and E. Griffor2,    1Diesel Jet, Castel Maggiore, Bologna, Italy,    2National Institute of Standards and Technology (NIST), Gaithersburg, MD, United States

Abstract

A common definition of assurance is certainty about something. Assurance has synonyms like guarantee, certainty, certitude, surety, confidence, expectation and antonyms like doubt and uncertainty. Since many of the systems that we design, build, and maintain have safety-critical or security-critical functions or both, we strive to provide assurance about these systems’ safety and security and perhaps also assurance of other characteristics.

This chapter will outline the structure of reasoning about assurance ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required