18,735 Hits in 9.2 sec

Schedulability of probabilistic mixed-criticality systems

Stefan Draskovic, Rehan Ahmed, Pengcheng Huang, Lothar Thiele
2021 Real-time systems  
A recent trend suggests designing this kind of systems by jointly scheduling tasks of different criticality levels on a shared platform.  ...  In this paper, we analyze a system with probabilistic execution times, and propose metrics that are inspired by safety standards.  ...  Real-Time Systems 1 3 Analysis of mixed-criticality systems with stochastic task execution times In this section, we determine the ( HI , LO , deg )-schedulability of a mixed-critical task set Π as defined  ... 
doi:10.1007/s11241-021-09365-4 fatcat:uxvyopb2f5gwxeu5vjocw2jti4

Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks

A. Jalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2014 2014 Theoretical Aspects of Software Engineering Conference  
We present the concept of degree of schedulability for mixed-criticality scheduling systems.  ...  We determine the degree of schedulability of a single scheduling component which can contain both periodic and sporadic tasks using statistical model checking in the form of UPPAAL SMC.  ...  For mixed-criticality systems in can be of special importance to know how the quality of service is degraded for the soft-real time parts if they are provided with less resources than needed.  ... 
doi:10.1109/tase.2014.27 dblp:conf/tase/BoudjadarDKLMNS14 fatcat:g2ehz7edp5ezlpivdlph3pjkly

Probabilistic analysis for mixed criticality systems using fixed priority preemptive scheduling

Dorin Maxim, Robert I. Davis, Liliana Cucu-Grosjean, Arvind Easwaran
2017 Proceedings of the 25th International Conference on Real-Time Networks and Systems - RTNS '17  
is paper introduces probabilistic analysis for xed priority preemptive scheduling of mixed criticality systems on a uniprocessor using the Adaptive Mixed Criticality (AMC) and Static Mixed Criticality  ...  A preliminary version [26] of the research described in this paper was published in the Workshop on Mixed Criticality Systems (WMC) in 2016.  ...  , the FR BGLE funded Departs project, the FR LEOC Capacites project, the FR FUI Waruna project, the ESPRC grant MCCps (EP/P003664/1), the Inria International Chair program, and the Singapore Ministry of  ... 
doi:10.1145/3139258.3139276 dblp:conf/rtns/MaximDCE17 fatcat:d7sht3f6y5hh3fuhsztiqtfvqu

Probabilistic schedulability analysis for fixed priority mixed criticality real-time systems

Yasmina Abdeddaim, Dorin Maxim
2017 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017  
The first work dealing with real-time scheduling for mixed criticality systems is that of Vestal [2] .  ...  INTRODUCTION In this paper we propose a probabilistic analysis for Mixed Criticality Real-Time Systems (MCRTS).  ... 
doi:10.23919/date.2017.7927056 dblp:conf/date/AbdeddaimM17 fatcat:oh4zspbpgvbsle7rzabx3gdynu

High Assurance for Distributed Cyber Physical Systems

Scott A. Hissam, Sagar Chaki, Gabriel A. Moreno
2015 Proceedings of the 2015 European Conference on Software Architecture Workshops - ECSAW '15  
de Niz, D.; Lakshmanan, K.; Rajkumar, R., "On the Scheduling of Mixed-Criticality Real-Time Task Sets," Real-Time Systems Symposium, 2009, RTSS 2009. 30th IEEE, vol., no., pp.291-300, Dec. 2009. int loc_X  ...  Challenges: • Mixed-Criticality Scheduling under I/O • End-to-end Mixed-Criticality Scheduling Functional Verification • Technique to ensure the behavior of a distributed application that satisfies  ... 
doi:10.1145/2797433.2797439 dblp:conf/ecsa/HissamCM15 fatcat:rsdc5rja4vgsban2gwxqrs7z7a

Probabilistic Approaches for Time Critical Embedded Systems

Liliana Cucu-Grosjean
2015 International Workshop on Verification and Evaluation of Computer and Communication Systems  
A possible solution to decrease the pessimism while designing time critical embedded systems is to enrich existing models with appropriate probabilistic descriptions. time critical embedded systems, probabilistic  ...  During the last twenty years different design solutions have been proposed for time critical embedded systems through pessimistic estimation of performances of the processors (thus increased costs) while  ...  Here the transition between states may be the first to be described probabilistically. • Probabilistic approaches for real-time scheduling analysis for mixed criticality systems. • Probabilistic approaches  ... 
dblp:conf/vecos/Cucu-Grosjean15 fatcat:avxb3qgxkrc7zed7qgoypbows4

Mixed Criticality on Multicore / Manycore Platforms (Dagstuhl Seminar 17131)

Liliana Cucu-Grosjean, Robert Davis, Sanjoy K. Baruah, Zoë Stephenson, Marc Herbstritt
2017 Dagstuhl Reports  
The seminar brought together researchers working on mixed criticality real-time applications, industrialists from the aerospace, railway, and automotive industries, and experts in certification.  ...  This report provides an overview of the discussions, the program and the outcomes of the second Dagstuhl Seminar on Mixed Criticality on Multicore/Manycore Platforms.  ...  In the context of real-time systems -and in particular in the context of mixed-criticality real-time systems, which distinguish themselves by consisting of complex mixes of workloads with diverse timing  ... 
doi:10.4230/dagrep.7.3.70 dblp:journals/dagstuhl-reports/Cucu-GrosjeanDB17 fatcat:yfevcj3azre6rdce5dcdsacnz4

