Completing EAST-ADL2 with MARTE for enabling scheduling analysis for automotive applications, Proceedings of the 6th European Congress Embedded Real Time Software, 2010. ,
MARTE profile extension for modeling dynamic power management of embedded systems, Journal of Systems Architecture, vol.58, issue.5, pp.209-219, 2012. ,
DOI : 10.1016/j.sysarc.2011.01.003
Real-Time System Scheduling, Predictably Dependable Computing Systems, pp.41-52, 1995. ,
DOI : 10.1007/978-3-642-79789-7_3
Applying new scheduling theory to static priority pre-emptive scheduling, Software Engineering Journal, vol.8, issue.5, pp.284-292, 1993. ,
DOI : 10.1049/sej.1993.0034
The End Of The Line For Static Cyclic Scheduling?, Fifth Euromicro Workshop on Real-Time Systems, 1993. ,
DOI : 10.1109/EMWRT.1993.639042
Dynamic and aggressive scheduling techniques for power-aware real-time systems, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420), 2001. ,
DOI : 10.1109/REAL.2001.990600
Multiprocessor EDF and deadline monotonic schedulability analysis, Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748), 2003. ,
DOI : 10.1109/REAL.2003.1253260
Performance comparison of VxWorks, linux, RTAI and xenomai in a hard real-time application, Proceedings of the 15th IEEE-NPSS Real-Time Conference, 2007. ,
The Non-cyclic Recurring Real-Time Task Model, 2010 31st IEEE Real-Time Systems Symposium, 2010. ,
DOI : 10.1109/RTSS.2010.19
Dynamic-and static-priority scheduling of recurring real-time tasks. Real-Time Systems, pp.93-128, 2003. ,
Partitioned scheduling of sporadic task systems: an ILP-based approach, Proceedings of the 2008 Conference on Design and Architectures for Signal and Image Processing, 2008. ,
A Generalized Parallel Task Model for Recurrent Real-time Processes, 2012 IEEE 33rd Real-Time Systems Symposium, 2012. ,
DOI : 10.1109/RTSS.2012.59
Response-Time Analysis for Mixed Criticality Systems, 2011 IEEE 32nd Real-Time Systems Symposium, 2011. ,
DOI : 10.1109/RTSS.2011.12
Generalized multiframe tasks. Real-Time Systems, pp.5-22, 0195. ,
Scheduling real-time tasks: algorithms and complexity. In Handbook of Scheduling: Algorithms, Models, and Performance Analysis, 2004. ,
Preemptively scheduling hard-real-time sporadic tasks on one processor, [1990] Proceedings 11th Real-Time Systems Symposium, 1990. ,
DOI : 10.1109/REAL.1990.128746
Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor. Real-Time Systems, pp.301-324, 1990. ,
A Tutorial on Uppaal, Proceedings of the 2004 International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 2004. ,
DOI : 10.1007/978-3-540-30080-9_7
Timed automata: Semantics, algorithms and tools. Lecture Notes on Concurrency and Petri Nets, pp.87-124, 2004. ,
DOI : 10.1007/978-3-540-27755-2_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.8701
Formal verification of aadl models with fiacre and tina, Proceedings of the 5th International Congress and Exhibition on Embedded Real-Time Software and Systems, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00494348
Schedulability analysis of periodic fixed priority systems, IEEE Transactions on Computers, vol.53, issue.11, pp.1462-1473, 2004. ,
DOI : 10.1109/TC.2004.103
Systems engineering and analysis, 1990. ,
Enhancing numerical controllers, using MMS concepts and a CORBA-based software bus, International Journal of Computer Integrated Manufacturing, vol.14, issue.6, pp.260-269, 2001. ,
DOI : 10.1080/09511920110040539
URL : https://hal.archives-ouvertes.fr/hal-01198789
Feasibility Analysis in the Sporadic DAG Task Model, 2013 25th Euromicro Conference on Real-Time Systems, 2013. ,
DOI : 10.1109/ECRTS.2013.32
Model-based reconfiguration of critical software component architectures, Proceedings of the 2009 Design, Automation & Test in Europe Conference, 2009. ,
Fostering Analysis from Industrial Embedded Systems Modeling, Industry and Research Perspectives on Embedded System Design. IGI Global, 2014. ,
DOI : 10.4018/978-1-4666-6194-3.ch011
PRESTO project, automatic code instrumentation from (modelio based) models to process performance analysis at the software integration phase, 2013. ,
Real-time systems and programming languages: Ada 95, real-time Java, and real-time POSIX, 2001. ,
Rate Monotonic vs. EDF: Judgment Day, Real-Time Systems, vol.29, issue.1, pp.5-26, 2005. ,
DOI : 10.1023/B:TIME.0000048932.30002.d9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.214
Time-Division Multiple Access, Handbook of Computer Networks, pp.769-778 ,
DOI : 10.1002/9781118256114.ch49
Dynamic priority ceilings: A concurrency control protocol for real-time systems, Real-Time Systems, vol.11, issue.4, pp.325-346, 1990. ,
DOI : 10.1007/BF01995676
Real-time systems: scheduling, analysis, and verification, 2003. ,
DOI : 10.1002/0471224626
SimSo: A simulation tool to evaluate realtime multiprocessor scheduling algorithms, Proceedings of the 5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, 2014. ,
Dynamic scheduling of real-time tasks under precedence constraints. Real-Time Systems, pp.181-194, 1990. ,
An optimal real-time scheduling algorithm for multiprocessors, Proceedings of the 27th IEEE International Real-Time Systems Symposium, 2006. ,
Minimal schedulability interval for real-time systems of periodic tasks with offsets, Theoretical Computer Science, vol.310, issue.1-3, pp.117-134, 2004. ,
DOI : 10.1016/S0304-3975(03)00362-1
VERSA: a tool for the specification and analysis of resourcebound real-time systems, 1993. ,
Response Time Analysis of Asynchronous Periodic and Sporadic Tasks Sheduled by a Fixed Priority Preemptive Algorithm, 2008 Euromicro Conference on Real-Time Systems, 2008. ,
DOI : 10.1109/ECRTS.2008.30
On the architecture of secure software defined radios, MILCOM 2008, 2008 IEEE Military Communications Conference, 2008. ,
DOI : 10.1109/MILCOM.2008.4753440
A survey of hard real-time scheduling for multiprocessor systems, ACM Computing Surveys, vol.43, issue.4, p.35, 2011. ,
DOI : 10.1145/1978802.1978814
EAST-ADL ??? An Architecture Description Language, Architecture Description Languages, pp.181-195, 2005. ,
DOI : 10.1007/0-387-24590-1_12
URL : https://hal.archives-ouvertes.fr/inria-00100020
First Experiments Using the UML Profile for MARTE, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), 2008. ,
DOI : 10.1109/ISORC.2008.36
Multiprocessor online scheduling of hard-real-time tasks, IEEE Transactions on Software Engineering, vol.15, issue.12, pp.1497-1506, 0989. ,
DOI : 10.1109/32.58762
Adding Precedence Relations to the Response-Time Analysis of EDF Distributed Real-Time Systems, Proceedings of the 22nd International Conference on Real-Time Networks and Systems, RTNS '14, 2014. ,
DOI : 10.1145/2659787.2659802
The SMART project: Multi-agent scheduling simulation of real-time architectures, Proceedings of the 7th European Congress on Embedded Real Time Software and Systems, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00983724
Stood and cheddar : AADL as a pivot language for analysing performances of real time architectures, Proceedings of the 4th European Congress on Embedded Real Time Software and System, 2008. ,
An optimal resource sharing protocol for generalized multiframe tasks ViTAL : A verification tool for EAST-ADL models using UPPAAL PORT, Nordic Workshop on Programming Theory Proceedings of the 17th International Conference on Engineering of Complex Computer Systems, 2011. ,
The architecture analysis & design language (AADL): an introduction, 2006. ,
Scheduling Dependent Periodic Tasks without Synchronization Mechanisms, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010. ,
DOI : 10.1109/RTAS.2010.26
URL : https://hal.archives-ouvertes.fr/hal-00800980
Dynamic priority scheduling of periodic tasks with extended precedences, ETFA2011, 2011. ,
DOI : 10.1109/ETFA.2011.6059015
URL : https://hal.archives-ouvertes.fr/inria-00638941
Schedulability analysis of distributed hard real-time systems with multiple-event synchronization, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000, 2000. ,
DOI : 10.1109/EMRTS.2000.853988
Romeo: A Tool for Analyzing Time Petri Nets, Proceedings of the 17th International Conference on Computer Aided Verification, 2005. ,
DOI : 10.1007/11513988_41
URL : https://hal.archives-ouvertes.fr/hal-00523596
Acme, CASCON First Decade High Impact Papers on, CASCON '10, 2010. ,
DOI : 10.1145/1925805.1925814
Mobile Ad Hoc Networks, Wiley Series on Parallel and Distributed Computing, pp.325-346, 2002. ,
DOI : 10.1002/0471224561.ch15
URL : https://hal.archives-ouvertes.fr/inria-00466742
The non-optimality of the monotonic priority assignments for hard real-time offset free systems, Real-Time Systems, vol.13, issue.2, pp.107-126, 1997. ,
DOI : 10.1023/A:1007980022314
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
Improved offset-analysis using multiple timing-references, Proceedings of the Design Automation & Test in Europe Conference, 2006. ,
DOI : 10.1109/DATE.2006.243802
System level performance analysis -the SymTA/s approach, IEE Proceedings -Computers and Digital Techniques, p.148, 2005. ,
Industrial adaptation of MARTE for early scheduling analysis of component-based applications, Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, NFPinDSML '12, 2012. ,
DOI : 10.1145/2420942.2420949
Tri-pacific software inc, 2014. ,
Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines. Software & Systems Modeling, pp.1-19, 2014. ,
Systems and software engineering -architecture description, International Organization for Standardization, 2001. ,
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
Evolution of the pikeos microkernel, Proceedings of the 1st International Workshop on Microkernels for Embedded Systems, 2007. ,
Design optimisation of fault-tolerant event-triggered embedded systems, 2007. ,
Domain-Specific Modeling, 2008. ,
DOI : 10.1002/9780470249260
Finding a minimal transitive reduction in a strongly conncected digraph within linear time, Proceedings of the 15th International Workshop on Graph-Theoretic Concepts in Computer Science, 1990. ,
Timing modeling and analysis for AUTOSAR-based software development - a case study, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), 2010. ,
DOI : 10.1109/DATE.2010.5457125
Event-triggered versus time-triggered real-time systems, Operating Systems of the 90s and Beyond, pp.86-101, 1991. ,
DOI : 10.1007/BFb0024530
The time-triggered model of computation, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279), 1998. ,
DOI : 10.1109/REAL.1998.739743
Distributed fault-tolerant real-time systems: the Mars approach, IEEE Micro, vol.9, issue.1, pp.25-40, 1989. ,
DOI : 10.1109/40.16792
AUTOSAR migration from existing automotive software, Proceedings of the 2008 Internationl Conference on Control, Automation and Systems, 2008. ,
Handbook of real-time and embedded systems, 2007. ,
Fixed priority scheduling of periodic task sets with arbitrary deadlines, [1990] Proceedings 11th Real-Time Systems Symposium, pp.201-209, 1990. ,
DOI : 10.1109/REAL.1990.128748
On the complexity of fixed-priority scheduling of periodic, real-time tasks. Performance Evaluation, pp.237-250, 1982. ,
PRESTO: Results from execution trace analysis, Joint Proceedings of Co-located Events at the 8th European Conference on Modelling Foundations and Applications, 2012. ,
Experiment on using model-based testing for automatic tests generation on a software radio protocol, Proceedings of the 9th International Workshop on Systems Testing and Validation, pp.79-84, 2012. ,
Low-power scheduling with DVFS for common RTOS on multicore platforms, Proceedings of the 3rd Workshop on Embedded Operating Systems, 2013. ,
DOI : 10.1145/2597457.2597461
Applying holistic schedulability tests to industrial systems: Experience and lessons learned A task model for TDMA communications, Proceedings of the 5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems Work in Progress, 2014. ,
Applicability of real-time schedulability analysis on a software radio protocol, Proceedings of the 2012 ACM conference on High integrity language technology, HILT '12, pp.81-94 ,
DOI : 10.1145/2402676.2402703
Extending schedulability tests of tree-shaped transactions for TDMA radio protocols, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA), 2014. ,
DOI : 10.1109/ETFA.2014.7005122
URL : https://hal.archives-ouvertes.fr/hal-01121229
Scheduling Analysis of TDMA-Constrained Tasks: Illustration with Software Radio Protocols, 2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS), 2014. ,
DOI : 10.1109/HPCC.2014.90
URL : https://hal.archives-ouvertes.fr/hal-01121232
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
Utilization Bounds for EDF Scheduling on Real-Time Multiprocessor Systems, Real-Time Systems, vol.28, issue.1, pp.39-68, 2004. ,
DOI : 10.1023/B:TIME.0000033378.56741.14
Toward Polychronous Analysis and Validation for Timed Software Architectures in AADL, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013, 2013. ,
DOI : 10.7873/DATE.2013.244
URL : https://hal.archives-ouvertes.fr/hal-00763379
MARTE to cheddar transformation using ATL, Thales Research & Technologies, 2007. ,
Faster response time analysis of tasks with offsets, Procedings of the 10th IEEE Real-Time Technology and Applications Symposium, 2004. ,
Tighter response time analysis of tasks with offsets, Proceedings of the 10th International Conference on Real-Time Computing and Applications, 2004. ,
Fast and tight response-times for tasks with ofsets, Proceedings of the 17th Euromicro Conference on Real-Time Systems, 2005. ,
Efficient implementation of tight response-times for tasks with offsets. Real-Time Systems, pp.77-116, 2008. ,
Response-time analysis for transactions with execution-time dependencies, Proceedings of the 19th International Conference on Real-Time Networks and Systems, 2011. ,
The timed-token protocol for real-time communications, Computer, vol.27, issue.1, pp.35-41, 1994. ,
DOI : 10.1109/2.248878
Timing analysis of mixedcriticality hard real-time applications implemented on distributed partitioned architectures, Proceedings of the 17th International Conference on Emerging Technologies & Factory Automation, 2012. ,
From composable design models to schedulability analysis with UML and the UML profile for MARTE, Proceedings of the 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, 2010. ,
DOI : 10.1145/1967021.1967030
A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000. ,
DOI : 10.1109/32.825767
URL : https://hal.archives-ouvertes.fr/hal-00444077
A Taxonomy of Model Transformation, Electronic Notes in Theoretical Computer Science, vol.152, pp.125-142, 2006. ,
DOI : 10.1016/j.entcs.2005.10.021
The software radio architecture, IEEE Communications Magazine, vol.33, issue.5, pp.26-38, 1995. ,
DOI : 10.1109/35.393001
A multiframe model for real-time tasks, IEEE Transactions on Software Engineering, vol.23, issue.10, pp.635-645, 1997. ,
DOI : 10.1109/32.637146
Implementation of holistic response-time analysis in rubus-ICE: preliminary findings, issues and experiences, Proc. 32nd IEEE Real-Time Syst. Symp., WIP Session, 2011. ,
Utilization bounds for n-processor rate monotone scheduling with static priority assignment. Real-Time Systems, pp.183-192, 1998. ,
Specification 2.4.1, OMG, 2011. ,
Papyrus website ,
Schedulability analysis for tasks with static and dynamic offsets, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279), 1998. ,
DOI : 10.1109/REAL.1998.739728
Exploiting precedence relations in the schedulability analysis of distributed real-time systems, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054), pp.328-339, 1999. ,
DOI : 10.1109/REAL.1999.818860
Offset-based response time analysis of distributed systems scheduled under EDF, 15th Euromicro Conference on Real-Time Systems, 2003. Proceedings., 2003. ,
DOI : 10.1109/EMRTS.2003.1212721
A new sufficient feasibility test for asynchronous real-time periodic task sets, Proceedings of the 16th Euromicro Conference on Real-Time Systems, 2004. ,
Feasibility analysis of real-time periodic tasks with offsets. Real- Time Systems, pp.105-128, 2005. ,
Petri Net Theory and the Modeling of Systems, 1981. ,
Refactoring of an ada 95 library with a meta CASE tool, ACM SIGAda Ada Letters, vol.26, issue.3, pp.61-70, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00502354
PRESTO: Improvements of industrial real-time embedded systems design and development, OMG Workshop on Real-Time, Embedded and Entreprise-Scale Time-Critical Systems, 2012. ,
MADES: A SysML/MARTE high level methodology for real-time and embedded systems, Proceedings of the 10th Embedded Realtime Software and Systems Conference, 2012. ,
On Integrating EAST-ADL and UPPAAL for Embedded System Architecture Verification, Embedded Systems Development, vol.20, pp.85-99, 2014. ,
DOI : 10.1007/978-1-4614-3879-3_5
Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF [117] R. Rajkumar. Real-time synchronization protocols for shared memory multiprocessors, Proceedings of the 10th International Conference on Distributed Computing Systems, 1990. ,
Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets, 2009 IEEE/IFIP International Symposium on Rapid System Prototyping, 2009. ,
DOI : 10.1109/RSP.2009.30
URL : https://hal.archives-ouvertes.fr/hal-01294399
Fault-tolerant broadcasts in CAN, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224), 1998. ,
DOI : 10.1109/FTCS.1998.689464
Unified Modeling Language Reference Manual, 2004. ,
Guest Editor's Introduction: Model-Driven Engineering, Computer, vol.39, issue.2, pp.25-31, 2006. ,
DOI : 10.1109/MC.2006.58
Evaluating architectures for multithreaded object request brokers, Communications of the ACM, vol.41, issue.10, pp.54-60, 1998. ,
DOI : 10.1145/286238.286248
Model transformation: the heart and soul of model-driven software development, IEEE Software, vol.20, issue.5, pp.42-45, 2003. ,
DOI : 10.1109/MS.2003.1231150
Real time scheduling theory: A historical perspective. Real-Time Systems, pp.101-155, 2004. ,
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
Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar, Proceedings of the 12th International Conference on Reliable Software Technologies, 2007. ,
DOI : 10.1007/978-3-540-73230-3_14
URL : https://hal.archives-ouvertes.fr/hal-00502360
Investigating the usability of real-time scheduling theory with the cheddar project. Real-Time Systems, pp.259-295, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00502357
Modelio website ,
Rational Software Architect website ,
Schedulability analysis of AADL models, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium, 2006. ,
DOI : 10.1109/IPDPS.2006.1639421
Aperiodic task scheduling for Hard-Real-Time systems, Real-time Systems, vol.20, issue.1, pp.27-60, 1989. ,
DOI : 10.1007/BF02341920
Analysis of deadline scheduled real-time systems, INRIA Rocquencourt, 1996. ,
URL : https://hal.archives-ouvertes.fr/inria-00073920
Misconceptions about real-time computing: a serious problem for next-generation systems, Computer, vol.21, issue.10, pp.10-19, 1988. ,
DOI : 10.1109/2.7053
The Digraph Real-Time Task Model, 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011. ,
DOI : 10.1109/RTAS.2011.15
The deferrable server algorithm for enhanced aperiodic responsiveness in hard real-time environments, IEEE Transactions on Computers, vol.44, issue.1, pp.73-91, 1995. ,
DOI : 10.1109/12.368008
Schedulability of generalized multiframe task sets under static priority assignment, Proceedings Fourth International Workshop on Real-Time Computing Systems and Applications, pp.80-86, 1997. ,
DOI : 10.1109/RTCSA.1997.629177
Modern Operating Systems, 2007. ,
On schedulability analysis of non-cyclic generalized multiframe tasks, Proceedings of the 2010 22nd Euromicro Conference on Real-Time Systems, pp.271-278, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00552101
Calculating controller area network (can) message response times, Control Engineering Practice, vol.3, issue.8, pp.1163-1169, 1995. ,
DOI : 10.1016/0967-0661(95)00112-8
Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming, pp.117-134, 1994. ,
MetaEdit+, Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, OOPSLA '09, 2009. ,
DOI : 10.1145/1639950.1640031
STORM a simulation tool for real-time multiprocessor scheduling evaluation, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010), pp.1-8, 2010. ,
DOI : 10.1109/ETFA.2010.5641179
URL : https://hal.archives-ouvertes.fr/hal-00495747
CORBA: integrating diverse applications within distributed heterogeneous environments, IEEE Communications Magazine, vol.35, issue.2, pp.46-55, 1997. ,
DOI : 10.1109/35.565655
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.145.6098
Optimal TDMA time slot and cycle length allocation for hard real-time systems, Proceedings of the 11th Asia and South Pacific Design Automation Conference, 2006. ,
An overview of the CORBA component model, Comopnent-Based Software Engineering: Putting the Pieces Together, 2001. ,
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
On satisfying timing constraints in hard-real-time systems, IEEE Transactions on Software Engineering, vol.19, issue.1, pp.70-84, 1993. ,
DOI : 10.1109/32.210308
Model-based Framework for Using Advanced Scheduling Theory in Real-Time Systems Design Ecole Nationale Sup'erieure de M'ecanique et d'A'erotechnique, 2013. ,
OSI Reference Model--The ISO Model of Architecture for Open Systems Interconnection, IEEE Transactions on Communications, vol.28, issue.4, pp.425-432, 1980. ,
DOI : 10.1109/TCOM.1980.1094702