Functional safety of electrical/electronic/programmable electronic safety-related systems, The International Electrotechnical Commission, 1998. ,
Heart of Gold: Making the Improbable Happen to Increase Confidence in MBPTA, 26th Euromicro Conference on Real-Time Systems, (ECRTS), 2014. ,
QoS guarantee using probabilistic deadlines, the 11th Euromicro Conference on Real-Time Systems (ECRTS'99), 1999. ,
Integrating Multimedia Applications in Hard Real-Time Systems, Proceedings of the 19 th IEEE Real-Time Systems Symposium, pp.4-13, 1998. ,
Adaptive Bandwidth Reservation for Multimedia Computing, RTCSA '99: Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications, p.70, 1999. ,
Hierarchical QoS Management for Time Sensitive Applications, RTAS '01: Proceedings of the Seventh Real-Time Technology and Applications Symposium (RTAS '01), p.63, 2001. ,
Resource Reservation in Dynamic Real-Time Systems, vol.27, pp.123-167, 2004. ,
Intractability Issues in Mixed-Criticality Scheduling, 21. Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, vol.11, pp.1-11, 2018. ,
A Risk-Constrained Markov Decision Process Approach to Scheduling Mixed-Criticality Job Sets, Workshop on Mixed Criticality Systems (WMC 2016), 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01403223
Risk-Aware Scheduling of Dual Criticality Job Systems Using Demand Distributions, LITES, vol.5, issue.1, 2018. ,
Static probabilistic timing analysis for real-time systems using random replacement caches. Real-Time Systems, vol.51, pp.77-123, 2015. ,
On priority assignment in fixed priority scheduling, Information Processing Letters, vol.79, issue.1, pp.39-44, 2001. ,
Applying New Scheduling Theory to Static Priority Pre-Emptive Scheduling, Software Engineering Journal, vol.8, pp.284-292, 1993. ,
Hard Real-Time Scheduling: The Deadline-Monotonic Approach, Proc. IEEE Workshop on Real-Time Operating Systems and Software, pp.133-137, 1991. ,
On-line failure prediction in safetycritical systems, Future Generation Computer Systems, vol.45, pp.123-132, 2015. ,
Fault-tolerant Platforms for Automotive Safety-critical Applications, Proceedings of the 2003 International Conference on Compilers, Architecture and Synthesis for Embedded Systems, CASES '03, pp.170-177, 2003. ,
Scheduling mixed-criticality systems to guarantee some service under all non-erroneous behaviors, Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016. ,
MC-Fluid: Simplified and Optimally Quantified, 2015 IEEE Real-Time Systems Symposium, pp.327-337, 2015. ,
Mixed criticality schedulability analysis is highly intractable, 2009. ,
A scheduling model inspired by control theory, Proceedings of the 6th International Real-Time Scheduling Open Problems Seminar, 2015. ,
Scheduling real-time mixedcriticality jobs, Proceedings of the 35th international conference on Mathematical foundations of computer science, MFCS, pp.90-101, 2010. ,
Preemptive Uniprocessor Scheduling of Mixed-Criticality Sporadic Task Systems, J. ACM, vol.62, issue.2, p.33, 2015. ,
Mixed-Criticality Scheduling of Sporadic Task Systems, Algorithms -ESA 2011 -19th Annual European Symposium, pp.555-566, 2011. ,
Response-Time Analysis for Mixed Criticality Systems, Proceedings of the 32nd IEEE Real-Time Systems Symposium, RTSS 2011, pp.34-43, 2011. ,
Scheduling Mixed-Criticality Systems to Guarantee Some Service under All Non-erroneous Behaviors, 28th Euromicro Conference on Real-Time Systems, pp.131-138, 2016. ,
Algorithms and Complexity Concerning the Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor, Real-Time System, pp.301-324, 1990. ,
Towards the Design of Certifiable Mixedcriticality Systems, IEEE Real-Time and Embedded Technology and Applications Symposium, 2010. ,
Preemptively Scheduling Hard-Real-Time Sporadic Tasks on One Processor, IEEE Real-Time Systems Symposium, pp.182-190, 1990. ,
Algorithms and Complexity Concerning the Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor. Real-Time Systems, vol.2, pp.301-324, 1990. ,
Schedulability Analysis of Periodic Fixed Priority Systems, IEEE Transactions on Computers, vol.53, issue.11, pp.1462-1473, 2004. ,
The Space of EDF Feasible Deadlines, 19th Euromicro Conference on Real-Time Systems, ECRTS'07, pp.19-28, 2007. ,
Sensitivity analysis for fixedpriority real-time systems, Real-Time Systems, vol.39, issue.1-3, 2008. ,
A robust high-performance time partitioning algorithm: the digital engine operating system (DEOS) approach, 20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219), 1, pages 1B6/1-1B6/12, vol.1, 2001. ,
Fuzzy statistics: hypothesis testing, Soft Comput, vol.9, issue.7, pp.512-518, 2005. ,
Mixed-criticality systems: A Review, 2017. ,
Adaptive rate control through elastic scheduling, Proceedings of the 39th IEEE Conference on, vol.5, pp.4883-4888, 2000. ,
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, 1998. ,
A General Framework for Analysing System Properties in Platform-Based Embedded System Designs, DATE, pp.190-195, 2003. ,
An Adaptive Markov Model for the Timing Analysis of Probabilistic Caches, ACM Trans. Design Autom. Electr. Syst, vol.23, issue.1, 2017. ,
On the Quality of Service of Failure Detectors, IEEE Trans. Comput, vol.51, issue.5, pp.561-580, 2002. ,
, Control Algorithms for Coordinated Resource-Level and Application-Level Adaptation v2, 2008.
Independence -a misunderstood property of and for (probabilistic) real-time systems, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00920504
Axel Legay, Marius Miku?ionis, and Danny Bøgsted Poulsen. Uppaal SMC tutorial, International Journal on Software Tools for Technology Transfer, vol.17, issue.4, pp.397-415, 2015. ,
Response Time Upper Bounds for Fixed Priority Real-Time Systems, Proceedings of the 29th IEEE Real-Time Systems Symposium, RTSS, pp.407-418, 2008. ,
On the Meaning of pWCET Distributions and their use in Schedulability Analysis, Proceedings Real-Time Scheduling Open Problems Seminar at ECRTS, 2017. ,
On the Scheduling of Mixed-Criticality Real-Time Task Sets, Real-Time Systems Symposium, RTSS. 30th IEEE, pp.291-300, 2009. ,
Dynamic Reconfiguration in Reservation-Based Scheduling: An Optimization Approach, 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp.173-182, 2009. ,
Stochastic Analysis of Periodic Real-Time Systems, RTSS '02: Proceedings of the 23rd IEEE Real-Time Systems Symposium, p.289, 2002. ,
On the Safety of Mixed-Criticality Scheduling, WMC 2016, Proceedings of WMC 2016, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01438846
Demand-Based Scheduling of Mixed-Criticality Sporadic Tasks on One Processor, Proceedings of the IEEE 34th Real-Time Systems Symposium, RTSS 2013, pp.78-87, 2013. ,
Statistical Analysis of WCET for Scheduling, 22nd of the IEEE Real-Time Systems Symposium, 2001. ,
Bounding and shaping the demand of generalized mixedcriticality sporadic task systems, Real-Time Systems, vol.50, pp.48-86, 2014. ,
Modelling extremal events for insurance and finance. Applications of mathematics, 1997. ,
Mixed critical system design and analysis, Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, pp.247-248, 2012. ,
Mixed Criticality Systems -A History of Misconceptions?, IEEE Design & Test, vol.33, issue.5, pp.65-74, 2016. ,
A Model of Hierarchical Real-Time Virtual Resources, Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS 2002), pp.26-35, 2002. ,
Implementation and Evaluation of Mixedcriticality Scheduling Approaches for Sporadic Tasks, ACM Trans. Embedded Comput. Syst, vol.16, issue.3, 2017. ,
Changing Operational Modes in the Context of Pre Run-Time Scheduling (Special Issue on Responsive Computer Systems), IEICE transactions on information and systems, vol.76, issue.11, pp.1333-1340, 1993. ,
, Radio Technical Commission for Aeronautics. Software Considerations in Airborne Systems and Equipment Certification, 1994.
, Radio Technical Commission for Aeronautics. Software Considerations in Airborne Systems and Equipment Certification, 2011.
Resource Partitioning among Real-Time Applications, ECRTS'03, pp.151-158, 2003. ,
A Fuzzy Logic Approach to Test Statistical Hypothesis on Means, Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, 4th International Conference on Intelligent Computing, pp.316-325, 2008. ,
Analyzing stochastic fixed-priority real-time systems, the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), 1999. ,
ADFT: An Adaptive Framework for Fault Tolerance on Large Scale Systems using Application Malleability, Procedia Computer Science, vol.9, pp.166-175, 2012. ,
Characterization of the Space of Feasible Worst-Case Execution Times for Earliest-Deadline-First scheduling, Journal of Aerospace Computing, Information and Communication (JACIC), vol.6, issue.11, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00923378
Characterization of the Space of Feasible Worst-Case Execution Times for Earliest-Deadline-First Scheduling, JACIC, vol.6, issue.11, pp.604-623, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00923378
Mixed criticality systems with weakly-hard constraints, Proceedings of the 23rd International Conference on Real Time and Networks Systems, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01257067
Safety Assurance Driven Problem Formulation for Mixed-Criticality Scheduling, Proceedings of the Workshop on Mixed-Criticality Systems, pp.19-24, 2013. ,
Realistic Safety Cases for the Timing of Systems, Comput. J, vol.57, issue.5, pp.759-774, 2014. ,
Improving OCBP-based scheduling for mixed-criticality sporadic task systems, 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2013, pp.247-256, 2013. ,
An earlier time for inserting and/or accelerating tasks. Real-Time Systems, 2009. ,
Statistics of Extremes, 1958. ,
Mixed-criticality scheduling upon varying-speed multiprocessors, Dependable, Autonomic and Secure Computing (DASC), 12th International Conference on, pp.237-244, 2014. ,
The concurrent consideration of uncertainty in WCETs and processor speeds in mixed-criticality systems, Proceedings of the 23rd International Conference on Real Time and Networks Systems (RTNS), pp.247-256, 2015. ,
Sustainability in Mixed-Criticality Scheduling, 2017 IEEE Real-Time Systems Symposium, pp.24-33, 2017. ,
Exploring fault types, detection activities, and failure severity in an evolving safety-critical software system, Software Quality Journal, vol.23, issue.2, pp.229-265, 2015. ,
Statistical-based WCET estimation and validation, the 9th International Workshop on Worst-Case Execution Time, 2009. ,
Quantized EDF scheduling in a stochastic enviroment, the 16th IEEE International Parallel and Distributed Processing Symposium (IPDPS'02), 2002. ,
FRES-COR Delivarable D-AT2: Schedulability analysis techniques for distributed systems, 2009. ,
, International Conference on Real-Time Networks and Systems (RTNS), 2013.
, Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems
Road vehicles -Functional safety, 2011. ,
A basic stochastic network calculus, SIGCOMM Comput. Commun. Rev, vol.36, issue.4, 2006. ,
A proposal of fuzzy test for statistical hypothesis, Systems, Man, and Cybernetics, vol.4, pp.2929-2934, 2000. ,
Run-Time Control to Increase Task Parallelism In Mixed-Critical Systems, 26th Euromicro Conference on Real-Time Systems, ECRTS 2014, pp.119-128, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01015476
Stochastic Model Checking, Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation SFM, 4486 of LNCS (Tutorial Volume), pp.220-270, 2007. ,
PRISM 4.0: Verification of Probabilistic Realtime Systems, Proc. 23rd International Conference on Computer Aided Verification CAV, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00648035
Adaptive Fault Management of Parallel Applications for High-Performance Computing, IEEE Trans. Comput, vol.57, issue.12, pp.1647-1660, 2008. ,
Network calculus: A Theory of Deterministic Queuing Systems for the Internet, 2001. ,
Conditions for the convergence in distribution of maxima of stationary normal processes, Stochastic Processes and their Applications, vol.8, pp.131-139, 1978. ,
On a basis for Peaks over Threshold modeling, Statistics & Probability Letters, vol.12, issue.4, pp.357-362, 1991. ,
Analysis of Cache-Related Preemption Delay in Fixed-Priority Preemptive Scheduling, IEEE Trans. Comput, vol.47, issue.6, pp.700-713, 1998. ,
Real-time queueing theory, the 17th IEEE Real-Time Systems Symposium (RTSS'96), 1996. ,
The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior, IEEE Real-Time Systems Symposium, pp.166-171, 1989. ,
Enhanced Aperiodic Responsiveness in Hard Real-Time Environments, Proceedings of the IEEE Real-Time System Symposium (RTSS 1987), 1997. ,
Real-Time Queueing Theory, 10th of the IEEE Real-Time Systems Symposium (RTSS), 1996. ,
The rate monotonic sheduling algorithm: exact characterization and average case bahavior, Proceedings of the IEEE Real-Time Systems Symposium, 1989. ,
Static Probabilistic Timing Analysis for Multi-path Programs, 2015 IEEE Real-Time Systems Symposium, RTSS 2015, pp.361-372, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01231729
On the complexity of fixed priority scheduling of periodic real-time tasks, Performance Evaluation, vol.2, issue.4, 1982. ,
Mixed-Criticality Federated Scheduling for Parallel Real-Time Tasks, 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp.1-12, 2016. ,
Extreme Value Theory for Estimating Task Execution Time Bounds: A Careful Look, 28th Euromicro Conference on Real-Time Systems, (ECRTS), 2016. ,
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, Journal of the ACM, vol.20, issue.1, pp.46-61, 1973. ,
EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees, Proceedings of the 37th IEEE Real-Time Systems Symposium, 2016. ,
Stochastic analysis of real-time systems under preemptive priority-driven scheduling. Real-Time Systems, vol.40, pp.180-207, 2008. ,
A statistical response-time analysis of real-time embedded systems, the 33rd IEEE Real-Time Systems Symposium (RTSS'12), 2012. ,
A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems, 2018. ,
Schedulability analysis of applications with stochastic task execution times, ACM Transactions on Embedded Computing Systems (TECS), vol.3, issue.4, pp.706-735, 2004. ,
Workload Characterization Model for Tasks with Variable Execution Demand, DATE '04: Proceedings of the conference on Design, automation and test in Europe, p.21040, 2004. ,
Response time analysis for fixed-priority tasks with multiple probabilistic parameters, the 34th IEEE Real-Time Systems Symposium (RTSS), 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00918566
Probabilistic analysis for mixed criticality systems using fixed priority preemptive scheduling, Proceedings of the 25th International Conference on Real-Time Networks and Systems, RTNS, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01614684
Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC, WMC 2016 -4th International Workshop on Mixed Criticality Systems, 2016. ,
Temporal protection in real-time operating systems, Real-Time Operating Systems and Software, 1994. RTOSS '94, Proceedings., 11th IEEE Workshop on, pp.79-83, 1994. ,
Modelling Probabilistic Cache Representativeness in the Presence of Arbitrary Access Patterns, 19th IEEE International Symposium on Real-Time Distributed Computing, pp.142-149, 2016. ,
Two Protocols for Scheduling Multimode Real-Time Systems upon Identical Multiprocessor Platforms, ECRTS '09: Proceedings of the 2009 21st Euromicro Conference on Real-Time Systems, pp.151-160, 2009. ,
, Markov Chains. Cambridge Series in Statistical and Probabilistic Mathematics, 1997.
Fault-tolerant and real-time scheduling for mixed-criticality systems, Real-Time Systems, vol.50, 2014. ,
Schedulability Analysis for Mode Changes in Flexible Real-Time Systems, ECRTS, pp.172-179, 1998. ,
Reliable Mode Changes in Real-Time Systems with Fixed Priority or EDF Scheduling, TIK Report, vol.292, 2008. ,
Compositional Analysis of Multi-mode Systems, ECRTS '10: Proceedings of the 2010 22nd Euromicro Conference on Real-Time Systems, pp.197-206, 2010. ,
Modélisation des comportements extrêmes en ingénierie. Theses, 2008. ,
Markov Decision Processes: Discrete Stochastic Dynamic Programming, 1994. ,
Using Randomized Caches in Probabilistic Real-Time Systems, 22nd Euromicro Conference on Real-Time Systems (ECRTS), pp.129-138, 2009. ,
MC-Fluid: rate assignment strategies, WMC workshop at RTSS, 2015. ,
Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal. Real-Time Systems, vol.26, pp.161-197, 2004. ,
Dynamic scheduling for networked control systems, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC, 2015. ,
, A REVIEW OF EXTREME VALUE THRESH-OLD ESTIMATION AND UNCERTAINTY QUANTIFICATION. REVSTAT-Statistical Journal, vol.10, issue.1, pp.33-60, 2012.
Mode change protocols for priority-driven preemptive scheduling, Real-Time Systems, vol.1, issue.3, pp.243-264, 1989. ,
Periodic Resource Model for Compositional Real-Time Guarantees, Proceedings of the 24 th Real-Time Systems Symposium, pp.2-13, 2003. ,
Periodic Resource Model for Compositional Real-Time Guarantees, RTSS '03: Proceedings of the 24th IEEE International Real-Time Systems Symposium, 2003. ,
Schedulability-driven performance analysis of multiple mode embedded real-time systems, DAC '00: Proceedings of the 37th Annual Design Automation Conference, pp.495-500, 2000. ,
Aperiodic Task Scheduling for Hard Real-Time Systems, Journal of Real-time Systems, 1989. ,
An introduction to probabilistic automata, Bulletin of the European Association for Theoretical Computer Science, pp.176-198, 2002. ,
Reliable Mode Changes in Real-Time Systems with Fixed Priority or EDF Scheduling, DATE, 2009. ,
Real-time calculus for scheduling hard realtime systems, ISCAS, 4, pp.101-104, 2000. ,
Real-Time Interfaces for Composing Real-Time Systems, EMSOFT, pp.34-43, 2006. ,
Probabilistic performance guarantee for real-time tasks with varying computation times, IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'95), 1995. ,
Probabilistic Performance Guarantee for Real-Time Tasks with Varying Computation Times, IEEE Real-Time and Embedded Technology and Applications Symposium, 1995. ,
Mode changes in priority pre-emptively scheduled systems, RTSS, pp.100-109, 1992. ,
Mode Change Protocols for Predictable Contract-Based Resource Management in Embedded Multimedia Systems. Embedded Software and Systems, Second International Conference on, vol.0, pp.221-230, 2009. ,
Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance, Proceedings of the 28th IEEE International Real-Time Systems Symposium, RTSS, pp.239-243, 2007. ,
Real-Time Calculus (RTC) Toolbox ,
Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study, 8th IEEE International Symposium on Industrial Embedded Systems, SIES, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00920538
The worst-case execution-time problem -overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems (TECS), vol.7, issue.3, pp.1-53, 2008. ,
Schedulability Analysis for the Abort-and-Restart (AR) Model, Proceedings of the 22Nd International Conference on Real-Time Networks and Systems (RTNS), 2014. ,
Stochastic Network Calculus Models under Max-Plus Algebra, Proceedings of the Global Communications Conference (GLOBECOM), pp.1-6, 2009. ,
An efficient simulation algorithm for cache of random replacement policy, the 7th IFIP international conference on Network and parallel computing (NPC2010), pp.144-154, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01054982
Optimal partitioning for quantized EDF scheduling, the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002. ,
Measurement-based probabilistic timing analysis for graphics processor units, Architecture of Computing Systems -ARCS 2016 -29th International Conference, pp.223-236, 2016. ,
WCET measurementbased and extreme value theory characterisation of CUDA kernels, 22nd International Conference on Real-Time Networks and Systems, RTNS '14, p.279, 2014. ,
Continuity for network calculus, 21st International Conference on Real-Time Networks and Systems, RTNS 2013, pp.235-244, 2013. ,
Adaptive mechanisms for component-based real-time systems, NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2015, pp.1-8, 2015. ,
Probabilistic deadline miss analysis of real-time systems using regenerative transient analysis, 22nd International Conference on Real-Time Networks and Systems, RTNS '14, p.299, 2014. ,
Proartis: Probabilistically analyzable real-time systems, ACM Trans. Embedded Comput. Syst, vol.12, issue.2s, p.94, 2013. ,
Static probabilistic timing analysis in presence of faults, 11th IEEE Symposium on Industrial Embedded Systems, SIES 2016, pp.149-158, 2016. ,
Baccarat: a dynamic real-time bandwidth allocationpolicy for ieee 802.15.4, Proceedings of IEEE Percom 2010, International Workshop on Sensor Networks and Systems for Pervasive Computing, 2010. ,
Measurement-based probabilistic timing analysis for multi-path programs, the 24th Euromicro Conference on Real-Time Systems ECRTS, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00765987
Architectural performance analysis of FPGA synthesized LEON processors, 2016 International Symposium on Rapid System Prototyping, pp.33-40, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01543282
Analysis of probabilistic cache related pre-emption delays, Proceedings of the 25th IEEE Euromicro Conference on Real-Time Systems (ECRTS'13), 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00920913
Open challenges for probabilistic measurement-based worst-case execution time, Embedded Systems Letters, vol.9, issue.3, pp.69-72, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01633802
Periodic state-machine aware realtime analysis, 20th IEEE Conference on Emerging Technologies & Factory Automation, ETFA 2015, pp.1-8, 2015. ,
Measurement-based real-time analysis of robotic software architectures, IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2016, pp.3306-3311, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01411373
On the reliability of the probabilistic worst-case execution time estimates, 8th European Congress on Embedded Real Time Software and Systems (ERTS), 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01289477
On the representativity of execution time measurements: Studying dependence and multi-mode tasks, 17th International Workshop on Worst-Case Execution Time Analysis, vol.3, pp.1-3, 2017. ,
Toward contention analysis for parallel executing real-time tasks, 18th International Workshop on Worst-Case Execution Time Analysis, vol.4, pp.1-4, 2018. ,
EDF schedulability analysis on mixed-criticality systems with permitted failure probability, 21th IEEE International Conference on Embedded and Real-Time Computing System and Applications, 2015. ,
Mixed-criticality scheduling with limited hi-criticality behaviors, Dependable Software Engineering. Theories, Tools, and Applications -4th International Symposium, SETTA 2018, pp.187-199, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-02003409
Adaptive dynamic power management for hard real-time systems, the 30th IEEE Real-Time Systems Symposium (RTSS), pp.23-32, 2009. ,
Periodic power management schemes for real-time event streams, the 48th IEEE Conf. on Decision and Control (CDC), pp.6224-6231, 2009. ,
Adaptive power management for real-time event streams, the 15th IEEE Conf. on Asia and South Pacific Design Automation Conference (ASP-DAC), pp.7-12, 2010. ,
Adaptive dynamic power management for hard real-time streams, Real-Time Systems Journal (submitted), 2010. ,
Periodic power management schemes for real-time event streams, EURASIP Journal on Embedded Systems, 2010. ,
Probabilistic bandwidth assignment in wireless sensor networks, Wireless Algorithms, Systems, and Applications -7th International Conference, vol.2012, pp.631-647, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00745184
Modeling uncertainties in safety-critical real-time systems: A probabilistic component-based analysis, 7th IEEE International Symposium on Industrial Embedded Systems, SIES 2012, pp.166-175, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00765989
EDF schedulability analysis for an extended timing definition language, Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, SIES 2014, pp.30-40, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01067909
Towards EDF schedulability analysis of an extended timing definition language, SIGBED Review, vol.11, issue.3, pp.44-49, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01082722
EDF schedulability test for the E-TDL timetriggered framework, 11th IEEE Symposium on Industrial Embedded Systems, SIES 2016, pp.73-82, 2016. ,
Optimal priority assignment algorithms for probabilistic real-time systems, the 19th International Conference on Real-Time and Networked Systems (RTNS'11), 2011. ,
Re-sampling for statistical timing analysis of real-time systems, the 20th International Conference on Real-Time and Network Systems (RTNS'12), 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00766045
Improved sampling for statistical timing analysis of real-time systems, Proceedings of the 4th Junior Researcher Workshop on Real-Time Computing, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00544651
Learning from probabilities: Dependences within real-time systems, the 8th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'13), 2013. ,
Analysis of fingerprints through a reactive agent, Systemics of Emergence: Research and Development, pp.93-104, 2006. ,
On the sustainability of the extreme value theory for WCET estimation, the 14th International Workshop on Worst-Case Execution Time Analysis (WCET'14), 2014. ,
Probabilistic component-based analysis for networks: invited paper, SIGBED Review, vol.13, issue.3, pp.65-72, 2016. ,
How effective is sensitivity analysis with probabilistic models, The 9th Real-Time Scheduling Open Problems Seminar at ECRTS, 2018. ,
Multi-moded resource reservation, IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2011. ,
Multi-moded resource reservations, 17th IEEE Real-Time and Embedded Technology and Applications Symposium, pp.37-46, 2011. ,
A component-based architecture for adaptive bandwidth allocation in wireless sensor networks, IEEE Symposium on Industrial Embedded Systems (SIES), 2010. ,
Toward probabilistic real-time calculus, 3rd CRTS) with the 31st IEEE Real-Time Systems Symposium, 2010. ,
A probabilistic calculus for probabilistic real-time systems, ACM Transactions on Embedded Computing Systems, vol.14, issue.3, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01244333
Schedulability analysis for mixed critical cyber physical systems, In IEEE Industrial Cyber-Physical Systems, ICPS, pp.297-303, 2018. ,
Probabilities and mixed-criticalities: the probabilistic c-space, 3rd International Workshop on Mixed Criticality Systems WMC at RTSS, 2016. ,
Revising measurement-based probabilistic timing analysis, 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, vol.2017, pp.199-208, 2017. ,
On the criticality of probabilistic worst-case execution time models, Dependable Software Engineering. Theories, Tools, and Applications -Third International Symposium, pp.59-74, 2017. ,
Fault-aware sensitivity analysis for probabilistic real-time systems, 2016 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, DFT 2016, pp.69-74, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01413104
Extending real-time calculus to hierarchical scheduling of real-time components, Proc. on 1st Workshop on Compositional Theory and Technology for Real-Time Embedded Systems CRTS'08, 2008. ,
Energy-aware packet and task co-scheduling for embedded systems, International Conference On Embedded Software (EMSOFT), 2010. ,
A component-based framework for modeling and analysing probabilistic real-time systems, 16th IEEE International Conference on Emerging Technologies and Factory Automation, 2011. ,
A sensitivity analysis for mixed criticality: Trading criticality with computational resource, the IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-02003728
Dynamic and adaptive allocation of applications on mpsoc platforms, Proceedings of the 15th Asia South Pacific Design Automation Conference, ASP-DAC 2010, pp.885-890, 2010. ,
Use of probabilities and formal methods to control system criticality levels, The 9th Real-Time Scheduling Open Problems Seminar at ECRTS, 2018. ,
Backlog estimation for suspended probabilistic tasks released synchronously, 10th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, 2017. ,
Rtprob -real time probabilsitic tool for probabilistic schedulability analysis using markov chain, International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), 2018. ,
Markov chain modeling of probabilistic real-time systems, The 8th Real-Time Scheduling Open Problems Seminar at ECRTS, 2017. ,
Mixed criticality probabilistic real-time systems analysis using discrete time markov chain, International Workshop on Mixed Criticality Systems (WMC), 2018. ,
Resource adaptations with servers for hard real-time systems, TIK Report, vol.292, 2010. ,
Resource adaptations with servers for hard real-time systems, International Conference On Embedded Software (EMSOFT), 2010. ,