White Papers

Slack Demonstration: Connects real-time embedded computers to the Tactical Internet
Honeywell is working to solve a number of open processing problems critical to maintaining our technology advantage in real-time safety critical systems, such as those found in avionics and automotive platforms.

Latency Estimation: Latency estimation promises to improve system performance
Latency estimation promises to improve system performance in safety critical systems that integrate periodic and aperiodic (i.e. event-triggered) traffic in several important ways.

Universal Constraint Language and Engine (UNCLE)
UNCLE is a general framework for constraint-based reasoning.

Formal Methods
The complexity of software that will be embedded in new aircraft and spacecraft has outpaced the capabilities of our current verification and certification methods. Software performs safety- and mission-critical functions on these platforms, and correct operation is essential.

The MetaH AADL Toolset
The increasing complexity of embedded systems is driving development of improved architectural modeling and analysis approaches that make building systems faster, less expensive, and more predictable.

The Digital Upset
Digital Upset Prevention and Recovery for Fault Tolerant Systems.