A Software Certification Consortium and its Top 9 Hurdles

Authors:
John Hatcliff;Mats Heimdahl;Mark Lawford;Tom Maibaum;Alan Wassyng;Fred Wurden
Affiliations:
Department of Computing and Information Sciences, Kansas State University, Manhattan, KS, USA;University of Minnesota Software Engineering Center, Computer Science and Engineering, University of Minnesota, Minneapolis, MN, USA;Software Quality Research Lab, McMaster University, Hamilton, ON, Canada;Software Quality Research Lab, McMaster University, Hamilton, ON, Canada;Software Quality Research Lab, McMaster University, Hamilton, ON, Canada;Microsoft Corp., Seattle, WA, USA
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 1
Cited 3

Software for Dependable Systems: Sufficient Evidence?

Software for Dependable Systems: Sufficient Evidence?

Software certification consortium: certification methods for safety-critical software

Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
2nd Software Certification Consortium Workshop: Theoretical Basis for System and Software Engineering Practices and Certification

Proceedings of the 2011 Conference of the Center for Advanced Studies on Collaborative Research
Document driven certification of computational science and engineering software

SE-HPCCSE '13 Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

In August of 2007 and December of 2007, North American academic researchers, industry representatives and regulators were invited to meetings in Washington and Minneapolis, respectively, with the goal of forming a Software Certification Consortium (SCC). At the first meeting, objectives were established for the consortium and a certification grand challenge was issued. At the second meeting, all participants were asked to complete the statement: ''Software certification is hard because ...''. The group then synthesized the results into a ''Top 9'' list by means of discussion and voting. In this article, we describe the goals that we believe should be the goals of SCC, via details of these Top 9 hurdles that are preventing us from making software certification part of the mainstream.