On software certification: we need product-focused approaches

Authors:
Alan Wassyng;Tom Maibaum;Mark Lawford
Affiliations:
Software Quality Research Laboratory, Department of Computing and Software, McMaster University, Hamilton, Canada;Software Quality Research Laboratory, Department of Computing and Software, McMaster University, Hamilton, Canada;Software Quality Research Laboratory, Department of Computing and Software, McMaster University, Hamilton, Canada
Venue:
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Year:
2008

Citing 13
Cited 3

A rational design process: How and why to fake it

IEEE Transactions on Software Engineering
Requirements Specification for Process-Control Systems

IEEE Transactions on Software Engineering
Completeness and Consistency in Hierarchical State-Based Requirements

IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Experiences Using Lightweight Formal Methods for Requirements Modeling

IEEE Transactions on Software Engineering
Formalizing space shuttle software requirements: four case studies

ACM Transactions on Software Engineering and Methodology (TOSEM)
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications

IEEE Transactions on Software Engineering
Mathematical foundations of software engineering: a roadmap

Proceedings of the Conference on The Future of Software Engineering
Scientific rigour, an answer to a pragmatic question: a linguistic framework for software engineering

ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Modular Verification of SRT Division

Formal Methods in System Design
SCR*: A Toolset for Specifying and Analyzing Software Requirements

CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Software tools for safety-critical software development

International Journal on Software Tools for Technology Transfer (STTT) - A View from Formal Methods 2003 (pp 301-354); Special Section on Recent Advances in Hardware Verification (pp 355-447)
Specifying Software Requirements for Complex Systems: New Techniques and Their Application

IEEE Transactions on Software Engineering
Formal Methods Based Development of a PCA Infusion Pump Reference Model: Generic Infusion Pump (GIP) Project

HCMDSS-MDPNP '07 Proceedings of the 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability

Software certification consortium: certification methods for safety-critical software

Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
Reducing the footprint of certifiable health software during early stage development

Proceedings of the 3rd Workshop on Software Engineering in Health Care
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

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we begin by examining the “certification” of a consumer product, a baby walker, that is product-focused, i.e., the certification process requires the performance of precisely defined tests on the product with measurable outcomes. We then review current practices in software certification and contrast the software regime's process-oriented approach to certification with the product-oriented approach typically used in other engineering disciplines. We make the case that product-focused certification is required to produce reliable software intensive systems. These techniques will have to be domain and even product specific to succeed.