IEEE - Institute of Electrical and Electronics Engineers, Inc. - Independent validation of software safety requirements for systems of systems

2010 5th International Conference on System of Systems Engineering (SoSE)

Author(s): Driskell, S.B. ; Murphy, J. ; Michael, J.B. ; Man-Tak Shing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 June 2010
Conference Location: Loughborough, United Kingdom, United Kingdom
Conference Date: 22 June 2010
Page(s): 1 - 6
ISBN (CD): 978-1-4244-8195-8
ISBN (Electronic): 978-1-4244-8196-5
ISBN (Paper): 978-1-4244-8197-2
DOI: 10.1109/SYSOSE.2010.5544100
Regular:

As one can only reason about the safety of software within the system context in which the software is executing, traditional independent validation and verification approaches which focus on the... View More

Advertisement