Model-based semiautomatic safety analysis of programmable systems in automotive applications

Papadopoulos, Yiannis; McDermid, John; Mavrides, Androcles; Scheidler, Christian; Maruhn, Matthias

doi:10.1049/cp:20010498

Cited by 12 publications

(2 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Within the framework of model-based development, the derivation of safety requirements on model level can be supported by special model-based hazard/safety analysis techniques ([GC04], [PMS01]).…”

Section: Related Workmentioning

confidence: 99%

Evolutionary Safety Testing of Embedded Control Software by Automatically Generating Compact Test Data Sequences

Pohlheim

Conrad

Griep

2005

SAE Technical Paper Series

View full text Add to dashboard Cite

Whereas the verification of non-safety-related, embedded software typically focuses on demonstrating that the implementation fulfills its functional requirements, this is not sufficient for safety-relevant systems. In this case, the control software must also meet application-specific safety requirements.Safety requirements typically arise from the application of hazard and/or safety analysis techniques, e.g. FMEA, FTA or SHARD. During the downstream development process it must be shown that these requirements cannot be violated. This can be achieved utilizing different techniques. One way of providing evidence that violations of the safety properties identified cannot occur is to thoroughly test each of the safety requirements. This paper introduces Evolutionary Safety Testing (EST), a fully automated procedure for the safety testing of embedded control software. EST employs extended evolutionary algorithms in an optimization process which aggressively tries to find test data sequences that cause the test object to violate a given safety requirement.A compact description formalism for input sequences for safety testing is presented, which is compatible with description techniques used during other test process stages. This compact description allows 1) an efficient application of evolutionary algorithms (and other optimization techniques) and 2) the description of long test sequences necessary for the adequate stimulation of real-world systems. The objective function is designed in such a way that optimal values represent test data sequences which violate a given safety requirement. By means of repeated input sequence generation, software execution and the subsequent evaluation of the objective function each safety requirement is extensively tested.The use of EST for the safety testing of automotive control software is demonstrated using safety requirements of an adaptive cruise control (ACC) system.The EST approach can easily be integrated into an overall software test strategy which combines different test design techniques with specific test objectives.

show abstract

Section: Related Workmentioning

confidence: 99%

Evolutionary Safety Testing of Embedded Control Software by Automatically Generating Compact Test Data Sequences

Pohlheim

Conrad

Griep

2005

SAE Technical Paper Series

View full text Add to dashboard Cite

show abstract

“…To achieve this goal, measures should be taken to prevent traffic speed to increase over a critical level, and to assure the preservation of safety distances between vehicles. The safety requirements for road tunnels should take benefits from the current trend in the automotive industry to increase the power of programmable electronic systems [9]. This trend will lead to the emergence of safety related onboard electronic equipment that will provide a number of safety related functions and will improve the overall safety of the vehicle.…”

Section: Introductionmentioning

confidence: 99%

Modelling a car safety controller in road tunnels using hybrid petri nets

Bobbio

Gribaudo²,

Horváth³

2006

2006 IEEE Intelligent Transportation Systems Conference

View full text Add to dashboard Cite

show abstract

An approach to optimization of fault tolerant architectures using HiP‐HOPS

Adachi¹,

Papadopoulos²,

Sharvia³

et al. 2011

Softw Pract Exp

View full text Add to dashboard Cite

New processes for the design of dependable systems must address both cost and dependability concerns. They should also maximize the potential for automation to address the problem of increasing technological complexity and the potentially immense design spaces that need to be explored. In this paper we show a design process that integrates system modelling, automated dependability analysis and evolutionary optimization techniques to achieve the optimization of designs with respect to dependability and cost from the early stages. Computerized support is provided for difficult aspects of fault tolerant design, such as decision making on the type and location of fault detection and fault tolerant strategies. The process is supported by HiP‐HOPS, a scalable automated dependability analysis and optimization tool. The process was applied to a Pre‐collision system for vehicles at an early stage of its design. The study shows that HiP‐HOPS can overcome the limitations of earlier work based on Reliability Block Diagrams by enabling dependability analysis and optimization of architectures that may have a network topology and exhibit multiple failure modes. Copyright © 2011 John Wiley & Sons, Ltd.

show abstract

Model-based semiautomatic safety analysis of programmable systems in automotive applications

Cited by 12 publications

References 5 publications

Evolutionary Safety Testing of Embedded Control Software by Automatically Generating Compact Test Data Sequences

Evolutionary Safety Testing of Embedded Control Software by Automatically Generating Compact Test Data Sequences

Modelling a car safety controller in road tunnels using hybrid petri nets

An approach to optimization of fault tolerant architectures using HiP‐HOPS

Contact Info

Product

Resources

About