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.
@article{Hatcliff200911,
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"
}