NTRS - NASA Technical Reports Server

Back to Results
Checking Flight Rules with TraceContract: Application of a Scala DSL for Trace AnalysisTypically during the design and development of a NASA space mission, rules and constraints are identified to help reduce reasons for failure during operations. These flight rules are usually captured in a set of indexed tables, containing rule descriptions, rationales for the rules, and other information. Flight rules can be part of manual operations procedures carried out by humans. However, they can also be automated, and either implemented as on-board monitors, or as ground based monitors that are part of a ground data system. In the case of automated flight rules, one considerable expense to be addressed for any mission is the extensive process by which system engineers express flight rules in prose, software developers translate these requirements into code, and then both experts verify that the resulting application is correct. This paper explores the potential benefits of using an internal Scala DSL for general trace analysis, named TRACECONTRACT, to write executable specifications of flight rules. TRACECONTRACT can generally be applied to analysis of for example log files or for monitoring executing systems online.
Document ID
Document Type
External Source(s)
Barringer, Howard (Manchester Univ. MacClesfield, United Kingdom)
Havelund, Klaus (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Morris, Robert A. (NASA Ames Research Center Moffett Field, CA, United States)
Date Acquired
August 26, 2013
Publication Date
June 2, 2011
Subject Category
Space Communications, Spacecraft Communications, Command and Tracking
Meeting Information
Scala Days 2011(Stanford, CA)
Distribution Limits
temporal logic
flight rules.
domain specific language
state machines
trace analysis