Sciweavers

RTCSA
2006
IEEE
14 years 6 months ago
Systematic Security and Timeliness Tradeoffs in Real-Time Embedded Systems
Real-time embedded systems are increasingly being networked. In distributed real-time embedded applications, e.g., electric grid management and command and control applications, i...
Kyoung-Don Kang, Sang Hyuk Son
RTCSA
2006
IEEE
14 years 6 months ago
Automatic Generation and Validation of Models of Legacy Software
The modeling approach is not used to its full potential in maintenance of legacy systems. Often, models do not even exist. The main reasons being that the economic implications an...
Joel Huselius, Johan Andersson, Hans Hansson, Sasi...
RTCSA
2006
IEEE
14 years 6 months ago
Towards an Analysis of Garbage Collection Techniques for Embedded Real-Time Java Systems
From a real-time perspective, the Garbage Collector (GC) introduces unpredictable pauses that are not tolerated by real-time tasks. Real-time collectors eliminate this problem but...
M. Teresa Higuera-Toledano
RTCSA
2006
IEEE
14 years 6 months ago
A Software Infrastructure for Wearable Sensor Networks
In ubiquitous computing environments, contextawareness is one of the most important research topics. Computers embedded in our surrounding can extract information about a user, an...
Kensuke Hanaoka, Ayako Takagi, Tatsuo Nakajima
RTCSA
2006
IEEE
14 years 6 months ago
Hardware-Software Codesign of Multimedia Embedded Systems: the PeaCE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
Soonhoi Ha, Choonseung Lee, Youngmin Yi, Seongnam ...
RTCSA
2006
IEEE
14 years 6 months ago
Data Freshness and Overload Handling in Embedded Systems
In this paper we consider data freshness and overload handling in embedded systems. The requirements on data management and overload handling are derived from an engine control so...
Thomas Gustafsson, Jörgen Hansson
RTCSA
2006
IEEE
14 years 6 months ago
Strengthening Property Preservation in Concurrent Real-Time Systems
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk ...
RTCSA
2006
IEEE
14 years 6 months ago
Algorithms for Determining the Demand-Based Load of a Sporadic Task System
The load parameter of a sporadic task system is defined to be the largest possible cumulative execution requirement that can be generated by jobs of the task system over any time...
Nathan Fisher, Theodore P. Baker, Sanjoy K. Baruah
RTCSA
2006
IEEE
14 years 6 months ago
Computing the Minimum EDF Feasible Deadline in Periodic Systems
In most real-time applications, deadlines are artifices that need to be enforced to meet different performance requirements. For example, in periodic task sets, jitter requiremen...
Hoai Hoang, Giorgio C. Buttazzo, Magnus Jonsson, S...