English
Related papers

Related papers: Execution time budget assignment for mixed critica…

200 papers

We study the single machine scheduling problem with the objective to minimize the total weight of late jobs. It is assumed that the processing times of jobs are not exactly known at the time when a complete schedule must be dispatched.…

Discrete Mathematics · Computer Science 2017-06-13 Maciej Drwal

Mixed-Criticality (MC) systems consolidate multiple functionalities with different criticalities onto a single hardware platform. Such systems improve the overall resource utilization while guaranteeing resources to critical tasks. In this…

Operating Systems · Computer Science 2020-03-13 Saravanan Ramanathan , Arvind Easwaran

Many safety-critical real-time systems operate under harsh environment and are subject to soft errors caused by transient or intermittent faults. It is critical and yet often very challenging to apply fault tolerance techniques in these…

Systems and Control · Electrical Eng. & Systems 2020-08-17 Hengyi Liang , Zhilu Wang , Ruochen Jiao , Qi Zhu

Different scheduling algorithms for mixed criticality systems have been recently proposed. The common denominator of these algorithms is to discard low critical tasks whenever high critical tasks are in lack of computation resources. This…

Operating Systems · Computer Science 2020-03-13 Jalil Boudjadar , Saravanan Ramanathan , Arvind Easwaran , Ulrik Nyman

As multicore hardware is becoming increasingly common in real-time systems, traditional scheduling techniques that assume a single worst-case execution time for a task are no longer adequate, since they ignore the impact of shared resources…

Operating Systems · Computer Science 2025-01-16 Robert Gifford , Abby Eisenklam , Georgiy A. Bondar , Yifan Cai , Tushar Sial , Linh Thi Xuan Phan , Abhishek Halder

The Logical Execution Time (LET) model has deterministic properties which dramatically reduce the complexity of analyzing temporal requirements of multi-rate cause-effect chains. The configuration (length and position) of task's…

Systems and Control · Electrical Eng. & Systems 2025-05-22 Luiz Maia , Gerhard Fohler

Energy efficient real-time task scheduling attracted a lot of attention in the past decade. Most of the time, deterministic execution lengths for tasks were considered, but this model fits less and less with the reality, especially with the…

Operating Systems · Computer Science 2008-09-09 Vandy Berten , Chi-Ju Chang , Tei-Wei Kuo

In the high performance computing (HPC) domain, performance variability is a major scalability issue for parallel computing applications with heavy synchronization and communication. In this paper, we present an experimental performance…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-11-10 Minyu Cui , Nikela Papadopoulou , Miquel Pericàs

The problem of scheduling with testing in the framework of explorable uncertainty models environments where some preliminary action can influence the duration of a task. In the model, each job has an unknown processing time that can be…

Data Structures and Algorithms · Computer Science 2021-08-20 Susanne Albers , Alexander Eckl

Mixed-criticality models are an emerging paradigm for the design of real-time systems because of their significantly improved resource efficiency. However, formal mixed-criticality models have traditionally been characterized by two…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-11-02 Gang Chen , Nan Guan , Di Liu , Qingqiang He , Kai Huang , Todor Stefanov , Wang Yi

This paper presents a schedule randomization algorithm that reduces the vulnerability of real-time systems to timing inference attacks which attempt to learn the timing of task execution. It utilizes run-time information readily available…

Cryptography and Security · Computer Science 2019-11-19 Man-Ki Yoon , Jung-Eun Kim , Richard Bradford , Zhong Shao

This paper considers an opportunistic scheduling problem over a renewal system. A controller observes a random event at the beginning of each renewal frame and then chooses an action in response to the event, which affects the duration of…

Optimization and Control · Mathematics 2019-06-10 Xiaohan Wei , Michael J. Neely

This paper presents a simulation approach to enhance the performance of heuristics for multi-project scheduling. Unlike other heuristics available in the literature that use only one priority criterion for resource allocation, this paper…

Portfolio Management · Quantitative Finance 2024-06-05 Pablo Alvarez-Campana , Felix Villafanez , Fernando Acebes , David Poza

Heterogeneous systems commonly adopt dynamic scheduling algorithms to improve resource utilization and enhance scheduling flexibility. However, such flexibility may introduce timing anomalies, wherein locally reduced execution times can…

Systems and Control · Electrical Eng. & Systems 2026-01-29 Yixuan Zhu , Yinkang Gao , Lei Gong , Binze Jiang , Xiaohang Gong , Zihan Wang , Cheng Tang , Wenqi Lou , Teng Wang , Chao Wang , Xi Li , Xuehai Zhou

Effective static analyses have been proposed which infer bounds on the number of resolutions or reductions. These have the advantage of being independent from the platform on which the programs are executed and have been shown to be useful…

Programming Languages · Computer Science 2007-05-23 Edison Mera , Pedro Lopez-Garcia , German Puebla , Manuel Carro , Manuel Hermenegildo

Scheduled batch jobs have been widely used on the asynchronous computing platforms to execute various enterprise applications, including the scheduled notifications and the candidate pre-computation for the modern recommender systems. It is…

Machine Learning · Computer Science 2022-12-06 Yang Liu , Juan Wang , Zhengxing Chen , Ian Fox , Imani Mufti , Jason Sukumaran , Baokun He , Xiling Sun , Feng Liang

This paper studies distributed continuous-time optimization for time-varying quadratic cost functions with uncertain parameters. We first propose a centralized adaptive optimization algorithm using partial information of the cost function.…

Systems and Control · Electrical Eng. & Systems 2024-07-30 Liangze Jiang , Zheng-Guang Wu , Lei Wang

In this paper, we focus on modelling the timing aspects of binary programs running on architectures featuring caches and pipelines. The objective is to obtain a timed automaton model to compute tight bounds for the worst-case execution time…

Formal Languages and Automata Theory · Computer Science 2015-11-16 Franck Cassez , Pablo González de Aledo Marugán

Job submissions of parallel applications to production supercomputer systems will have to be carefully tuned in terms of the job submission parameters to obtain minimum response times. In this work, we have developed an end-to-end resource…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-08-20 Swetha Hariharan , Prakash Murali , Abhishek Pasari , Sathish Vadhiyar

This research considers the ranking and selection with input uncertainty. The objective is to maximize the posterior probability of correctly selecting the best alternative under a fixed simulation budget, where each alternative is measured…

Optimization and Control · Mathematics 2023-05-15 Hui Xiao , Zhihong Wei