scholarly journals Challenges for real-time systems engineering. Part 1: State of the art

2005 ◽  
Vol 11 (1) ◽  
pp. 3
Author(s):  
M Meriste ◽  
L Motus ◽  
R A Vingerhoeds
Keyword(s):  
Real Time ◽  
Systems Engineering ◽  
State Of The Art ◽  
Real Time Systems ◽  
Time Systems

scholarly journals Proceedings of the Real-Time Systems Engineering Workshop

2001 ◽  
Author(s):  
B. C. Meyers ◽  
Peter H. Feiler ◽  
Ted Marz
Keyword(s):  
Real Time ◽  
Systems Engineering ◽  
Real Time Systems ◽  
The Real ◽  
Time Systems

Reconfiguration of Synchronous Real-Time Operating System

2013 ◽  
Vol 2 (1) ◽  
pp. 114-132 ◽  
Author(s):  
Hamza Gharsellaoui ◽  
Mohamed Khalgui ◽  
Samir Ben Ahmed
Keyword(s):  
Real Time ◽  
Systems Engineering ◽  
Scheduling Algorithm ◽  
User Requirements ◽  
Real Time Systems ◽  
Real Time Scheduling ◽  
Temporal Properties ◽  
Time Scheduling ◽  
Run Time ◽  
Time Systems

Real-time scheduling is the theoretical basis of real-time systems engineering. Earliest Deadline first (EDF) is an optimal scheduling algorithm for uniprocessor real-time systems. The paper deals with Reconfigurable Uniprocessor embedded Real-Time Systems classically implemented by different OS tasks that the authors suppose independent, synchronous and periodic to meet functional and temporal properties described in user requirements. They define two forms of automatic reconfigurations which are applied at run-time: Addition-Remove of tasks or just modifications of their temporal parameters: WCET and/or Periods. The authors define a new semantic of the reconfiguration where a crucial criterion to consider is the automatic improvement of the system’s feasibility at run-time by using an Intelligent Agent that automatically checks the system’s feasibility after any reconfiguration scenario to verify if all tasks meet the required deadlines. To handle all possible reconfiguration solutions, the authors propose an agent-based architecture that applies automatic reconfigurations to re-obtain the system’s feasibility and satisfy user requirements. Therefore, they developed the tool RT-Reconfiguration to support these contributions that they apply on the running example system and the authors apply the Real-Time Simulator, Cheddar to check the whole system behavior and evaluate the performance of the algorithm. They present simulations of this architecture where the agent that implemented is evaluated.

A Hierarchical Hybrid Locking Protocol for Parallel Real-Time Tasks

2021 ◽  
Vol 20 (5s) ◽  
pp. 1-22
Author(s):  
Zewei Chen ◽  
Hang Lei ◽  
Maolin Yang ◽  
Yong Liao ◽  
Lei Qiao
Keyword(s):  
Real Time ◽  
State Of The Art ◽  
Linear Optimization ◽  
Optimization Technique ◽  
Mutual Exclusion ◽  
Complete Analysis ◽  
Task Parallelism ◽  
Real Time Systems ◽  
Locking Protocol ◽  
Time Systems

Parallel tasks have been paid growing attention in recent years, and the scheduling with shared resources is of significant importance to real-time systems. As an efficient mechanism to provide mutual exclusion for parallel processing, spin-locks are ubiquitous in multi-processor real-time systems. However, the spin-locks suffer the scalability problem, and the intra-task parallelism further exacerbates the analytical pessimism. To overcome such deficiencies, we propose a Hierarchical Hybrid Locking Protocol (H2LP) under federated scheduling. The proposed H2LP integrates the classical Multiprocessor Stack Resource Policy (MSRP) and uses a token mechanism to reduce global contentions. We provide a complete analysis framework supporting both heavy and light tasks under federated scheduling and develop a blocking analysis with the state-of-the-art linear optimization technique. Empirical evaluations showed that the H2LP outperformed the other state-of-the-art locking protocols in at least configurations when considering exclusive clustering. Furthermore, our partitioned approach for light tasks can substantially improve schedulability by mitigating the over-provisioning problem.

SPECIFICATION OF REAL-TIME SYSTEMS

1993 ◽  
Vol 03 (02) ◽  
pp. 267-285
Author(s):  
L.M. PATNAIK ◽  
R. MALL
Keyword(s):  
Real Time ◽  
State Of The Art ◽  
Difficult Problem ◽  
Real Time Systems ◽  
Emerging Trends ◽  
Time Systems ◽  
Specification Techniques ◽  
Formal Techniques ◽  
Made In

Inspite of numerous research advancements made in recent years in the area of formal techniques, specification of real-time systems is still proving to be a very challenging and difficult problem. In this context, this paper critically examines state-of-the-art specification techniques for real-time systems and analyzes the emerging trends.

Sign in / Sign up

Export Citation Format

Share Document