Safety-Critical Software
May/June 2013
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. Read full article »
About IEEE Software
IEEE Software offers pioneering ideas, expert analyses, and thoughtful insights for software professionals who need to keep up with rapid technology change. It's the authority on translating software theory into practice.
Get Connected
Articles from IEEE Software
Landing a Spacecraft on Mars
How much software does it take to land a spacecraft safely on Mars, and how do you make all that code reliable? Read full article »
On Computing: From Minecraft to Minds
For the public, algorithms are part of computing's self-made mystery, but to understand their nature is an important part of computational thinking. Read full article »
Announcements
Software Experts Summit 2013
Smart Data Science: Harnessing Data for Intelligent Decision Making
Join us at IEEE Software magazine's Software Experts Summit 2013, a one-day event at which leaders from industry and research examine uses, analytics, core techniques, and technologies to explore the opportunities and challenges that smart data science present.
Free podcast series: On Computing by Grady Booch, Doc List on Software Trends by Steven "Doc" List, Software Requirements Talk by Neil Maiden, and Tools of the Trade by Diomidis Spinellis.
Call for Papers:
- Green Software
Submissions due 25 June 2013
Publication: Jan./Feb. 2013 - Special Issue on Next Generation Mobile Computing
Submissions due 30 June 2013
Publication: March/April 2014
All IEEE Computer Society magazines are being published in ePub format.
Multimedia
Visit Software's multimedia page for more podcasts and videos »
Podcast: On Computing
In Defense of Boring
On the one hand, we seek to build software-intensive systems that are innovative, elegant, and supremely useful. On the other hand, computing technology as a thing unto itself is not the place of enduring value, and therefore, as computing fills the spaces of our world, it becomes boring. And that's a very good and desirable thing.
Video: Software Experts Summit 2013: Smart Data Science
Scheduled for 17 July at the Microsoft Campus in Redmond, Washington, speakers include James Whittaker of Microsoft, Paul Zikopoulos of IBM, Wolfram Schulte of Microsoft Research, John Howie of Cloud Security Alliance, Ayse Bener of Ryerson University, and Forrest Shull of the Fraunhofer Center for Experimental Software Engineering.
