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 ...
Get Handbook of System Safety and Security 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.
