DocumentCode :
3145370
Title :
1st International workshop on assurance cases for software-intensive systems (ASSURE 2013)
Author :
Denney, Ewen ; Pai, Ganesh ; Habli, Ibrahim ; Kelly, Tim ; Knight, John
Author_Institution :
SGT / NASA Ames Research Center, Moffett Field, CA, USA
fYear :
2013
fDate :
18-26 May 2013
Firstpage :
1505
Lastpage :
1506
Abstract :
Software plays a key role in high-risk systems, i.e., safety and security-critical systems. Several certification standards and guidelines, e.g., in the defense, transportation (aviation, automotive, rail), and healthcare domains, now recommend and/or mandate the development of assurance cases for software-intensive systems. As such, there is a need to understand and evaluate (a) the application of assurance cases to software, and (b) the relationship between the development and assessment of assurance cases, and software engineering concepts, processes and techniques. The ICSE 2013 Workshop on Assurance Cases for Software-intensive Systems (ASSURE) aims to provide an international forum for high-quality contributions (research, practice, and position papers) on the application of assurance case principles and techniques for software assurance, and on the treatment of assurance cases as artifacts to which the full range of software engineering techniques can be applied.
Keywords :
Conferences; Educational institutions; NASA; Safety; Software; Software engineering; Standards; Software engineering; argumentation; assurance cases; certification; evidence; safety; security;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering (ICSE), 2013 35th International Conference on
Conference_Location :
San Francisco, CA, USA
Print_ISBN :
978-1-4673-3073-2
Type :
conf
DOI :
10.1109/ICSE.2013.6606759
Filename :
6606759
Link To Document :
بازگشت