Efficient Safety Analysis of Automotive Software Systems

SAE International Journal of Passenger Cars - Electronic and Electrical Systems ◽

10.4271/2009-01-0749 ◽

2009 ◽

Vol 2 (1) ◽

pp. 258-270 ◽

Author(s):

Mario Trapp ◽

Soeren Kemmann ◽

Ralf Kalmar ◽

Christian Denger

Keyword(s):

Safety Analysis ◽

Software Systems ◽

Automotive Software

Download Full-text

Feature dependencies in automotive software systems: Extent, awareness, and refactoring

Journal of Systems and Software ◽

10.1016/j.jss.2019.110458 ◽

2020 ◽

Vol 160 ◽

pp. 110458 ◽

Author(s):

Andreas Vogelsang

Keyword(s):

Software Systems ◽

Automotive Software

Download Full-text

Trace-based Timing Analysis of Automotive Software Systems: an Experience Report

10.1109/models-c53483.2021.00046 ◽

2021 ◽

Author(s):

Alessio Bucaioni ◽

Enxhi Ferko ◽

Henrik Lonn

Keyword(s):

Timing Analysis ◽

Experience Report ◽

Software Systems ◽

Automotive Software

Download Full-text

Systematic Synthesis of Energy-Aware Timing Models in Automotive Software Systems

Communications in Computer and Information Science - Model-Driven Engineering and Software Development ◽

10.1007/978-3-030-67445-8_3 ◽

2021 ◽

pp. 49-73

Author(s):

Padma Iyenghar

Keyword(s):

Software Systems ◽

Energy Aware ◽

Automotive Software ◽

Timing Models ◽

Systematic Synthesis

Download Full-text

An Analysis Method of Safety Requirements for Automotive Software Systems

2017 24th Asia-Pacific Software Engineering Conference (APSEC) ◽

10.1109/apsec.2017.47 ◽

2017 ◽

Author(s):

Moe Matsubara ◽

Mikio Aoyama

Keyword(s):

Software Systems ◽

Analysis Method ◽

Automotive Software ◽

Safety Requirements

Download Full-text

Model checking Trampoline OS: a case study on safety analysis for automotive software

Software Testing Verification and Reliability ◽

10.1002/stvr.1482 ◽

2012 ◽

Vol 24 (1) ◽

pp. 38-60 ◽

Author(s):

Yunja Choi

Keyword(s):

Model Checking ◽

Safety Analysis ◽

Automotive Software

Download Full-text

Formal incremental requirements specification of service-oriented automotive software systems

2006 Second IEEE International Symposium on Service-Oriented System Engineering (SOSE'06) ◽

10.1109/sose.2006.16 ◽

2006 ◽

Author(s):

J. Hartmann ◽

S. Rittmann ◽

D. Wild ◽

P. Scholz

Keyword(s):

Requirements Specification ◽

Software Systems ◽

Automotive Software ◽

Service Oriented

Download Full-text

Extent and characteristics of dependencies between vehicle functions in automotive software systems

2012 4th International Workshop on Modeling in Software Engineering (MISE) ◽

10.1109/mise.2012.6226020 ◽

2012 ◽

Author(s):

Andreas Vogelsang ◽

Stefan Teuchert ◽

Jean-Francois Girard

Keyword(s):

Software Systems ◽

Automotive Software

Download Full-text

Measuring the impact of changes to the complexity and coupling properties of automotive software systems

Journal of Systems and Software ◽

10.1016/j.jss.2012.12.021 ◽

2013 ◽

Vol 86 (5) ◽

pp. 1275-1293 ◽

Author(s):

Darko Durisic ◽

Martin Nilsson ◽

Miroslaw Staron ◽

Jörgen Hansson

Keyword(s):

Software Systems ◽

Automotive Software ◽

Download Full-text

SAM: A Security Abstraction Model for Automotive Software Systems

Security and Safety Interplay of Intelligent Software Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-16874-2_5 ◽

2019 ◽

pp. 59-74 ◽

Author(s):

Markus Zoppelt ◽

Ramin Tavakoli Kolagari

Keyword(s):

Software Systems ◽

Automotive Software

Download Full-text

An Early Design Stage UML-Based Safety Analysis Approach for High Assurrance Software Systems

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2011.37 ◽

2011 ◽

Author(s):

Chetan Mutha ◽

Carol Smidts

Keyword(s):

Safety Analysis ◽

Analysis Approach ◽

Design Stage ◽

Software Systems ◽

Early Design ◽

Early Design Stage

Download Full-text