A timed automata-based method to analyze EAST-ADL timing constraint specifications
2012 (English)In: Modelling Foundations And Applications, Springer Berlin/Heidelberg, 2012, Vol. 7349 LNCS, 303-318 p.Conference paper (Refereed)
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.
Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2012. Vol. 7349 LNCS, 303-318 p.
, Lecture Notes in Computer Science, ISSN 0302-9743 ; 7349
EAST-ADL, Model-based development, Timed-Automata, Timing Constraints, UPPAAL
Engineering and Technology
IdentifiersURN: urn:nbn:se:kth:diva-100297DOI: 10.1007/978-3-642-31491-9_23ScopusID: 2-s2.0-84864052292ISBN: 978-364231490-2OAI: oai:DiVA.org:kth-100297DiVA: diva2:543200
8th European Conference on Modelling Foundations and Applications, ECMFA 2012;Kgs. Lyngby; 2 July 2012 through 5 July 2012
QC 201512162012-08-072012-08-062015-12-16Bibliographically approved