Sentence examples for dependability mechanisms from inspiring English sources

This paper compares the principles of operation, the services, the dependability mechanisms and the system level properties of distributed real-time systems that are based on the Controller Area Network (CAN) protocol and the Time-Triggered protocol (TTP).

The objective of SERENITY is to enhance the security and dependability of ambient intelligence systems by providing a framework supporting the automated integration, configuration, monitoring and adaptation of security and dependability mechanisms.

Cognitive maps are traditionally used to elicit and represent such knowledge; however they seem incapable of accurately representing complex causal mechanisms in dependability engineering.

This is the key for reliable cooperation, for the sake of global system dependability that rests on mechanisms such as error detection, recovery, and prevention (by anticipation and regulation).

The gal at the reception kiosk smiled with mechanical dependability.

The rigorous semantics that characterize such formalism enable to provide formal verification mechanisms ensuring determinism and dependability.

Emphasize dependable behaviors, for "dependability" is a trait that includes timeliness, good quality and good service.

When architecting dependable systems, in addition to improving system dependability by means of construction (fault-tolerant and redundant mechanisms, for instance), it is also important to evaluate, and thereby confirm, system dependability.

CMG contains a new set of symbols elicited from domain experts to capture the recurring interaction mechanisms between multiple concepts in software dependability engineering.

In order to deal with these limitations and provide privacy in the tuple space model, this paper proposes some extensions to DepSpace, a tuple space system that implements dependability and security properties through a set of mechanisms that are not enough to ensure privacy.

This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool2 to support the dependability analysis of computer systems early in the design process.