Sciweavers

JSA
2010
101views more  JSA 2010»
13 years 10 months ago
Experimental evaluation of slack management in real-time control systems: Coordinated vs. self-triggered approach
Effective slack management, i.e. management of unused computing resources, for real-time control tasks mandates to redistribute the available resources between controllers as a f...
Manel Velasco, Pau Martí, Josep M. Fuertes,...
ECRTS
2008
IEEE
13 years 11 months ago
ORTEGA: An Efficient and Flexible Software Fault Tolerance Architecture for Real-Time Control Systems
Fault tolerance is an important aspect in real-time computing. In real-time control systems, tasks could be faulty due to various reasons. Faulty tasks may compromise the performa...
Xue Liu, Hui Ding, Kihwal Lee, Qixin Wang, Lui Sha
FDL
2004
IEEE
14 years 3 months ago
Predictability in Real-time System Development (1) Semantics Support from Development Languages
With the increasing complexity of real-time control systems, it is important to have sufficient predictability support for a development approach in order to promote the likelihoo...
Jinfeng Huang, Jeroen Voeten, Andre Ventevogel
RTCSA
1999
IEEE
14 years 3 months ago
A Matlab Toolbox for Real-Time and Control Systems Co-Design
The paper presents a Matlab toolbox for simulation of real-time control systems. The basic idea is to simulate a real-time kernel in parallel with continuous plant dynamics. The t...
Johan Eker, Anton Cervin
EMSOFT
2001
Springer
14 years 4 months ago
Some Synchronization Issues When Designing Embedded Systems from Components
Abstract This paper is sort of a confession. Issues of synchrony, asynchrony, and synchronization, arise frequently in designing embedded systems from components, like everyone I k...
Albert Benveniste
ECRTS
2002
IEEE
14 years 4 months ago
Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis
Real-time control systems are complex to design, and automation support is important. We are interested in systems with multiple tasks, each with multiple modes, implementing a fu...
Hervé Marchand, Éric Rutten
DATE
2005
IEEE
131views Hardware» more  DATE 2005»
14 years 5 months ago
Unified Modeling of Complex Real-Time Control Systems
Complex real-time control system is a software dense and algorithms dense system, which needs modern software engineering techniques to design. UML is an object-oriented industria...
He Hai, Zhong Yi-fang, Cai Chi-lan
DAC
2008
ACM
15 years 16 days ago
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts
End-to-end latency of messages is an important design parameter that needs to be within specified bounds for the correct functioning of distributed real-time control systems. In t...
Swarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. R...