Validation Methods for Fault-Tolerant avionics and control systems, working group meeting 1

The proceedings of the first working group meeting on validation methods for fault tolerant computer design are presented. The state of the art in fault tolerant computer validation was examined in order to provide a framework for future discussions concerning research issues for the validation of fault tolerant avionics and flight control systems. The development of positions concerning critical aspects of the validation process are given

Exploring the Components of Dynamic Modeling Techniques

Upon defining the terms modeling and simulation, it becomes apparent that there is a wide variety of different models, using different techniques, appropriate for different levels of representation for any one system to be modeled. Selecting an appropriate conceptual modeling technique from those available is an open question for the practitioner. Existing methods for describing techniques do not capture enough information about the expressive potential of those techniques such that an appropriate selection decision can be made. A formal method to describe conceptual modeling techniques that captures enough about the technique to distinguish it from others is identified as a way to address this gap in the body of knowledge. Such a formal method is derived, and is given additional expressive strength in the special area of dynamic components of conceptual modeling techniques. Application of the formal method to actual conceptual modeling techniques is exhibited, and the capacity of the method to also identify the potential for extension of an existing method is also exhibited. Measures of merit, designed to evaluate the derived method, are tested and shown to be satisfied

Derivation of logic programs

Imperial Users onl