Download or read book Validation of Guidance Control Software Requirements Specification for Reliability and Fault tolerance written by Hye Yeon Kim and published by . This book was released on 2002 with total page 216 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Component Based Software Quality written by Alejandra Cechich and published by Springer Science & Business Media. This book was released on 2003-06-26 with total page 414 pages. Available in PDF, EPUB and Kindle. Book excerpt: Component-based software development, CBSD, is no longer just one more new paradigm in software engineering, but is effectively used in development and practice. So far, however, most of the efforts from the software engineering community have concentrated on the functional aspects of CBSD, leaving aside the treatment of the quality issues and extra-functional properties of software components and component-based systems. This book is the first one focusing on quality issues of components and component-based systems. The 16 revised chapters presented were carefully reviewed and selected for inclusion in the book; together with an introductory survey, they give a coherent and competent survey of the state of the art in the area. The book is organized in topical parts on COTS selection, testing and certification, software component quality models, formal models to quality assessment, and CBSD management.
Download or read book Proceedings written by Institute of Electrical and Electronics Engineers and published by . This book was released on 2002 with total page 686 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Computer Safety Reliability and Security written by Erwin Schoitsch and published by Springer Science & Business Media. This book was released on 2010-09-03 with total page 498 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 29th International Conference on Computer Safety, Reliability, and Security held in Vienna, Austria in September 2010.
Download or read book Scientific and Technical Aerospace Reports written by and published by . This book was released on 1995 with total page 702 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Fault Tolerant Considerations and Methods for Guidance and Control Systems written by Marc J. Pelegrin and published by . This book was released on 1987 with total page 136 pages. Available in PDF, EPUB and Kindle. Book excerpt: This document presents a description of recent trends and developments in analysis and design methods for fault tolerant guidance and control systems architectures. The problems and issues associated with these architectures, including both hardware and software aspects, are addressed exploring the many developments underway in NATO in the following areas: Advances in fault tolerant architectures; Advances in analytical fault-detection methods; Design considerations and methods; Analysis and testing methods. Keywords: High integrity software; Fault tolerance; Fault avoidance software; Software dependability; Fault diagnostic; Error recovery; Dissimilar redundancy. Contents: Computing Systems Dependability and Fault Tolerance: Basic Concepts and Terminology; The Application of Emulation Techniques in the Analysis of Highly Reliable Guidance and Control Computer Systems; Some Approaches to the Design of High Integrity Software; Robust Control System Design; Reliability Modeling of Fault Tolerant Computer Based Systems; Isaure: Integration of Security and Fault Tolerance in the Realite 2000 System; Optimal Detection of Sensor Failures in Flight Control Systems Using Deterministic Observers; Assessment of Software Quality for the Airbus A 310 Automatic Pilot; and Flight Test of a Resident Backup Software System.
Download or read book Validating Requirements for Fault Tolerant Systems Using Model Checking written by National Aeronautics and Space Adm Nasa and published by Independently Published. This book was released on 2019-01-03 with total page 30 pages. Available in PDF, EPUB and Kindle. Book excerpt: Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here shows that by judiciously abstracting away extraneous complexity, the state space of the model could be exhaustively searched allowing critical functional requirements to be validated down to the design level. Abstracting away detail not germane to the problem of interest leaves by definition a partial specification behind. The success of this procedure shows that it is feasible to effectively validate a partial specification with this technique. Three anomalies were found in the system one of which is an error in the detailed requirements, and the other two are missing/ambiguous requirements. Because the method allows validation of partial specifications, it also is an effective methodology towards maintaining fidelity between a co-evolving specification and an implementation. Schneider, Francis and Easterbrook, Steve M. and Callahan, John R. and Holzmann, Gerard J. Ames Research Center; Jet Propulsion Laboratory NASA/CR-1997-207043, NASA-IVV-97-014, WVU-IVV-97-014, WVU-CS-TR-97-016, NAS 1.26:207043 NCC2-979...
Download or read book Guidelines for Safe Automation of Chemical Processes written by CCPS (Center for Chemical Process Safety) and published by John Wiley & Sons. This book was released on 2017-01-06 with total page 645 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides designers and operators of chemical process facilities with a general philosophy and approach to safe automation, including independent layers of safety. An expanded edition, this book includes a revision of original concepts as well as chapters that address new topics such as use of wireless automation and Safety Instrumented Systems. This book also provides an extensive bibliography to related publications and topic-specific information.
Download or read book NASA Reports Required by Congress written by United States. Congress. House. Committee on Science, Space, and Technology. Subcommittee on Space Science and Applications and published by . This book was released on 1990 with total page 924 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book AGARD Advisory Report written by North Atlantic Treaty Organization. Advisory Group for Aerospace Research and Development and published by . This book was released on 1990 with total page 206 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book NASA Technical Memorandum written by and published by . This book was released on 1990 with total page 236 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book NASA REPORTS REQUIRED BY CONGRESS 1990 REPORT PREPARED BY THE SUBCOMMITTEE ON SPACE TRANSMITTED TO THE COMMITTEE ON SCIENCE AND TECHNOLOGY written by and published by . This book was released on 1991 with total page 928 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book NASA Reports Required by Congress written by United States. Congress. House. Committee on Science, Space, and Technology. Subcommittee on Space and published by . This book was released on 1991 with total page 932 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Safety of Computer Control Systems 1992 SAFECOMP 92 written by H.H. Frey and published by Elsevier. This book was released on 2014-05-23 with total page 332 pages. Available in PDF, EPUB and Kindle. Book excerpt: SAFECOMP '92 advances the state-of-the-art, reviews experiences of the past years, considers the guidance now available and identifies the skills, methods, tools and techniques required for the safety of computer control systems.
Download or read book NASA SP written by and published by . This book was released on 1992 with total page 654 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Research and Technology Objectives and Plans Summary written by and published by . This book was released on with total page 244 pages. Available in PDF, EPUB and Kindle. Book excerpt: "A compilation of the summary portions of each of the RTOPs used for management review and control of research currently in progress throughout NASA"--P. i.
Download or read book Management written by and published by . This book was released on 1991 with total page 206 pages. Available in PDF, EPUB and Kindle. Book excerpt:
