Last edited by Kacage
Saturday, July 25, 2020 | History

3 edition of Formal specification of a flight guidance system found in the catalog.

Formal specification of a flight guidance system

Formal specification of a flight guidance system

under contract NAS1-20335

  • 372 Want to read
  • 24 Currently reading

Published by National Aeronautics and Space Administration, Langley Research Center, National Technical Information Service, distributor in Hampton, Va, [Springfield, Va .
Written in English

    Subjects:
  • Flight control.,
  • Control theory.,
  • Aircraft control.,
  • Functional design specifications.

  • Edition Notes

    StatementFrancis Fung and Damir Jamsek.
    Series[NASA contractor report] -- NASA/CR-1998-206915., NASA contractor report -- NASA CR-206915.
    ContributionsJamsek, Damir., Langley Research Center.
    The Physical Object
    FormatMicroform
    Pagination1 v.
    ID Numbers
    Open LibraryOL15543609M

    Book Description. Written for those pursuing a career in aircraft engineering or a related aerospace engineering discipline, Aircraft Flight Instruments and Guidance Systems covers the state-of-the-art avionic equipment, sensors, processors and displays for commercial air transport and general aviation aircraft. As part of a Routledge series of textbooks for aircraft-engineering students and. We have developed a formal, executable model of the requirements for portions of the vertical navigation (VNAV) function of a flight management system and have conducted a software safety analysis on the model. In particular, we have performed a functional hazard assessment in order to identify the potentially hazardous conditions associated with the VNAV function.

    The Flight Guidance System A Flight Guidance System (FGS) is a compo- nent of the overall Flight Control System (FCS). It compares the measured state of an aircraft (position, speed, and altitude) to the desired state and gener- ates pitch and roll guidance commands to minimize the difference between the measured and desired Size: KB. This paper provides an introduction to applying formal methods to modeling and simulation problems at reasonable cost. Two approaches are discussed. First, lightweight formal methods combine simplified specification approaches with automated analysis, making it possible to analyze requirements and designs early in the development cycle. Second, by hiding the complexity of the formal models and.

    The utility of the SCR tools in detecting specification errors, many involving safety properties, has been demonstrated recently in projects involving practical systems, such as the International Space Station, a flight guidance system, and a U.S. weapons system. A guidance system is a virtual or physical device, or a group of devices implementing a guidance process used for controlling the movement of a ship, aircraft, missile, rocket, satellite, or any other moving ce is the process of calculating the changes in position, velocity, attitude, and/or rotation rates of a moving object required to follow a certain trajectory and/or attitude.


Share this book
You might also like
Who runs Washington?

Who runs Washington?

Josiah, the maimed fugitive

Josiah, the maimed fugitive

Secret Desires of a Gentleman

Secret Desires of a Gentleman

GroupWise

GroupWise

Europe in the twentieth century

Europe in the twentieth century

Food investigation

Food investigation

Library standards, a subject bibliography with emphasis on law library standards

Library standards, a subject bibliography with emphasis on law library standards

Pay, training and trade union activity among young adults in Britain

Pay, training and trade union activity among young adults in Britain

Contributions from the herbarium of the Geological Survey of Canada

Contributions from the herbarium of the Geological Survey of Canada

Proceedings, 20eth Geophysical Simposium, Budapest-Szentendre, 15-19, 9. 1975

Proceedings, 20eth Geophysical Simposium, Budapest-Szentendre, 15-19, 9. 1975

Cours moderne.

Cours moderne.

Narratives of learning and teaching EFL

Narratives of learning and teaching EFL

The Woozies go visiting

The Woozies go visiting

weeds of South Africa

weeds of South Africa

Factors affecting retention of literacy among neoliterates

Factors affecting retention of literacy among neoliterates

Formal specification of a flight guidance system Download PDF EPUB FB2

Get this from a library. Formal specification of a flight guidance system: under contract NAS [Francis Fung; Damir Jamsek; Langley Research Center.].

This document contains a formal specification for the mode logic of a Flight Guidance System (FGS) and a discussion of issues raised by writing the formal specification. A flight guidance system is an example of life-critical code; this project aims to demonstrate the effectiveness of formal methods in the requirements analysis and design of life-critical systems.

The Flight Guidance System A Flight Guidance System (FGS) is a compo-nent of the overall Flight Control System (FCS). It compares the measured state of an aircraft (position, speed, and altitude) to the desired state and gener-ates pitch and roll guidance commands to minimize the difference between the measured and desired state.

This document contains a formal specification for the mode logic of a Flight Guidance System (FGS) and a discussion of issues raised by writing the formal specification.

A flight guidance system is an example of life-critical code; this project aims to demonstrate the effectiveness of formal methods in the requirements analysis and design of life-critical : Francis Fung and Damir Jamsek.

A Flight Guidance System (FGS) is a component of the overall Flight Control System (FCS). It compares the measured state of an aircraft (position, speed, and attitude) to the desired state and generates pitch and roll guidance commands to minimize the. Miller, S. Specifying the mode logic of a flight guidance system in core and scr.

In Proceedings of the 2nd Workshop on Formal Methods in Software Practice. ACM, New York, NY, Google Scholar Digital Library; : MéryDominique, SinghNeeraj Kumar.

Abstract. The SCR (Software Cost Reduction) toolset contains tools for specifying, debugging, and verifying system and software requirements. The utility of the SCR tools in detecting specification errors, many involving safety properties, has been demonstrated recently in projects involving practical systems, such as the International Space Station, a flight guidance system, and a U.S Cited by: Automated Flight Control Chapter 4.

You will learn how the autopilot and the flight management system (FMS)/area navigation (RNAV) unit combine to the pilot for guidance as well. Most flight directors accept data input from the air data computer (ADC), Attitude Heading.

related to the effects of automatic flight control systems on the loads and dynamics of the airplane. Participation in the Working Group The Flight/Guidance System Harmonization Working Group is composed of experts having an interest in the assigned task.

A working group member need not be a representative of a member of the full committee. Software Safety Analysis of a Flight Guidance System Page i Software Safety Analysis of a Flight Guidance System Alan C.

Tribble, Steven P. Miller, and David L. Lempia {actribbl, spmiller, dllempia}@ Rockwell Collins, Inc., Collins Rd, NE Cedar Rapids, IA USA Abstract This document summarizes the safety analysis File Size: KB.

Mode Confusion Analysis of a Flight Guidance System Using Formal Methods. to search for potential sources of mode confusion in a representative specification of the mode logic of a Flight Guidance System.

We describe several representative patterns indicative of mode confusion, and show how automated tools can be used to systematically.

Guidance System • Honeywell VDGS LED design • Automatic and precise docking guidance • Ramp information shown during Turnaround process and A-CDM integration • Modular distribution to simplify maintenance • State-of-the-art LED panel • System-as-a-Service offering • A-VDGS is part or Honeywell’s complete Ground TrafficFile Size: KB.

The PVS formal specification language will be used to specify the system architecture, system requirements, high-level software and hardware requirements of the system components, and candidate low-level software and hardware requirements of the system by: Abstract.

Incomplete, ambiguous, and rapidly changing requirements can have a profound impact on the quality and cost of software development. This is particularly true of reactive systems, with complex mode transitions, such as the mode logic of a Flight Guidance System for a General Aviation Aircraft [1].Author: Gary Daugherty Rockwell Collins.

For operations to touchdown, the airplane and its automatic flight control guidance system (AFCGS), autoland system, or manually flown guidance system (HUD), are approved for approach and landing operations as specified by AC 2.

For manual control using a HUD to touchdown, the HUD must be flown in the AIII Approach mode. CiteSeerX - Document Details (Isaac Councill, Lee Giles, Pradeep Teregowda): Incomplete, ambiguous, and rapidly changing requirements can have a profound impact on the quality and cost of software development.

This is particularly true of reactive systems, with complex mode transitions, such as the mode logic of a Flight Guidance System for a General Aviation Aircraft [1]. their help in organizing the PVS specification of the Flight Guidance System, formally characterizing some of the potential sources of mode confusion, and completing the proofs.

The authors also thank the many engineers at Collins that have helped them in gaining a basic understanding of Flight Guidance. Abstract.

We report on our experience with using the PVS theorem prover as a verification tool for analyzing systems modelled in RSML − e – a synchronous dataflow language. RSML − e is a formal specification language particularly well-suited for specifying requirements of reactive systems.

We advocate a specification-centered approach to system development, in which various development Cited by: 8. The SCR (Software Cost Reduction) toolset contains tools for specifying, debugging, and verifying system and software requirements.

The utility of the SCR tools in detecting specification errors, many involving safety properties, has been demonstrated recently in projects involving practical systems, such as the International Space Station, a flight guidance system, and a U.S.

weapons system. A series of Flight Guidance Systems have been specified using a formal specification language RSML -e (Requirements State Machine Language without events) [25], validated using the visualization and simulation facility provided by the RSML -e execution Y.

Choi / Electronic Notes in Theoretical Computer Science () 61 mode logic Author: Yunja Choi. A series of Flight Guidance Systems have been specified using a formal specification language RSML -e (Requirements State Machine Language without .Flight Standards Service Guidance Document Development: FS_ Non-Required Safety Enhancing Equipment (NORSEE) Guidance: ,Vol.4,Ch14,Sec Equipment Relief without Passengers: PL Windshear Warning and flight Guidance System (RWS) Windshear Detection and Avoidance System (PWS) PL Autopilot Relief: PLModels of Autonomous Control Systems Software.

Formal Specification of a Flight Guidance System. Jan ; Formal Specification of a Flight Guidance System. NASA/CR .