Issue No. 03 - May-June (2013 vol. 30)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MS.2013.55
Xabier Larrucea , Tecnalia
Annie Combelles , inspearit Group
John Favaro , Intecs SpA
We live in a world in which our safety depends on software-intensive systems. This is the case for the aeronautic, automotive, medical, nuclear, and railway sectors as well as many more. Organizations everywhere are struggling to find cost-effective methods to deal with the enormous increase in size and complexity of these systems, while simultaneously respecting the need to ensure their safety. Consequently, we're witnessing the ad hoc emergence of a renewed discipline of safety-critical software systems development as a broad range of software engineering methods, tools, and frameworks are revisited from a safety-related perspective. The rise of these complex, critical systems has spawned several recent initiatives to promote reuse, both of the technical artifacts and the artifacts and procedures that certify their suitability for use in safety-related contexts. One unmistakable trend is a strong interest in applying model-driven engineering techniques to safety-critical systems development over the entire life cycle.
Special issues and sections, Software development, Certification, Computer security, Product life cycle management, Safety, Software reliabiilty, security, safety critical, model based, certification
A. Combelles, X. Larrucea and J. Favaro, "Safety-Critical Software [Guest editors' introduction]," in IEEE Software, vol. 30, no. , pp. 25-27, 2013.