Software tools for safety-critical software development

Authors:
Alan Wassyng;Mark Lawford
Affiliations:
McMaster University, The Software Quality Research Laboratory, Department of Computing and Software, Hamilton, Ontario, Canada;McMaster University, The Software Quality Research Laboratory, Department of Computing and Software, Hamilton, Ontario, Canada
Venue:
International Journal on Software Tools for Technology Transfer (STTT) - A View from Formal Methods 2003 (pp 301-354); Special Section on Recent Advances in Hardware Verification (pp 355-447)
Year:
2006

Citing 0
Cited 4

An IDE for software development using tabular expressions

CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
Challenges in software certification

ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Software certification experience in the canadian nuclear industry: lessons for the future

EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
On software certification: we need product-focused approaches

Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development

Quantified Score

Hi-index	0.00

Visualization

Abstract

We briefly present a software methodology for safety-critical software, developed over many years to cope with industrial safety-critical applications in the Canadian nuclear industry. Following this we present discussion on software tools that have been used to support this methodology, and software tools that could be used, but have not been used for a variety of reasons. Based on our experience, we also present and motivate a list of high-level requirements for tools that would facilitate the development of safety-critical software using the presented methods, together with a small number of tools that we believe are worth developing in the future.