Abstract
Automotive software systems are characterized by increasing complexity and tight requirements on safety and timing. Recent industrial experience has indicated that model-based and component-based approaches can help improve the overall system quality, foster reuse and evolution, and increase the potential for automatic validation and verification. In this paper, we discuss some crucial specification capabilities that need to be satisfied by modeling languages to enable scheduling analysis aware modeling for automotive applications. We evaluate the extent to which two major industry-based languages, MARTE and AUTOSAR, satisfy those needs.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Navet, N., Simonot-Lion, F. (eds.): The Automotive Embedded Systems Handbook. Industrial Information Technology. CRC Press / Taylor and Francis (December 2008) ISBN 978-0849380266
Espinoza, H.: An Integrated Model-Driven Framework for Specifying and Analyzing Non-Functional Properties of Real-Time Systems. PhD Thesis (English), University of Evry, FRANCE (September 2007)
AUTOSAR Partnership, http://www.autosar.org
MARTE website, http://www.omgmarte.org
Schliecker, S., Rox, J., Negrean, M., Richter, K., Jersak, M., Ernst, R.: System Level Performance Analysis for Real-Time Automotive Multi-Core and Network Architectures. IEEE Transactions on Computer Aided Design (2009)
Chen, R., Sgroi, M., Martin, G., Lavagno, L., Sangiovanni-Vincentelli, A.L., Rabaey, J.: UML for Real. In: Design of Embedded Real-Time Systems, pp. 189–270. Kluwer Academic Publishers, Dordrecht (2003)
André, C., Mallet, F., Peraldi, M.-A.: A multiform time approach to real-time system modeling: Application to an automotive system. In: IEEE Int. Symp. on Industrial Embedded Systems (SIES 2007), Portugal, pp. 234–241 (July 2007)
Feiertag, N., Richter, K., Nordlander, J., Jonsson, J.: A Compositional Framework for End-to-End Path Delay Calculation of Automotive Systems under Different Path Semantics. In: 1st Workshop on Compositional Theory and Technology for Real-Time Embedded Systems CRTS 2008 (2008)
André, C., Mallet, F., de Simone, R.: Modeling of Immediate vs. Delayed Data Communications: from AADL to UML MARTE. In: ECSI Forum (FDL), Spain (September 2007)
SysML website, http://www.omgsysml.org
Espinoza, H., Servat, D., Gérard, S.: Leveraging Analysis-Aided Design Decision Knowledge in UML-Based Development of Embedded Systems. In: SHARK-ICSE 2008, Leipzig, Germany (May 2008)
Papyrus website, http://www.papyrusuml.org
ARTISAN Studio website, http://www.atego.com
Mraidha, C., Tucci-Piergiovanni, S., Gérard, S.: Optimum: A MARTE-based Methodology for Schedulability Analysis at Early Design Stages. In: Third IEEE International Workshop UML and Formal Methods, Shangai, China (November 2010)
MAST website, http://mast.unican.es
ARTOP User Group website, http://www.artop.org
SymTA/S website, http://www.symtavision.com/symtas.html
Anssi, S., Gérard, S., Albinet, A., Terrier, F.: Requirements and Solutions for Timing Analysis of Automotive Systems. In: Kraemer, F.A., Herrmann, P. (eds.) SAM 2010. LNCS, vol. 6598. Springer, Heidelberg (to appear, 2011)
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
Anssi, S., Gérard, S., Kuntz, S., Terrier, F. (2011). AUTOSAR vs. MARTE for Enabling Timing Analysis of Automotive Applications. In: Ober, I., Ober, I. (eds) SDL 2011: Integrating System and Software Modeling. SDL 2011. Lecture Notes in Computer Science, vol 7083. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25264-8_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-25264-8_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25263-1
Online ISBN: 978-3-642-25264-8
eBook Packages: Computer ScienceComputer Science (R0)