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
A gravitational task model with arbitrary anchor points for target sensitive real-time applications
Springer Science and Business Media LLC - Tập 43 Số 1 - Trang 93-115 - 2009
Raphael Guerra, Gerhard Fohler
Time-sensitive autonomous architectures
Springer Science and Business Media LLC - Tập 59 - Trang 568-608 - 2023
Donato Ferraro, Luca Palazzi, Federico Gavioli, Michele Guzzinati, Andrea Bernardi, Benjamin Rouxel, Paolo Burgio, Marco Solieri
Autonomous and software-defined vehicles (ASDVs) feature highly complex systems, coupling safety-critical and non-critical components such as infotainment. These systems require the highest connectivity, both inside the vehicle and with the outside world. An effective solution for network communication lies in Time-Sensitive Networking (TSN) which enables high-bandwidth and low-latency communicati...... hiện toàn bộ
Challenges in Design and Implementation of Middlewares for Real-Time Systems: Guest Editor's Introduction
Springer Science and Business Media LLC - Tập 20 - Trang 115-116 - 2001
Wei Zhao
Off-line mapping of multi-rate dependent task sets to many-core platforms
Springer Science and Business Media LLC - Tập 51 Số 5 - Trang 526-565 - 2015
Wolfgang Puffitsch, Éric Noulard, Claire Pagetti
Tổng số: 550   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10