Towards Certification of Automotive Software

Areias, Cristiana; Cunha, Joao Carlos; Iacono, Davide; Rossi, Francesco

doi:10.1109/issrew.2014.54

“…As a final remark, we observe that software certification is so challenging that the adoption of the same method or tool across different domains is often impossible. Hence, many domain-dependent proposals exist such as for robotics [197], medical systems [13], the automotive sector [14,260], unmanned aircraft [239,247], and railway systems [72].…”

Section: An Assurance Case Is An Organised Argument That a System Is mentioning

confidence: 99%

“…www.care-o-bot.de13 www.toyot a-globa l.com/innov ation /partn er_robot14 https://www.dallasnews.com/business/technology/2019/12/26/on-university-of-texas-at-dallas-growingcampus-meal-delivering-robots-make-splashy-debut/…”

mentioning

confidence: 99%

Towards a framework for certification of reliable autonomous systems

Fisher

¹

,

Mascardi

²

,

Rozier

³

et al. 2020

Auton Agent Multi-Agent Syst

View full text Add to dashboard Cite

A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control. The capability and spread of such systems have reached the point where they are beginning to touch much of everyday life. However, regulators grapple with how to deal with autonomous systems, for example how could we certify an Unmanned Aerial System for autonomous use in civilian airspace? We here analyse what is needed in order to provide verified reliable behaviour of an autonomous system, analyse what can be done as the state-of-the-art in automated verification, and propose a roadmap towards developing regulatory guidelines, including articulating challenges to researchers, to engineers, and to regulators. Case studies in seven distinct domains illustrate the article.

show abstract

“…As a final remark, we observe that software certification is so challenging that the adoption of the same method or tool across different domains is often impossible. Hence, many domain-dependent proposals exist such as for robotics [197], medical systems [13], the automotive sector [14,260], unmanned aircraft [239,247], and railway systems [72].…”

Section: Certification Of Traditional Software Systemsmentioning

confidence: 99%

Towards a framework for certification of reliable autonomous systems

Fisher¹,

Mascardi²,

Rozier³

et al. 2020

Preprint

View full text Add to dashboard Cite

A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control. The capability and spread of such systems have reached the point where they are beginning to touch much of everyday life. However, regulators grapple with how to deal with autonomous systems, for example how could we certify an Unmanned Aerial System for autonomous use in civilian airspace? We here analyse what is needed in order to provide verified reliable behaviour of an autonomous system, analyse what can be done as the state-of-the-art in automated verification, and propose a roadmap towards developing regulatory guidelines, including articulating challenges to researchers, to engineers, and to regulators. Case studies in seven distinct domains illustrate the article.

show abstract

“…Criteria used for certifying the software are completeness of requirement implementation and documentations, availability of workaround, safety and how far the opne issues have been addressed. In automative industry, certification is given when the software achieves personnel qualification, tools qualification, process qualification, product certification, certificate of analysis as well as functional safety certification (Areias et al, 2014).…”

Section: Introductionmentioning

confidence: 99%

Rating of software trustworthiness via scoring of system testing results

Suffian¹,

Fahrurazi²,

Ann³

et al. 2018

IJDET

0

View full text Add to dashboard Cite

It is important to have a form of software trustworthiness rating serving as early health indicator on the capability of the software before it is released to end-users and customers. Although various software certification schemes are available in the market, there is limited information on how far results from system testing are exploited and used to rate the trustworthiness of the software under test. Thus, the proposed software trustworthiness rating strategy uses the scoring upon the completion of system testing execution. The strategy covers rating of software that has undergone system testing completely or partially. It is based on multiple levels calculation toward coming out with final rating: test strategies imposed, completeness of system test execution, test iterations, test case priority and test case result for each iteration. As a result, the multilevel scores calculation successfully derives meaningful trustworthiness rating for the software under test, whether it is a complete rating or partial rating.

show abstract

Towards Certification of Automotive Software

Cited by 15 publications

References 2 publications

Towards a framework for certification of reliable autonomous systems

Towards a framework for certification of reliable autonomous systems

Towards a framework for certification of reliable autonomous systems

Rating of software trustworthiness via scoring of system testing results

Contact Info

Product

Resources

About