Modelling Support for Design of Safety-Critical Automotive Embedded Systems

Törner, Fredrik, 1978 (author): Volvo Car Corp.,Chalmers tekniska högskola,Chalmers University of Technology

(creator_code:org_t)

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
2008
English.
Series: Lecture Notes in Computer Science, 0302-9743 ; 5219
In: Proceedings of the 27th International Conference on Computer Safety, Reliability and Security, 2008.. - Berlin, Heidelberg : Springer Berlin Heidelberg.

Related links:: https://urn.kb.se/re...; show more...; https://doi.org/10.1...; https://research.cha...; show less...

Abstract Subject headings

This paper describes and demonstrates an approach that promises to bridge the gap between model-based systems engineering and the safety process of automotive embedded systems. The basis for this is the integration of safety analysis techniques, a method for developing and managing Safety Cases, and a systematic approach to model-based engineering - the EAST-ADL2 architecture description language. Three areas are highlighted: (I) System model development on different levels of abstraction. This enables fulfilling many requirements on software development as specified by ISO-CD-26262 (2) Safety Case development in close connection to the system model (3) Analysis of mal-functional behaviour that may cause hazards, by modelling of errors and error propagation in a (complex and hierarchical) system model.

TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Annan elektroteknik och elektronik (hsv//swe)
ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Other Electrical Engineering, Electronic Engineering, Information Engineering (hsv//eng)
NATURVETENSKAP -- Data- och informationsvetenskap -- Datorteknik (hsv//swe)
NATURAL SCIENCES -- Computer and Information Sciences -- Computer Engineering (hsv//eng)

By the author/editor: Chen, DeJiu; Johansson, Rolf; Lönn, Henrik; Papadopoulos, Yi ...; Sandberg, Anders; Törner, Fredrik, ...; show more...; Törngren, Martin; show less...

About the subject

ENGINEERING AND TECHNOLOGY: ENGINEERING AND ...; and Electrical Engin ...; and Embedded Systems

ENGINEERING AND TECHNOLOGY: ENGINEERING AND ...; and Electrical Engin ...; and Other Electrical ...

NATURAL SCIENCES: NATURAL SCIENCES; and Computer and Inf ...; and Computer Enginee ...

By the university: Royal Institute of Technology; Chalmers University of Technology

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.