Sciweavers

1164 search results - page 136 / 233
» Case Studies in Event-Driven Control
Sort
View
ACSD
2006
IEEE
90views Hardware» more  ACSD 2006»
15 years 8 months ago
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...
Nicolas Halbwachs, Louis Mandel
CRYPTO
2004
Springer
97views Cryptology» more  CRYPTO 2004»
15 years 8 months ago
Efficient Tree-Based Revocation in Groups of Low-State Devices
Abstract. We study the problem of broadcasting confidential information to a collection of n devices while providing the ability to revoke an arbitrary subset of those devices (and...
Michael T. Goodrich, Jonathan Z. Sun, Roberto Tama...
DSN
2004
IEEE
15 years 8 months ago
Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques
Abstract-We present a new form of quantitative safety analysis safety optimization. This method is a combination of fault tree analysis(FTA) and mathematical optimization technique...
Frank Ortmeier, Wolfgang Reif
DSN
2004
IEEE
15 years 8 months ago
Improving System Dependability with Functional Alternatives
We present the concept of alternative functionality for improving dependability in distributed embedded systems. Alternative functionality is a mechanism that complements traditio...
Charles P. Shelton, Philip Koopman
FPL
2006
Springer
103views Hardware» more  FPL 2006»
15 years 8 months ago
A System Design Methodology for Reducing System Integration Time and Facilitating Modular Design Verification
This paper provides a realistic case study of using the previously introduced SIMPPL system architectural model, which fixes the physical interface and communication protocols bet...
Lesley Shannon, Blair Fort, Samir Parikh, Arun Pat...