Automated model analysis and test generation for flight guidance mode logic

R. D. Busser, Mark Blackburn, A. M. Nauman

Research output: Contribution to conferencePaper

1 Citation (Scopus)

Abstract

A test automation framework (TAF) model based verification approach to develop a mode control logic of a flight guidance system (FGS) was described. A conceptual process flow relating the TAF artifacts and tools was listed. SCR modeling tool was used to model the FGS specifications. SCR modeling represented system inputs as monitored variables, system outputs as controlled variables, and intermediate values as term variables. The TAF translator converted the SCR models into test specification models.

Original languageEnglish (US)
StatePublished - Jan 1 2001
Event20th Digital Avionics Systems Conference Proceedings - Daytona Beach, FL, United States
Duration: Oct 14 2001Oct 18 2001

Other

Other20th Digital Avionics Systems Conference Proceedings
CountryUnited States
CityDaytona Beach, FL
Period10/14/0110/18/01

Fingerprint

Thyristors
Automation
Specifications

All Science Journal Classification (ASJC) codes

  • Aerospace Engineering
  • Electrical and Electronic Engineering

Cite this

Busser, R. D., Blackburn, M., & Nauman, A. M. (2001). Automated model analysis and test generation for flight guidance mode logic. Paper presented at 20th Digital Avionics Systems Conference Proceedings, Daytona Beach, FL, United States.
Busser, R. D. ; Blackburn, Mark ; Nauman, A. M. / Automated model analysis and test generation for flight guidance mode logic. Paper presented at 20th Digital Avionics Systems Conference Proceedings, Daytona Beach, FL, United States.
@conference{f9f32561fc9747328ce5bf752b4fd858,
title = "Automated model analysis and test generation for flight guidance mode logic",
abstract = "A test automation framework (TAF) model based verification approach to develop a mode control logic of a flight guidance system (FGS) was described. A conceptual process flow relating the TAF artifacts and tools was listed. SCR modeling tool was used to model the FGS specifications. SCR modeling represented system inputs as monitored variables, system outputs as controlled variables, and intermediate values as term variables. The TAF translator converted the SCR models into test specification models.",
author = "Busser, {R. D.} and Mark Blackburn and Nauman, {A. M.}",
year = "2001",
month = "1",
day = "1",
language = "English (US)",
note = "20th Digital Avionics Systems Conference Proceedings ; Conference date: 14-10-2001 Through 18-10-2001",

}

Busser, RD, Blackburn, M & Nauman, AM 2001, 'Automated model analysis and test generation for flight guidance mode logic' Paper presented at 20th Digital Avionics Systems Conference Proceedings, Daytona Beach, FL, United States, 10/14/01 - 10/18/01, .

Automated model analysis and test generation for flight guidance mode logic. / Busser, R. D.; Blackburn, Mark; Nauman, A. M.

2001. Paper presented at 20th Digital Avionics Systems Conference Proceedings, Daytona Beach, FL, United States.

Research output: Contribution to conferencePaper

TY - CONF

T1 - Automated model analysis and test generation for flight guidance mode logic

AU - Busser, R. D.

AU - Blackburn, Mark

AU - Nauman, A. M.

PY - 2001/1/1

Y1 - 2001/1/1

N2 - A test automation framework (TAF) model based verification approach to develop a mode control logic of a flight guidance system (FGS) was described. A conceptual process flow relating the TAF artifacts and tools was listed. SCR modeling tool was used to model the FGS specifications. SCR modeling represented system inputs as monitored variables, system outputs as controlled variables, and intermediate values as term variables. The TAF translator converted the SCR models into test specification models.

AB - A test automation framework (TAF) model based verification approach to develop a mode control logic of a flight guidance system (FGS) was described. A conceptual process flow relating the TAF artifacts and tools was listed. SCR modeling tool was used to model the FGS specifications. SCR modeling represented system inputs as monitored variables, system outputs as controlled variables, and intermediate values as term variables. The TAF translator converted the SCR models into test specification models.

UR - http://www.scopus.com/inward/record.url?scp=0035170922&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0035170922&partnerID=8YFLogxK

M3 - Paper

ER -

Busser RD, Blackburn M, Nauman AM. Automated model analysis and test generation for flight guidance mode logic. 2001. Paper presented at 20th Digital Avionics Systems Conference Proceedings, Daytona Beach, FL, United States.