Sciweavers

6796 search results - page 392 / 1360
» Java for Embedded Systems
Sort
View
RTAS
2010
IEEE
15 years 4 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
16 years 3 days 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 8 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 8 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»
16 years 1 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