East-ADL2 specification, ITEA, Tech. Rep, pp.2008-2011, 2008. ,
Definition of language for automotive embedded electronic architecture approach, ITEA, Tech. Rep, 2004. ,
ATESST -the modelling approach: Overview of the East-ADL2, ITEA, Tech. Rep, 2007. ,
The worst-case execution-time problem???overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, pp.1-53, 2008. ,
DOI : 10.1145/1347375.1347389
Rate Monotonic Analysis for Real-Time Systems, Foundations of Real-Time Computing: Scheduling and Resource Management, pp.129-155, 1991. ,
DOI : 10.1007/978-1-4615-3956-8_5
Deadline scheduling for real-time systems: EDF and related algorithms, 1998. ,
DOI : 10.1007/978-1-4615-5535-3
On task schedulability in real-time control systems, 17th IEEE Real-Time Systems Symposium, pp.17-30, 1996. ,
DOI : 10.1109/REAL.1996.563693
Annotating UML Models with Non-functional Properties for Quantitative Analysis, Satellite Events at the MoDELS 2005 Conference, pp.79-90, 2006. ,
DOI : 10.1007/11663430_9
Modeling Time(s), Lecture Notes in Computer Science, G. Engels, B, vol.4735, pp.559-573, 2007. ,
DOI : 10.1007/978-3-540-75209-7_38
Syntax and semantics of the clock constraint specication language, INRIA, Tech. Rep, vol.6925, 2009. ,
CCSL: specifying clock constraints with UML/Marte, ISSE, vol.4, issue.3, pp.309-314, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00371371
TimeSquare: on the formal execution of UML and DSL models Tool session of the 4th Model driven development for distributed real time systems, 2008. ,
An extensible source AADL tool environment, SEI AADL Team technical Report, 2004. ,
Developing automotive products using the EAST-ADL2, and Autosar compliant architecture description language, Embedded Real-Time Software Conference, 2008. ,
Scheduling and memory requirements analysis with AADL, ACM SIGAda Ada Letters, vol.25, issue.4, pp.1-10, 2005. ,
Vest: A toolset for constructing and analyzing component based operating systems for embedded and real-time systems, Proceedings of the Embedded Software, First International Workshop, pp.390-402, 2001. ,
Available: www.timmo.org [21] Annotation with Timing Constraints in the Context of EAST-ADL2 and AUTOSAR?the Timing Augmented Description Language ,
Timing modeling and analysis for AUTOSAR-based software development - a case study, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), pp.642-645, 2010. ,
DOI : 10.1109/DATE.2010.5457125
Symta/s-symbolic timing analysis for systems Citeseer, WIP Proc. Euromicro Conference on Real-Time Systems, pp.17-20, 2004. ,
Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978. ,
DOI : 10.1145/359545.359563
Logical time in distributed computing systems, Computer, vol.24, issue.8, pp.28-33, 2002. ,
DOI : 10.1109/2.84874
Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991. ,
DOI : 10.1016/0167-6423(91)90001-E
The foundations of Esterel Proof, Language and Interaction: Essays in Honour of Robin Milner, pp.425-454, 2000. ,
The ESTEREL language, Proceedings of the IEEE, vol.79, issue.9, pp.1293-1304, 2002. ,
DOI : 10.1109/5.97299
URL : https://hal.archives-ouvertes.fr/inria-00075075
Synchronous Observers and the Verification of Reactive Systems, AMAST '93: Proceedings of the Third International Conference on Methodology and Software Technology, pp.83-96, 1994. ,
DOI : 10.1007/978-1-4471-3227-1_8