An Overview of Models, Methods and Tools for Verification, Validation and Accreditation of Real Time Critical Software

Format:

Conference/Event

Author/Creator:

Peña, Peña, author.

Contributor:

de Oliveira e Souza, Marcelo Lopes

Rocha, Guilherme Conceição

Conference Name:

22nd SAE Brasil International Congress and Display (2013-10-07 : Sao Paulo, Brazil)

Language:

English

Physical Description:

1 online resource

Place of Publication:

Warrendale, PA SAE International 2013

Summary:

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 104 to 1010 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, et cetera) 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

Notes:

Vendor supplied data

Publisher Number:

2013-36-0530

Access Restriction:

Restricted for use by site license