Future of Software Engineering (FOSE 2014), May 31 – June 7, 2014, Hyderabad, India

Desktop Layout

Future of Software Engineering 5
Hall 2, Chair: Matthew Dwyer
Certifiably Safe Software-Dependent Systems: Challenges and Directions
John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, and Paul Jones
(Kansas State University, USA; McMaster University, Canada; University of York, UK; AdaCore, France; US Food and Drug Administration, USA)
Publisher's Version
Supplementary Material
Abstract: The amount and impact of software-dependence in critical systems impinging on daily life is increasing rapidly. In many of these systems, inadequate software and systems engineering can lead to economic disaster, injuries or death. Society generally does not recognize the potential of losses from deficiencies of systems due to software until after some mishap occurs. Then there is an outcry, reflecting societal expectations; however, few know what it takes to achieve the expected safety and, in general, loss-prevention. On the one hand there are unprecedented, exponential increases in size, inter-dependencies, intricacies, numbers and variety in the systems and distribution of development processes across organizations and cultures. On the other hand, industry's capability to verify and validate these systems has not kept up. Mere compliance with existing standards, techniques, and regulations cannot guarantee the safety properties of these systems. The gap between practice and capability is increasing rapidly. This paper considers the future of software engineering as needed to support development and certification of safety-critical software-dependent systems. We identify a collection of challenges and document their current state, the desired state, gaps and barriers to reaching the desired state, and potential directions in software engineering research and education that could address the gaps and barriers.


Time stamp: 2019-07-23T01:17:16+02:00