Sciweavers

845 search results - page 4 / 169
» Reliable operating modes for distributed embedded systems
Sort
View
IROS
2007
IEEE
124views Robotics» more  IROS 2007»
14 years 1 months ago
Design of an automated transportation system in a seaport container terminal for the reliability of operating robots
— For the design of an automated transportation system in an actual seaport container terminal, it is necessary to take into consideration the maintenance of operating robots (AG...
Satoshi Hoshino, Jun Ota
ASAP
2004
IEEE
171views Hardware» more  ASAP 2004»
13 years 11 months ago
CHARMED: A Multi-Objective Co-Synthesis Framework for Multi-Mode Embedded Systems
In this paper, we present a modular co-synthesis framework called CHARMED that solves the problem of hardware-software co-synthesis of periodic, multi-mode, distributed, embedded ...
Vida Kianzad, Shuvra S. Bhattacharyya
IPPS
2002
IEEE
14 years 9 days ago
Failure Behavior Analysis for Reliable Distributed Embedded Systems
Failure behavior analysis is a very important phase in developing large distributed embedded systems with weak safety requirements which do graceful degradation in case of failure...
Mario Trapp, Bernd Schürmann, Torsten Tettero...
CDC
2008
IEEE
200views Control Systems» more  CDC 2008»
14 years 1 months ago
Maximum-likelihood Kalman filtering for switching discrete-time linear systems
— State estimation is addressed for a class of discrete-time systems that may switch among different modes taken from a finite set. The system and measurement equations of each ...
Angelo Alessandri, Marco Baglietto, Giorgio Battis...
ASPLOS
2004
ACM
14 years 25 days ago
HOIST: a system for automatically deriving static analyzers for embedded systems
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
John Regehr, Alastair Reid