Springer Science and Business Media LLC

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
Feasibility of on-line speed policies in real-time systems
Springer Science and Business Media LLC - Tập 56 - Trang 254-292 - 2020
Bruno Gaujal, Alain Girault, Stéphan Plassart
We consider a real-time system where a single processor with variable speed executes an infinite sequence of sporadic and independent jobs. We assume that job sizes and relative deadlines are bounded by C and $$\varDelta $$ respectively. Furthermore, $$S_{\max }$$ denotes the maximal speed of the processor. In such a real-time system, a speed selection policy dynamically chooses (i.e., on-li...... hiện toàn bộ
Formal timing analysis for distributed real-time programs
Springer Science and Business Media LLC - Tập 7 - Trang 57-90 - 1994
Horst F. Wedde, Bogdan Korel, Dorota M. Huizinga
A static analysis method for verifying timing properties of real-time distributed programs is presented. The goal is to calculate the worst-case response time of concurrent tasks which run mainly independently but share, and may have to wait for, logical or physical devices. For such tasks, the determination of the worst-case waiting time is a crucial problem because of the unpredictable order of ...... hiện toàn bộ
Utilization Based Schedulability Bounds for Age Constraint Process Sets in Real-Time Systems
Springer Science and Business Media LLC - Tập 23 - Trang 273-295 - 2002
Lars Lundberg
Some real-time systems consist of a number of processes that operate under age constraints. In such systems, the maximum time from the start of process L i in cycle k to the end in cycle k+1 must not exceed the age constraint A i for that process. The age constraint can be met by using fixed priority scheduling and periods equal to A i/2. However, this approach restricts the number of process sets...... hiện toàn bộ
Multi-objective design exploration approach for Ravenscar real-time systems
Springer Science and Business Media LLC - Tập 54 - Trang 424-483 - 2018
Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Bechir Zalila, Mohamed Jmaiel
This article deals with the design exploration and verification of real-time critical systems. Assigning the functions to the tasks of the target real-time operating system is a part of the design process. Finding a suitable design involves many important design decisions that have a strong impact on the system quality criteria. However, with the increasing complexity and scale of today’s systems ...... hiện toàn bộ
On the compatibility of exact schedulability tests for global fixed priority pre-emptive scheduling with Audsley’s optimal priority assignment algorithm
Springer Science and Business Media LLC - Tập 52 - Trang 113-122 - 2015
Robert I. Davis, Marko Bertogna, Vincenzo Bonifaci
Audsley’s optimal priority assignment (OPA) algorithm can be applied to multiprocessor scheduling provided that three conditions hold with respect to the schedulability tests used. In this short paper, we prove that no exact test for global fixed priority pre-emptive scheduling of sporadic tasks can be compatible with Audsley’s algorithm, and hence the OPA algorithm cannot be used to obtain an opt...... hiện toàn bộ
Real-Time Database Systems in the New Millenium
Springer Science and Business Media LLC - Tập 19 - Trang 205-208 - 2000
Jayant R. Haritsa, Krithi Ramamritham
Depth-limited search for real-time problem solving
Springer Science and Business Media LLC - Tập 2 - Trang 7-24 - 1990
Richard E. Korf
We propose depth-limited heuristic search as a general paradigm for real-time problem solving in a dynamic environment. When combined with iterative-deepening, it provides the ability to commit to an action almost instantaneously, but allows the quality of that decision to improve as long as time is available. Once a deadline is reached, the best decision arrived at is executed. We illustrate the ...... hiện toàn bộ
Design and analyses of functional mode changes for mixed-criticality systems
Springer Science and Business Media LLC - Tập 59 - Trang 69-121 - 2022
Vijaya Kumar Sundar, Saravanan Ramanathan, Arvind Easwaran
In this paper, we propose a new model for mixed-criticality systems (MCS) that can adapt to system overload scenarios due to the occurrence of two known phenomena. First, budget overrun of tasks due to their imprecise budget estimations which is a common theme in most existing studies related to MCS. Second, a spike in the resource consumption pattern leads to a temporary system overload when task...... hiện toàn bộ
Performance debugging of Esterel specifications
Springer Science and Business Media LLC - Tập 48 - Trang 570-600 - 2012
Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty
Synchronous languages like Esterel have been widely adopted for designing reactive systems in safety-critical domains such as avionics. Specifications written in Esterel are based on the underlying “synchrony hypothesis”, which needs to be validated when Esterel specifications get compiled to real implementations (such as C code). In this work, we present a model-driven and architecture-aware timi...... hiện toàn bộ
Quantifying and suppressing the measurement disturbance in feedback controlled real-time systems
Springer Science and Business Media LLC - Tập 40 - Trang 44-76 - 2008
Mehdi Amirijoo, Jörgen Hansson, Svante Gunnarsson, Sang H. Son
In the control of continuous and physical systems, the controlled system is sampled sufficiently fast to capture the dynamics of the system. In general, this property cannot be applied to the control of computer systems as the measured variables are often computed over a data set, e.g., deadline miss ratio. In this paper we quantify the disturbance present in the measured variable as a function of...... hiện toàn bộ
Tổng số: 550   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10