| 1. |
- Goknil, A., et al.
(författare)
-
Analysis support for TADL2 timing constraints on EAST-ADL models
- 2013
-
Ingår i: Lecture Notes in Computer Science, vol. 7957. - Berlin, Heidelberg : Springer. - 9783642390302 ; , s. 89-105
-
Bokkapitel (refereegranskat)abstract
- 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.
|
|
| 2. |
- Peraldi-Frati, M.-A., et al.
(författare)
-
A timing model for specifying multi clock automotive systems: The timing augmented description language V2
- 2012
-
Ingår i: Proceedings - 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris;18 July 2012 through20 July 2012. ; :Article number 06299218, s. 230-239
-
Konferensbidrag (refereegranskat)abstract
- Precise timing constraint modeling and analysis is a key point for the correct development of automotive electronics. EAST-ADL and AUTOSAR has been adopted as standards in automotive industry. These standards have recently adopted TADL (Time Augmented Description Language), a timing model for expressing timing constraints. Its current use highlighted different issues, mainly concerning the integration of parameterized multi rate and multi-clock systems. This paper presents new extensions, aligned on AUTOSAR and EAST-ADL, to solve these issues: a support for symbolic timing expression including multi time base description and complex timing constraints. These extensions are applicable at different abstraction levels during design and enable precise modeling of the multi clock characteristics of distributed systems together with parameterized timing expressions. This work has been conducted in the ITEA TIMMO-2-USE project.
|
|
