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" }