Sciweavers

6796 search results - page 392 / 1360
» Java for Embedded Systems
Sort
View
143
Voted
RTAS
2010
IEEE
15 years 2 months ago
Towards the Design of Certifiable Mixed-criticality Systems
Many safety-critical embedded systems are subject to certification requirements; some systems may be required to meet multiple sets of certification requirements, from different c...
Sanjoy K. Baruah, Haohan Li, Leen Stougie
PDCAT
2004
Springer
15 years 10 months ago
State Machine Based Operating System Architecture for Wireless Sensor Networks
A wireless sensor network is characterized as a massively distributed and deeply embedded system. Such a system requires concurrent and asynchronous event handling as a distributed...
Tae-Hyung Kim, Seongsoo Hong
CASES
2005
ACM
15 years 6 months ago
Energy aware kernel for hard real-time systems
Embedded systems often have severe power and energy constraints. Dynamic voltage scaling (DVS) is a mechanism by which energy consumption may be reduced. In this paper, we impleme...
A. Goel, C. Mani Krishna, Israel Koren
ERSA
2006
282views Hardware» more  ERSA 2006»
15 years 6 months ago
SyCERS: a SystemC Design Exploration Framework for SoC Reconfigurable Architecture
Reconfigurable devices, such as FPGAs, introduce into the design workflow of embedded systems a new degree of freedom: the designer can have the system autonomously modify the fun...
Carlo Amicucci, Fabrizio Ferrandi, Marco D. Santam...
ECBS
2010
IEEE
224views Hardware» more  ECBS 2010»
15 years 11 months ago
Timed Automata Model for Component-Based Real-Time Systems
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
Georgiana Macariu, Vladimir Cretu