Author: Ellis F. Hitt
Publisher:
ISBN:
Category :
Languages : en
Pages : 356
Get Book Here
Book Description
The purpose of this handbook is to identify techniques, methodologies, tools, and procedures in a systems context that may be applicable to aspects of the validation and certification of digital systems at specific times in the development and certification portion of the system life cycle. The application of these techniques in the development of discrete units and/or systems will result in a completion of a product or system which is verifiable and can be validated in the context of the existing regulations/orders for the government regulatory agencies. The handbook uses a systems engineering approach to the integration and testing of software and hardware during the design, development, and implementation phases. The handbook also recognizes and provides for the evaluation of the pilot's workload and utilization of the new control/display technologies, especially when crew recognition and intervention may be necessary to cope with/recover from the effects of faults or failures in the digital systems. In summary, the handbook: (1) Identifies and presents the issues related to design, development, and implementation of software based digital systems; (2) identifies specific approaches applicable to all aspects of the verification and validation procedures, at specific times in the development and certification portion of the system life cycle, (3) provides the government regulatory agencies (especially the Federal Aviation Administration (FAA) as well as the industry with a set of tools/procedures, in a systems engineering context which may be of value in the validation/certification process.
Author: Joan Janowitz
Publisher:
ISBN:
Category : Air traffic control
Languages : en
Pages : 20
Get Book Here
Book Description
Author: Edmund M. Clarke
Publisher: Springer
ISBN: 3319105752
Category : Computers
Languages : en
Pages : 1210
Get Book Here
Book Description
Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry. The editors and authors of this handbook are among the world's leading researchers in this domain, and the 32 contributed chapters present a thorough view of the origin, theory, and application of model checking. In particular, the editors classify the advances in this domain and the chapters of the handbook in terms of two recurrent themes that have driven much of the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that scale to real-life problems; and the modeling challenge, that is, extending the formalism beyond Kripke structures and temporal logic. The book will be valuable for researchers and graduate students engaged with the development of formal methods and verification tools.
Author: Craig Silverman
Publisher:
ISBN: 9781312023130
Category : Attribution of news
Languages : en
Pages : 120
Get Book Here
Book Description
Author: L. Harrison
Publisher:
ISBN:
Category : Air traffic control
Languages : en
Pages : 70
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 245
Get Book Here
Book Description
When digital technology is employed to perform some function aboard aircraft, the designer documents the technology and the applicant presents a package to the Certification Engineer (CE). Typically, the package might include design and test specifications, test plans, and test results for the system. This package assures the CE that the designer has properly developed and validated the system. Software Quality Metrics (SQM) may be used during the software (SW) development and testing. SQM technology attempts to quantify various quality-oriented factors, such as reliability and maintainability. The SW developer determines the quality factors that are important to the application. SW Metrics that correlate to these factors are used on the code to determine to what extent these factors have been reached. Based on the results, the developer determines whether the SW meets the requirements set for it and how well the SW will perform. This technical report documents the results of a study conducted to analyze SQM as they apply to the code contained in avionic equipment and systems. This report is intended to provide an in depth explanation of how SQM may be applied and interpreted. Software quality metrics, Software complexity metrics, Program level, Analysis, Data structure, Effectiveness metric, Structural complexity.
Author: Randall S. May
Publisher:
ISBN:
Category : Electric power-plants
Languages : en
Pages :
Get Book Here
Book Description
Author: Azad M. Madni
Publisher: Springer Nature
ISBN: 3030935825
Category : Technology & Engineering
Languages : en
Pages : 1362
Get Book Here
Book Description
This handbook brings together diverse domains and technical competences of Model Based Systems Engineering (MBSE) into a single, comprehensive publication. It is intended for researchers, practitioners, and students/educators who require a wide-ranging and authoritative reference on MBSE with a multidisciplinary, global perspective. It is also meant for those who want to develop a sound understanding of the practice of systems engineering and MBSE, and/or who wish to teach both introductory and advanced graduate courses in systems engineering. It is specifically focused on individuals who want to understand what MBSE is, the deficiencies in current practice that MBSE overcomes, where and how it has been successfully applied, its benefits and payoffs, and how it is being deployed in different industries and across multiple applications. MBSE engineering practitioners and educators with expertise in different domains have contributed chapters that address various uses of MBSE and related technologies such as simulation and digital twin in the systems lifecycle. The introductory chapter reviews the current state of practice, discusses the genesis of MBSE and makes the business case. Subsequent chapters present the role of ontologies and meta-models in capturing system interdependencies, reasoning about system behavior with design and operational constraints; the use of formal modeling in system (model) verification and validation; ontology-enabled integration of systems and system-of-systems; digital twin-enabled model-based testing; system model design synthesis; model-based tradespace exploration; design for reuse; human-system integration; and role of simulation and Internet-of-Things (IoT) within MBSE.
Author: Aristides Dasso
Publisher: IGI Global
ISBN: 1591408512
Category : Computers
Languages : en
Pages : 443
Get Book Here
Book Description
"This book explores different applications in V & V that spawn many areas of software development -including real time applications- where V & V techniques are required, providing in all cases examples of the applications"--Provided by publisher.
Author: Xiaofeng Wan
Publisher: Springer Science & Business Media
ISBN: 3642217478
Category : Technology & Engineering
Languages : en
Pages : 1005
Get Book Here
Book Description
This volume includes extended and revised versions of a set of selected papers from the International Conference on Electric and Electronics (EEIC 2011) , held on June 20-22 , 2011, which is jointly organized by Nanchang University, Springer, and IEEE IAS Nanchang Chapter. The objective of EEIC 2011 Volume 3 is to provide a major interdisciplinary forum for the presentation of new approaches from Electrical Power Systems and Computers, to foster integration of the latest developments in scientific research. 133 related topic papers were selected into this volume. All the papers were reviewed by 2 program committee members and selected by the volume editor Prof. Xiaofeng Wan. We hope every participant can have a good opportunity to exchange their research ideas and results and to discuss the state of the art in the areas of the Electrical Power Systems and Computers.
