Abstract
The increasing development complexity of automotive embedded systems has led to industrial needs of improved information management, early verification and validation of a system etc. EAST-ADL; an automotive-specific architectural description language provides a structured model-based approach for information management throughout the development process. A method to formally analyze consistency of EAST-ADL based timing constraint specifications using timed-automata is presented. A mapping scheme providing a basis for automated model-transformations between EAST-ADL and timed-automata is the main contribution. The method is demonstrated with a case study of a brake-by-wire system. Guidelines for extending the mapping framework are also provided.
Keywords
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
Törngren, M., Chen, D., Malvious, D., Axelsson, J.: Model-Based Development of Automotive Embedded Systems. In: Automotive Embedded Sytems Handbook (2009)
Lönn, H., Freund, U.: Automotive Architecture Description Languages. In: Automotive Embedded Systems Handbook (2009)
The ATESST2 Consortium, EAST-ADL Domain Model Specification, Project Deliverable 4.1.1 (June 2010), http://www.atesst.org/home/liblocal/docs/ATESST2_D4.1.1_EAST-ADL2-Specification_2010-06-02.pdf
AUTOSAR Website, http://www.autosar.org/ (accessed January 2011)
Road vehicles – Functional Safety, International Organization for Standardization, ISO 26262 (Draft International Standard) (2009)
PapyrusUML Website, http://www.papyrusuml.org (accessed January 2011)
Behrmann, G., David, A., Larsen, K.G.: A Tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200–236. Springer, Heidelberg (2004)
Bengtsson, J.E., Yi, W.: Timed Automata: Semantics, Algorithms and Tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 87–124. Springer, Heidelberg (2004)
The ATESST2 Consortium, Update Suggestions for Behavior Support, Project Deliverable 3.1, Appendix A3.4 (June 2010), http://www.atesst.org/home/liblocal/docs/ATESST2_Deliverable_D3.1_A3.4_V1.1.pdf
Qureshi, T.N., Chen, D.J., Persson, M., Törngren, M.: Towards the Integration of EAST-ADL and UPPAAL for Formal Verification of EAST-ADL Timing Constraint Specification. Presented at TiMoBD (Time Analysis and Model-Based Design, from Functional Models to Distributed Deployments) Workshop, October 9 (2011)
Feng, L., Chen, D.J., Lönn, H., Törngren, M.: Verifying System Behaviors in EAST-ADL2 with the SPIN Model Checker. In: IEEE International Conference on Mechatronics and Automation, Xi’an, China, August 4-7 (2010)
The TIMMO Consortium, TADL: Timing Augmented Description Language Version 2, Project Deliverable 6 (2009), http://www.timmo.org/pdf/D6_TIMMO_TADL_Version_2_v12.pdf
Mallet, F., Peraldi-Frati, M.A., André, C.: Marte CCSL to Execute East-ADL Timing Requirements. In: Proceedings of ISORC 2009, pp. 249–253 (2009)
Object Management Group. UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, formal/2009-11-02 (2009), http://www.omg.org/spec/MARTE/1.0/PDF
Kang, E.-Y., Schobbens, P.-Y., Pettersson, P.: Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 243–256. Springer, Heidelberg (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Qureshi, T.N., Chen, DJ., Törngren, M. (2012). A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications. In: Vallecillo, A., Tolvanen, JP., Kindler, E., Störrle, H., Kolovos, D. (eds) Modelling Foundations and Applications. ECMFA 2012. Lecture Notes in Computer Science, vol 7349. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31491-9_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-31491-9_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31490-2
Online ISBN: 978-3-642-31491-9
eBook Packages: Computer ScienceComputer Science (R0)