This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
An Overview of Models, Methods and Tools for Verification, Validation and Accreditation of Real Time Critical Software
Technical Paper
2013-36-0530
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
Real-time critical systems are those whose failures may cause loss of transactions/data, missions/batches, vehicles/properties, or even people/human life. Accordingly, some regulations prescribe their maximum acceptable probability of failures to range from about 10−4 to 10−10 failures per hour. Examples of such systems are the ones involving nuclear plants, aircrafts, satellites, automobiles, or traffic controls. They are becoming increasingly complex and/or highly integrated as prescribed by the SAE-ARP-4754A Standard. Those systems include, most of the time, real time critical software that must be specified, designed, implemented, validated, verified and accredited (VVA). To do that, models, specially the V-Model, are frequently adopted, together with methods and tools which perform software VVA to ensure compliance (of correctness, reliability, robustness, etc.) of software to several specific standards such as DO178-B/DO-178C (aviation) or IEC 26262 (automotive) among others.
This paper presents an overview of models, methods and tools for verification, validation and accreditation of real time critical software.
To do that, it: 1) discusses how models, specially the V-Model, are used to develop the software life cycle; 2) reviews several methods and tools for VVA of real time critical software available in the literature; and 3) compares such methods and tools according to compliance of software to several specific standards.
It is expected to show that: 1) an early analysis at system-level of the models, methods and tools to be used to along the software life cycle is advantageous; and 2) the overview presented here promote a better understanding of what role such models, methods and tools should play to provide better and safer systems considering social-technical objectives as a whole.
Recommended Content
Topic
Citation
Peña, L., de Oliveira e Souza, M., and Rocha, G., "An Overview of Models, Methods and Tools for Verification, Validation and Accreditation of Real Time Critical Software," SAE Technical Paper 2013-36-0530, 2013, https://doi.org/10.4271/2013-36-0530.Also In
References
- Randell Brian The 1968/69 NATO Software Engineering Reports 1996
- Edsger , W. Dijkstra The Humble programmer ACM Turing Award Lecture 1972
- UPV (Universidad Politécnica de Valencia) Historia de la informática; la crisis del Software http://histinf.blogs.upv.es/2011/01/04/la-crisis-del-software/
- Rose Greg Safety critical software. Military-COTS DO-178B application feature from CompactPCI Systems http://www.lynuxworks.com/products/whitepapers/safety-critical.php3
- DO-178B http://www.criticalsystemslabs.com/index.html
- IEEE 26262 http://www.parasoft.com/jsp/standards/compliance do 178b.jsp
- Davis Alan M. A strategy for comparing alternative software development life cycle processes 1988
- Modelos de ciclo de vida del software http://www.slideshare.net/guest37183b/modelos-del-ciclo-de-vida-del-software
- Gomaa H. and Scott Prototyping as a tool in the specification of user requirements 1981
- Boehm Barry W. A spiral model of software development and enhancement 1988
- The Tech News Agile Test Development Vs V-Model http://onlinewebapplication.com/agile-test-methodology-model/
- Nicolette Dave Effective Software Development and Delivery 2012 http://davenicolette.wordpress.com/2012/02/20/process-models/
- Watson Cameron The V model as applicable today in IT as it has always been 2010 http://www.projectsmart.co.uk/the-v-model-as-applicable-today-in-it-as-it-has-always-been.html
- Manifesto for Agile Software Development
- Gardner Peter Agile methods and safety critical software, are they compatible? 2010 http://www.slideshare.net/AdaCore/agile-methods-and-safety-critical-software-peter-gardner
- Guo Zhensheng An Integrated Process for Developing Safety-critical Systems using Agile Development Methods ICSEA 2012
- Hugh Martin Mc Barriers to using Agile Software development within the medical device industry EuroSPI 2012
- Ge Xiaocheng An interactive approach for development of safety-critical software and safety arguments Agile conference 2010
- Bueno Carlos Blanco Ingenieria del SW II Univ. De Cantabria http://ocw.unican.es/ensenanzas-tecnicas/ingenieria-del-software-ii/materiales/tema1-pruebasSistemasSoftware.pdf
- Zamora Jorge Análisis de los procesos de verification y validación en las organizaciones software 2011
- LDRA http://www.ldra.com/en/products-a-services/ldra-tool-suite
- PARASOFT http://www.parasoft-embedded.com/
- COVERITY http://www.coverity.com/
- VECTORCAST https://www.vectorcast.com/home
- SAE-ARP-4754A relation with DO-178 and others http://engineers.ihs.com/document/abstract/QXZMCAAAAAAAAAAA
- Systems engineering for intelligent transport system January 2007 http://ops.fhwa.dot.gov/publications/seitsguide/seguide.pdf
- LALA H. Architectural principles for Safety-Critical Real-Time applications 1994
- IEEE standard glossary of software engineering terminology 1990
- Leau Yu Beng Software Development Life Cycle AGILE vs. Traditional Approaches ICINT 2012
- Serrano Eduardo , Rocha Guilherme Introdução à certificação de Software (DO-178B) 2011
- CWE http://cwe.mitre.org/
- IEEE Std. 610-12-1990 IEEE standard glossary of software engineering terminology 1990