Analysis support for TADL2 timing constraints on EAST-ADL models
2013 (engelsk)Inngår i: Lecture Notes in Computer Science, vol. 7957, Springer, 2013, s. 89-105Kapittel i bok, del av antologi (Fagfellevurdert)
Abstract [en]
It is critical to analyze characteristics of real-time embedded systems, such as timing behavior, early in the development. In the automotive domain, EAST-ADL is a concrete example of the model-based approach for the architectural modeling of real-time systems. The Timing Augmented Description Language v2 (TADL2) allows for the specification of timing constraints on top of EAST-ADL models. In this paper we propose a formal validation & verification methodology for timing behaviors given with TADL2. The formal semantics of the timing constraints is given as a mapping to the Clock Constraint Specification Language (CCSL), a formal language that implements the MARTE Time Model. Based on such a mapping, the validation is carried out by the simulation of TADL2 specifications. The simulation allows for a rapid prototyping of TADL2 specifications. The verification is performed based on a TADL2 mapping to timed automata modeling using the Uppaal model-checker. The whole process is illustrated on a Brake-By-Wire application.
sted, utgiver, år, opplag, sider
Springer, 2013. s. 89-105
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 7957
Serie
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; 7957
Emneord [en]
Architectural modeling, Automotive domains, Clock constraints, Description languages, Model based approach, Real-time embedded systems, Timing constraints, Verification methodology, Automata theory, Formal languages, Model checking, Rapid prototyping, Real time systems, Software architecture, Specification languages, Specifications, Mapping
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-20823DOI: 10.1007/978-3-642-39031-9_8Scopus ID: 2-s2.0-84879852991ISBN: 9783642390302 (tryckt)OAI: oai:DiVA.org:mdh-20823DiVA, id: diva2:638803
Konferanse
7th European Conference on Software Architecture, ECSA 2013, 1 July 2013 through 5 July 2013, Montpellier
Merknad
7th European Conference on Software Architecture, ECSA 2013; Montpellier; France; 1 July 2013 through 5 July 2013
2013-08-022013-08-022016-05-17bibliografisk kontrollert
Inngår i avhandling