Sentence examples for formal fault from inspiring English sources

Furthermore, the causal and structural properties of the bond graph model are used not only for system dynamics simulation but also to design Fault Detection and Isolation (FDI) algorithms (i.e. the generation of formal fault indicators) for online supervision of faults affecting sensors, actuators, physico-chemical components and phenomena.

The innovative interest in the presented paper is the use of obtained graphical non-linear behavioral model not only for simulation but for diagnosability analysis (Which faults can be detected and isolated before design) and formal fault indicators generation without need of calculation.

Software quality engineering comprises of several quality assurance activities such as testing, formal verification, inspection, fault tolerance, and software fault prediction.

This paper attempts to develop a DES based novel modeling framework for a multiprocessor system scheduled using an optimal semi-partitioned scheduler and provides a formal DES based fault diagnosis scheme to diagnose the presence of processor failures in the system.

Tilda Swinton, who is probably best known for her eccentric, staring-at-the-camera performance in "Orlando," makes Margaret a very organized and decisive woman, a little formal, scrupulous to a fault, and not always likable.

This article presents an architectural model to guide the formal specification of concurrent fault-tolerant systems.

If we don't close the fault line between formal and informal approaches to learning, then the inequities will prevail and we will fail many young people with musical talent.

Fault injection techniques which are applicable during the development cycle of a device are based on either software implementations, e.g. formal methods and simulations, or fault emulation environments in hardware.

This paper describes a methodology for accident assessment in the frame of a judicial procedure and provide the formal mathematical relations for the fault tree application to the case.

Views of the Unified Modeling Language have been adopted to perform informal or semi-formal analyses, while Stochastic Petri Nets, (Repairable) Fault Trees, Continuous Time Markov Chains and Bayesian Networks have been employed for formal and quantitative analyses.

A major result of this paper is a categorization of the sources of faults into a formal taxonomy that provides a starting point for future research into error-based approaches to improving software quality.