Evolving Critical Systems: A Research Agenda for Computer-Based Systems

Mike Hinchey, Lorcan Coyle
2010 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems  
Increasingly software can be considered to be critical, due to the business or other functionality which it supports. Upgrades or changes to such software are expensive and risky, primarily because the software has not been designed and built for ease of change. Expertise, tools and methodologies which support the design and implementation of software systems that evolve without risk (of failure or loss of quality) are essential. We address a research agenda for building software in
more » ... ed systems that (a) is highly reliable and (b) retains this reliability as it evolves, either over time or at run-time.
doi:10.1109/ecbs.2010.56 dblp:conf/ecbs/HincheyC10a fatcat:zjog6zstbvadblvexzwy2ko6hi