Title :
Engineering safety- and security-related requirements for software-intensive systems: tutorial summary
Author :
Firesmith, Donald G.
Author_Institution :
Software Eng. Inst., Pittsburgh, PA, USA
Abstract :
This full-day tutorial introduces the attendee to the engineering of safety- and security-related requirements for software-intensive systems. It provides a consistent, effective, and efficient method for identifying, analyzing, specifying, verifying, and validating the four different types of safety- and security-related requirements.
Keywords :
formal specification; formal verification; safety-critical software; security of data; safety-related requirements engineering; security-related requirements engineering; software-intensive system; Fires; Security; Software; Software engineering; Tutorials; requirements engineering; safety engineering; security engineering; software-intensive systems;
Conference_Titel :
Software Engineering, 2010 ACM/IEEE 32nd International Conference on
Conference_Location :
Cape Town
Print_ISBN :
978-1-60558-719-6
DOI :
10.1145/1810295.1810444
