A Software Certification Consortium and its Top 9 Hurdles

by John Hatcliff, Mats Heimdahl, Mark Lawford, Tom Maibaum, Alan Wassyng, Fred Wurden


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.


BibTeX Entry

title = "A Software Certification Consortium and its Top 9 Hurdles",
journal = "Electronic Notes in Theoretical Computer Science",
volume = "238",
number = "4",
pages = "11 - 17",
year = "2009",
note = "Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems (SafeCert 2008)",
issn = "1571-0661",
doi = "DOI: 10.1016/j.entcs.2009.09.002",
url = "http://www.sciencedirect.com/science/article/B75H1-4X8C4PS-3/2/4695d0af3016cdd0011aa2e5c5bc6da7",
author = "John Hatcliff and Mats Heimdahl and Mark Lawford and Tom Maibaum and Alan Wassyng and Fred Wurden",
keywords = "Software Certification Consortium (SCC)",
keywords = "Objectives",
keywords = "Projects",
keywords = "Formal Methods"

Mark Lawford
Last modified: Thu Sep 24 13:59:36 EDT 2009