Emulating soft real-time scheduling using traditional operating system schedulers, Proceedings Real-Time Systems Symposium REAL-94, pp.292-298, 1994. ,
DOI : 10.1109/REAL.1994.342704
An event stream driven approximation for the analysis of real-time systems, Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004., pp.187-195, 2004. ,
DOI : 10.1109/EMRTS.2004.1311020
Timed automata, International Conference on Computer Aided Verification, pp.8-22, 1999. ,
TIMES: A??Tool for Schedulability Analysis and Code Generation of Real-Time Systems, International Conference on Formal Modeling and Analysis of Timed Systems, pp.60-72, 2003. ,
DOI : 10.1007/978-3-540-40903-8_6
Generalized multiframe tasks. Real-Time Systems, pp.5-22, 1999. ,
Response-Time Analysis for Mixed Criticality Systems, 2011 IEEE 32nd Real-Time Systems Symposium, pp.34-43, 2011. ,
DOI : 10.1109/RTSS.2011.12
Weakly hard real-time systems, IEEE Transactions on Computers, vol.50, issue.4, pp.308-321, 2001. ,
DOI : 10.1109/12.919277
Statistical and exact schedulability analysis of hierarchical scheduling systems, Science of Computer Programming, vol.127, 2016. ,
DOI : 10.1016/j.scico.2016.05.008
Towards a more practical model for mixed criticality systems, Workshop on Mixed-Criticality Systems, p.2013 ,
Developing critical embedded systems on multicore architectures: the Prelude- SchedMCore toolset, 19th International Conference on Real-Time and Network Systems, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00618587
Model-based framework for schedulability analysis using UPPAAL 4.1. Model-based design for embedded systems, pp.93-119, 2009. ,
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
ARTISST: an extensible and modular simulation tool for real-time systems, Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISIRC 2002, pp.365-372, 2002. ,
DOI : 10.1109/ISORC.2002.1003788
Compositional performance analysis in python with pyCPA, Proc. of WATERS, 2012. ,
Task automata: Schedulability , decidability and undecidability. Information and Computation, pp.1149-1172, 2007. ,
Mast: Modeling and analysis suite for real time applications, Real-Time Systems, 13th Euromicro Conference on, pp.125-134, 2001. ,
System level performance analysis-the SymTA/S approach, IEE Proceedings-Computers and Digital Techniques, pp.148-166, 2005. ,
Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997. ,
DOI : 10.1007/s100090050010
Schedulability Analysis Using Uppaal: Herschel-Planck Case Study, International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, pp.175-190, 2010. ,
DOI : 10.1007/978-3-642-16561-0_21
On schedulability analysis of non-cyclic generalized multiframe tasks, 22nd Euromicro Conference on Real-Time Systems, pp.271-278, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00552101
Modeling and analysis of real-time embedded systems, 2011. ,
Real time scheduling theory: A historical perspective. Real-time systems, pp.101-155, 2004. ,
Formal Verification of Lunar Rover Control Software Using UPPAAL, International Symposium on Formal Methods, pp.718-732, 2014. ,
DOI : 10.1007/978-3-319-06410-9_48
Cheddar: a flexible real time scheduling framework, ACM SIGAda Ada Letters, pp.1-8, 2004. ,