Certifiably safe software-dependent systems: challenges and directions
John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul Jones · 2014
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.