Honeywell International Inc.

National Technology & Engineering Solutions of Sandia, LLC

Kenneth Michael Munoz

Lawrence P Ray

Lucas Leighton Nunno

Steven Edward Lindsley

Patrick DeMoss

William Lawry

Richard Dean Clement

Aaron Easter

Bettina K Arpin

James F McAndrew

Jamie L Coram

Amy Sundermier

David Karmol

Thomas Anthony Artale

Angela Grace Morgan

Various technologies pertaining to computer-executable instruction sequence forensics are described herein. In a general embodiment, an application development framework supports a function library that includes a plurality of recording functions. Calls to these functions are inserted into source code or bytecode of the computer-executable instruction sequence. The source code is then compiled, resulting in formation of instrumented machine code of the computer-executable instruction sequence. Alternately, the runtime environment interprets instrumented bytecode for the instruction sequence. A processor executes the machine code, and the called functions cause the processor to generate forensic data pertaining to portions of the computer-executable instruction sequence that correspond to locations in the source code where the calls were inserted. An execution instance of the computer-executable instruction sequence is visualized based upon the forensic data.

Method for instruction sequence execution analysis and visualization

An improved aircraft flight management system (FMS) based on a layered subsystem architecture, residing on a computing platform and including an operator interface subsystem, a communications subsystem, a flight management subsystem, and a database management subsystem, wherein the architecture is predicated on the enforcement of subsystem-dependency rules wherein a given subsystem is allowed to depend only upon another subsystem in the same or lower hierarchical layer.

Layered subsystem architecture for a flight management system

Growing community of inventors

Rio Rancho, NM, United States of America

Kenneth Michael Munoz