A Software Certification Consortium and its Top 9 Hurdles

被引：3

作者：

Hatcliff, John ^{[1
]}

Heimdahl, Mats ^{[2
]}

Lawford, Mark ^{[3
]}

Maibaum, Tom ^{[3
]}

Wassyng, Alan ^{[3
]}

Wurden, Fred ^{[4
]}

机构：

[1] Kansas State Univ, Dept Comp & Informat Sci, Manhattan, KS 66506 USA

[2] Univ Minnesota, U Minnesota Software Engn Ctr, Comp Sci & Engn, Minneapolis, MN USA

[3] McMaster Univ, Software Qual Res Lab, Hamilton, ON, Canada

[4] Microsoft Corp, Seattle, WA USA

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2009年 / 238卷 / 04期

基金：

加拿大自然科学与工程研究理事会;

关键词：

Software Certification Consortium (SCC); Objectives; Projects; Formal Methods;

D O I：

10.1016/j.entcs.2009.09.002

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：11 / 17

页数：7

共 50 条

[31] Performance Certification of Software Components
Burger, Erik
Reussner, Ralf
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 279 (02) : 33 - 41
[32] Fault Injection for Software Certification
Cotroneo, Domenico
Natella, Roberto
IEEE SECURITY & PRIVACY, 2013, 11 (04) : 38 - 45
[33] Software process maturity and certification
Bicego, A
Kuvaja, P
JOURNAL OF SYSTEMS ARCHITECTURE, 1996, 42 (08) : 611 - 620
[34] Reliability certification of software components
Wohlin, C
Regnell, B
FIFTH INTERNATIONAL CONFERENCE ON SOFTWARE REUSE - PROCEEDINGS, 1998, : 56 - 65
[35] Software process maturity and certification
J Syst Archit, 8 (611):
[36] INNOVATION AND CERTIFICATION IN AVIATION SOFTWARE
Kennedy, Jaiden David
Towhidnejad, Massood
2017 INTEGRATED COMMUNICATIONS, NAVIGATION AND SURVEILLANCE CONFERENCE (ICNS), 2017,
[37] A software product certification model
Petra Heck
Martijn Klabbers
Marko van Eekelen
Software Quality Journal, 2010, 18 : 37 - 55
[38] SOFTWARE CERTIFICATION - FORSEEING PROBLEMS
SCOTT, RF
CIVIL ENGINEERING, 1985, 55 (02): : 6 - 6
[39] A software product certification model
Heck, Petra
Klabbers, Martijn
van Eekelen, Marko
SOFTWARE QUALITY JOURNAL, 2010, 18 (01) : 37 - 55
[40] Towards Certification of Automotive Software
Areias, Cristiana
Cunha, Joao Carlos
Iacono, Davide
Rossi, Francesco
2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2014, : 491 - 496

← 1 2 3 4 5 →