Titlebook: Rigorous Development of Complex Fault-Tolerant Systems; Michael Butler,Cliff B. Jones,Elena Troubitsyna Book 2006 Springer-Verlag Berlin H

PANT

F(I)MEA-Technique of Web Services Analysis and Dependability Ensuring the Web Services dependability analysis using standardized FMEA- (Failure Modes and Effects Analysis) technique and its proposed modification IMEA- (Intrusion Modes and Effects Analysis) technique. Obtained results of FMEA-technique application were used for determining the necessary means of error

antecedence

On Specification and Verification of Location-Based Fault Tolerant Mobile Systemsant aspects, could be captured using a formal semantics, which would then be suitable for analysis and verification. We propose a new formalism and middleware, called ., which provides a rich environment to test our approach. The approach itself aims at giving . a formal concurrency semantics in ter

拥挤前

admission

Separating Concerns in Requirements Analysis: An Example An alternative approach is to identify a collection of subproblems, each representing an aspect of the larger problem, and to describe each subproblem in isolation, deferring their composition to a later stage. This paper illustrates the approach by applying it to the requirements of the positionin

手榴弹

Rigorous Fault Tolerance Using Aspects and Formal Methodsmal methods of verification and analysis. After brief summaries on fault tolerance, aspect-oriented programming, and formal methods, some examples of aspects for fault tolerance are outlined. Then some recent research on applying formal methods to aspects is described, with the potential implication

Picks-Disease

FUSE

Limerick

伸展

FECK

Towards a Method for Rigorous Development of Generic Requirements Patternsethods. The need to develop a generic requirement set for subsequent system instantiation is complicated by the addition of the high levels of verification demanded by safety-critical domains such as avionics. Our chosen application domain is the failure detection and management function for engine