Cheddar : a Flexible Real-Time Scheduling Framework, ACM SIGAda Ada Letters, vol.24, issue.4, pp.1-8, 2004. ,
Misconceptions about real-time databases, Computer, vol.32, issue.6, pp.29-36, 1999. ,
DOI : 10.1109/2.769440
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.4790
Real Time Scheduling Theory: A Historical Perspective, Real-Time Systems, vol.28, issue.2/3, pp.101-155, 2004. ,
DOI : 10.1023/B:TIME.0000045315.61234.1e
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, Journal of the ACM, vol.20, issue.1, pp.46-61, 1973. ,
DOI : 10.1145/321738.321743
Implications of classical scheduling results for real-time systems, Computer, vol.28, issue.6, pp.16-25, 1995. ,
DOI : 10.1109/2.386982
Feasibility intervals for fixed-priority realtime scheduling on uniform multiprocessors, Emerging Technologies and Factory Automation, pp.397-404, 2006. ,
Modeling distributed real-time systems with MAST 2, Journal of Systems Architecture, vol.59, issue.6, pp.331-340, 2013. ,
DOI : 10.1016/j.sysarc.2012.02.001
Tri-pacific software inc. : RAPID-RMA, 2014. ,
System level performance analysis -the SymTA/s approach, IEE Proceedings -Computers and Digital Techniques, p.148, 2005. ,
Towards an UML 2.0 profile for real-time execution platform modeling Work in progress session, Proceedings of the 18th Euromicro Conference on Real-Time Systems (ECRTS 06), 2006. ,
EAST-ADL -An architecture description language Book on Architecture Description Languages, IFIP International Federation for Information Processing, pp.181-195, 2005. ,
A formal specification of the Fractal component model in Alloy, INRIA Research Report, vol.6721, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00338987
The SAE AADL standard: A basis for model-based architecture-driven embedded systems engineering, Workshop on Model-Driven Embedded Systems, 2003. ,
A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2009. ,
DOI : 10.1109/32.825767
URL : https://hal.archives-ouvertes.fr/hal-00444077
Model-driven engineering, IEEE Computer, vol.39, issue.2, 2006. ,
Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language, 2012. ,
Modeling and analysis of real-time and embedded systems, Object Management Group, 2008. ,
Applicability of realtime schedulability analysis on a software radio protocol, ACM SIGAda Ada Letters, vol.32, issue.3, pp.81-94 ,
Scheduling and memory requirements analysis with aadl, ACM SIGAda Ada Letters, pp.1-10, 2005. ,
Cheddar architecture description language, 2014. ,
A survey of hard real-time scheduling for multiprocessor systems, ACM Computing Surveys, vol.43, issue.4, pp.1-35, 2011. ,
DOI : 10.1145/1978802.1978814
Priority inheritance protocols: an approach to real-time synchronization, IEEE Transactions on Computers, vol.39, issue.9, pp.1175-1185, 1990. ,
DOI : 10.1109/12.57058
Spaceborne software: typical spacecraft use-case and preliminary analysis of its timing requirements, 2013. ,
Applicabilité des méthodes d'analyse et interopérabilité des outils de développement pour systèmes embarqués temps-réel critiques, Thèse de l'Université de Bretagne Occidentale, 2014. ,
Extending schedulability tests of tree-shaped transactions for TDMA radio protocols, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA), pp.1-8, 2014. ,
DOI : 10.1109/ETFA.2014.7005122
URL : https://hal.archives-ouvertes.fr/hal-01121229
A Compositional Scheduling Framework for Digital Avionics Systems, 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, pp.371-380, 2009. ,
DOI : 10.1109/RTCSA.2009.46
Finding Response Times in a Real-Time System, The Computer Journal, vol.29, issue.5, pp.390-395, 1986. ,
DOI : 10.1093/comjnl/29.5.390
A categorization of real-time multiprocessor scheduling problems and algorithms Handbook on scheduling algorithms, methods , and models, pp.30-31, 2004. ,
realtime scheduling: the deadline-monotonic approach, Proc. IEEE Workshop on Real-Time Operating Systems and Software, pp.133-137, 1991. ,
Optimal priority assignment and feasibility of static priority tasks with arbitrary start times Real-Time Systems, 1991. ,
Addressing cache related preemption delay in fixed priority assignment, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), 2015. ,
DOI : 10.1109/ETFA.2015.7301405
URL : https://hal.archives-ouvertes.fr/hal-01166127
Dynamic value-density for scheduling real-time systems, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99, pp.270-277, 1999. ,
DOI : 10.1109/EMRTS.1999.777474
Faciliter la vérification et la validation de méta modèles dans le cadre de l'ingénierie dirigée par les modèles : une approche agile outillée et orientée données, 2012. ,
PLATYPUS: A STEP-based Integration Framework, 14th Interdisciplinary Information Management Talks (IDIMT-2006), pp.261-274, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00504325
Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar, Proceedings of the 12th international conference on Reliable software technologies, ser. Ada- Europe'07, pp.180-191, 2007. ,
DOI : 10.1007/978-3-540-73230-3_14
URL : https://hal.archives-ouvertes.fr/hal-00502360
Where is the proof? -a review of experiences from applying mde in industry on Model Driven Architecture: Foundations and Applications, ser. ECMDA-FA '08, Proceedings of the 4th European conference, pp.432-443, 2008. ,
The smart project: Multiagent scheduling simulation of real-time architectures, Embedded Real Time Software and Systems, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00983724
The taste toolset: turning human designed heterogeneous systems into computer built homogeneous software, 5th European Congress ERTSS Embedded Real Time Software and System, 2010. ,
Design patterns for rule-based refinement of safety critical embedded systems models, 17th International Conference on Engineering of Complex Computer Systems (ICECCS), pp.67-76, 2012. ,
Architecture models refinement for fine grain timing analysis of embedded systems, 2014 25nd IEEE International Symposium on Rapid System Prototyping, pp.44-50, 2014. ,
DOI : 10.1109/RSP.2014.6966691
URL : https://hal.archives-ouvertes.fr/hal-01115723
Automatic Production of Transformation Chains Using Structural Constraints on Output Models, 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014. ,
DOI : 10.1109/SEAA.2014.13
URL : https://hal.archives-ouvertes.fr/hal-01115708
An automated approach for architectural model transformations, 22nd International Conference on Information Systems Development (ISD2013), 2013. ,
Guidelines for a graduate curriculum on embedded software and systems, ACM Transactions on Embedded Computing Systems, vol.4, issue.3, pp.587-611, 2005. ,
DOI : 10.1145/1086519.1086526