Abstract
The complexity of automotive electric and electronic systems is rapidly growing with increasingly new functions. Safety is one of key issues of future automotive development and is becoming more and more important. In this paper, we discuss the influence factors of automotive functional safety from three aspects during the development process, which are international standards, automotive E/E architecture and Model-Based Engineering approaches. And then we present related work such as modeling languages and tools, integration of mixed criticality applications and methods for functional safety analysis. According to the above discussion we propose the trends of analysis of automotive functional safety and give some advices for future research.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Mössinger, J.: Software in Automotive Systems. J 3(4), 92–94 (2010)
Di Natale, M., Wei, Z., et al.: Using system-level timing analysis for the evaluation and synthesis of automotive architectures. In: Ramesh, S., Sampath, P. (eds.) Next Generation Design and Verification Methodologies for Distributed Embedded Control System, pp. 99–113. Springer, Heidelberg (2007)
ISO.: Road vehicles — Functional safety —Part 1-10. ISO/DIS 26262 (2011)
Obermaisser, R., Peti, P., Tagliabo, F.: An integrated architecture for future car generations. J. Real-Time Syst. 36, 101–133 (2007)
Di Natale, M., Sangiovanni-Vincentelli, A.L.: Moving From Federated to Integrated Architectures in Automotive: The Role of Standards, Methods and Tools. J. Proc. of the IEEE 98(4), 603–620 (2010)
Obermaisser, R., El Salloum, C., Huber, B., Kopetz, H.: From a Federated to an Integrated Automotive Architecture. J. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems 28(7), 956–965 (2009)
Islam, S., Suri, N., Balogh, A., Csertán, G., et al.: An optimization based design for integrated dependable real-time embedded systems. J. Des Autom Embed Syst. 13, 245–285 (2009)
Mellor, S.J., Clark, A.N., Futagami, T.: Model-driven development: Guest editor’s introduction. J. IEEE Software 20(5), 14–18 (2003)
Gérard, S., Espinoza, H., Terrier, F., Selic, B.: 6 modeling languages for real-time and embedded systems. In: Giese, H., Karsai, G., Lee, E., Rumpe, B., Schätz, B. (eds.) Model-Based Engineering of Embedded Real-Time Systems. LNCS, vol. 6100, pp. 129–154. Springer, Heidelberg (2010)
Feiler, P.H., Gluch, D.P., Hudak, J.J.: The Architecture Analysis & Design Language (AADL): An Introduction. Technical Note, CMU/SEI-2006-TN-011 (2006)
Shenglin, G., Lei, L., Yun, L., Wang, L.: Formal schedulability analysis and simulation for AADL. In: The 2008 International Conference on Embedded Software and Systems, pp. 429–435. IEEE Press, Los Alamitos (2008)
Shiraishi, S.: An AADL-based approach to variability modeling of automotive control systems. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010. LNCS, vol. 6394, pp. 346–360. Springer, Heidelberg (2010)
OMG.: OMG Systems Modeling Language (OMG SysMLTM), Ver. 1.2. OMG Document Number: formal/2010-06-01(2010)
Hause, M., Stuart, A., Richards, D., Hol, J.: Testing Safety Critical Systems with SysML-UML. In: 15th IEEE International Conference on Engineering of Complex Computer Systems, pp. 325–330. IEEE Computer Society Press, Los Alamitos (2010)
OMG.: UML profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, ver. 1.0. OMG document number: formal/2009-11-02 (2009)
André, C., DeAntoni, J., Mallet, F., de Simone, R.: The Time Model of Logical Clocks Available in the OMG MARTE Profile. In: Shukla, S.K., Talpin, J.-P. (eds.) Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction. LLC, pp. 201–227. Springer, Heidelberg (2010), doi:10.1007/978-1-4419-6400-7_7
Debruyne, V., Simonot-Lion, F., Trinquet, Y.: EAST-ADL—an Architecture Description Language. In: IFIP International Federation for Information Processing, Architecture Description Languages, vol. 176, pp. 181–195 (2005)
Cuenot, P., Frey, P., Johansson, R., Lönn, H., Papadopoulos, Y., Reiser, M.-O., Sandberg, A., Servat, D., Tavakoli Kolagari, R., Törngren, M., Weber, M.: 11 the EAST-ADL architecture description language for automotive embedded software. In: Giese, H., Karsai, G., Lee, E., Rumpe, B., Schätz, B. (eds.) Model-Based Engineering of Embedded Real-Time Systems. LNCS, vol. 6100, pp. 297–307. Springer, Heidelberg (2010)
Fürst, S., Mössinger, J., Bunzel, S., et al.: AUTOSAR – A Worldwide Standard is on the Road. In: 14th International Congress Electronic Systems for Vehicles (2009)
Cuenot, P., Frey, P., Johansson, R., Lonn, H., Reiser, M.-O., Servat, D., Tavakoli Kolagari, R., Chen, D.J.: Developing Automotive Products Using the EASTADL2, an AUTOSAR Compliant Architecture Description Language. In: 4th European Congress ERTS Embedded Real Time Software, Toulouse, France (2008)
Johansson, R., Bunzel, S., Graniou, M., et al.: A road-map for enabling system analysis of AUTOSAR-based systems. In: CARS 2010 Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety, ACM, New York (2010)
Espinoza, H., Gérard, S., Lönn, H., Kolagari, R.T.: Harmonizing MARTE, EASTADL2, and AUTOSAR to Improve the Modelling of Automotive Systems. In: The Workshop STANDRT, AUTOSAR (2009)
Espinoza, H., Gérard, S., Lönn, H., Kolagari, R.T.: Harmonizing MARTE, EASTADL2, and AUTOSAR to Improve the Modelling of Automotive Systems. In: The Workshop STANDRT, AUTOSAR (2009)
AUTOSAR.: AUTOSAR Specifications Release 4.0, http://www.autosar.org
Papadopoulosa, Y., McDermida, J., Sasseb, R., Heiner, G.: Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. J. Reliability Engineering and System Safety 71, 229–247 (2001)
ATESST2.: Report name State of practice and State of the art. Version number 1.0, The ATESST2 Consortium (2008)
Islam, S., Lindström, R., Suri, N.: Dependability Driven Integration of Mixed Criticality SW Components. In: 9th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing. IEEE, Los Alamitos (2006)
Hillenbrand, M., Heinz, M., et al.: An Approach for Rapidly Adapting the Demands of ISO/DIS 26262 to Electric/Electronic Architecture Modeling. In: 21st IEEE International Symposium on Rapid System Prototyping, IEEE, Los Alamitos (2010)
Dittel, T., Aryus, H.-J.: How to “Survive” a safety case according to ISO 26262. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol. 6351, pp. 97–111. Springer, Heidelberg (2010)
Mu, C., Sun, L., Du, Z., Chen, Y.: Method Based on OSEK/VDX Platform using Modelbased and Autocode Technology for Diesel ECU Software Development. In: 31st Annual IEEE Computer Software and Applications Conference, pp. 629–634. IEEE, Los Alamitos (2007)
Sandberg, A., Chen, D., Lönn, H., Johansson, R., Feng, L., Törngren, M., Torchiaro, S., Tavakoli-Kolagari, R., Abele, A.: Model-based safety engineering of interdependent functions in automotive vehicles using EAST-ADL2. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol. 6351, pp. 332–346. Springer, Heidelberg (2010)
Biehl, M., DeJiu, C., et al.: Integrating Safety Analysis into the Model-based Development Tool Chain of Automotive Embedded Systems. In: ACM/LCTES 2010 (2010)
Adachi, M., Papadopoulos, Y., et al.: An approach to optimization of faul tolerant architectures using HiP-HOPS. J. Softw. Pract. Exper (2011)
Zeng, W.-h., Papadopoulos, Y., Parker, D.: Reliability Optimization of Series- Parallel Systems Using Asynchronous Heterogeneous Hierarchical Parallel Genetic Algorithm. J. Mind and Computation. 1(4), 403–412 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mu, C., Ma, X., Ma, H., Huang, X., Zhang, L., Fan, R. (2011). Current Issues and Future Trends in Analysis of Automotive Functional Safety. In: Ma, M. (eds) Communication Systems and Information Technology. Lecture Notes in Electrical Engineering, vol 100. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21762-3_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-21762-3_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21761-6
Online ISBN: 978-3-642-21762-3
eBook Packages: EngineeringEngineering (R0)