EDF Schedulability Analysis on Mixed-Criticality Systems with Permitted Failure Probability

Zhishan Guo, Luca Santinelli, Kecheng Yang
2015 2015 IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications  
Experimental analyses show our new model and algorithm out-perform current state-of-the-art mixed-criticality scheduling algorithms. Mixed-Criticality Systems.  ...  Many safety critical real-time systems are considered certified when they meet failure probability requirements with respect to the maximum permitted incidences of failure per hour.  ...  a mixed-critical partitioned system.  ... 
doi:10.1109/rtcsa.2015.8 dblp:conf/rtcsa/GuoSY15 fatcat:kilppnooxfcz3jp7tmvbeioa7e

Beyond the Traditional Analyses and Resource Management in Real-Time Systems [chapter]

Federico Reghenzani
2022 SpringerBriefs in Applied Sciences and Technology  
Critical embedded systems require the tasks of hard real-time applications to meet their deadlines, and formal proofs on the validity of this condition are usually required by certification authorities  ...  AbstractThe difficulties in estimating the Worst-Case Execution Time (WCET) of applications make the use of modern computing architectures limited in real-time systems.  ...  Mixed-Criticality Mixed-Criticality Systems are systems providing a mix of critical functions not all at the same criticality level.  ... 
doi:10.1007/978-3-030-85918-3_6 fatcat:fzgxrcnbd5a57hbe2kmzpjcr4m

Task-Level Probabilistic Scheduling Guarantees for Dependable Real-Time Systems - A Designer Centric Approach

Huseyin Aysan, Radu Dobrin, Sasikumar Punnekkat
2011 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops  
Dependable real-time systems typically consist of tasks of mixed-criticality levels with associated fault tolerance (FT) requirements and scheduling them in a fault-tolerant manner to efficiently satisfy  ...  We propose a method which allows the system designer to specify task-level reliability requirements and provides a priori probabilistic scheduling guarantees for real-time tasks with mixed-criticality  ...  The authors would like to thank Antonio Bondavalli for fruitful discussions on "dependability requirements specification" that formed the basis of this work.  ... 
doi:10.1109/isorcw.2011.34 dblp:conf/isorc/AysanDP11 fatcat:hdytminbtng7rfnibdon64mmoq

A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time Systems

Robert I. Davis, Liliana Cucu-Grosjean
2018 Leibniz Transactions on Embedded Systems  
This survey covers schedulability analysis techniques for probabilistic real-time systems.  ...  It provides a taxonomy of the different methods used, and a classification of existing research.  ...  Probabilistic Analysis of Mixed Criticality Systems The term Mixed Criticality System (MCS) is used to describe real-time systems where applications with different criticality levels (meaning different  ... 
doi:10.4230/lites-v006-i001-a004 dblp:journals/lites/DavisC19a fatcat:j2d4o5jnlncizilzu6jwp5jxaq

Table of contents

2018 2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES)  
Systems by Self-determined Virtual Machine Replication Boguslaw Jablkowski, Michael Mueller and Olaf Spinczyk Session 4: Scheduling, Response Time A SimEvents Model for the Analysis of Scheduling and  ...  Session on Mixed-Criticality Cetratus: Towards a live patching supported runtime for mixed-criticality safe and secure systems Imanol Mugarza, Jorge Parra and Eduardo Jacob 178 190 199 207  ... 
doi:10.1109/sies.2018.8442111 fatcat:iuh6svosirduzb2vpp7r3usiym

ODRE Workshop: Probabilistic Dynamic Hard Real-Time Scheduling in HPC [article]

Florian Hofer and Martin A. Sehr and Alberto Sangiovanni-Vincentelli and Barbara Russo
2020 arXiv   pre-print
Through first experimental results, we confirm the viability and analyzed the behavior of resource shared systems with strict real-time requirements.  ...  Through it, we can fully realize the potential for highly distributed and transferable industrial processes even with real-time constraints arising from time-critical sub-processes.  ...  Mixed criticality applications prepare environments for shared execution of tasks with different priorities, enabling us to exploit this variety to bridge peak demands for hard real-time tasks.  ... 
arXiv:1912.02531v4 fatcat:ud6wfihjqnfyjkzlfomqjxzdhm

A survey of hard real-time scheduling for multiprocessor systems

Robert I. Davis, Alan Burns
2011 ACM Computing Surveys  
This is particularly important in the case of mixed-criticality systems where the tasks running on other processors may be of lower criticality.  ...  systems in the aerospace, space, and automotive markets are beginning to make use of multicore processors for hard real-time applications.  ...  This is particularly important in the case of mixed-criticality systems where the tasks running on other processors may be of lower criticality.  ... 
doi:10.1145/1978802.1978814 fatcat:uumyvp23cneobisbkpaogfogci

Reducing Dynamic Power Consumption in Mixed-Critical Real-Time Systems

Ijaz Ali, Yong-Il Jo, Seonah Lee, Wan Yeon Lee, Kyong Hoon Kim
2020 Applied Sciences  
In this paper, we study energy minimization consumption of a mixed criticality real-time system on uni-core.  ...  In this paper, we provide new dynamic energy minimization consumption in mixed-criticality real-time systems. Recent research has been done on low-criticality mode for power reduction.  ...  In addition, we will further analyze the probability of high-criticality mode in many applications and apply it to the proposed work.  ... 
doi:10.3390/app10207256 fatcat:y25766vjrfgkplnmcxkig5cjwa
« Previous Showing results 1 — 15 out of 18,735 results