DocumentCode
2079202
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
Volume
2
fYear
2010
fDate
2-8 May 2010
Firstpage
489
Lastpage
490
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 2010 ACM/IEEE 32nd International Conference on
Conference_Location
Cape Town
ISSN
0270-5257
Print_ISBN
978-1-60558-719-6
Type
conf
DOI
10.1145/1810295.1810444
Filename
6062262
Link To Document