|
|
 |
 |
Integrated Electronic Systems
|
|
|
Honeywell's Aerospace Electronic Systems is a multi-billion dollar business
providing advanced electronics and avionics for virtually everything that flies
- large and regional air transport, business and general aviation aircraft,
military aircraft and surface vehicles, defense and space systems.
|
|
Slack
Demonstration
|
|
 |
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 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. Within the AADL
(Architectural Analysis and Design Language), it is applied to the problem of
reasoning about the compositionality of multiple, dynamic hardware and software
components, providing a flexible and extendable framework for the system
designer to quickly and easily specify many differing constraints that must
hold between hardware and software components.
|
|
Formal Methods
|
|
 |
Honeywell has an active research program in advanced software development
and verification tools and methodologies. Over the last five years, Formal
Methods has emerged as a key component in the development and verification of
the next generation of safety critical systems.
|
|
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. Honeywell's MetaH was the
first comprehensive toolset to tackle the issues of integrated modeling,
analysis, system integration and verification.
|
|
|
|
