 |
White Papers |
|
| |
IES 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. | | View as PDF >> | | | 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. | | View as PDF >> | | | Universal Constraint Language and Engine (UNCLE) | | UNCLE is a general framework for constraint-based reasoning. | | View as PDF >> | | | 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. | | View as PDF >> | | | 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. | | View as PDF >> | The Digital Upset | | Digital Upset Prevention and Recovery for Fault Tolerant Systems | | View as PDF >> | | |
|
|
|
|
|
|
|
|
|
|
|
| Did the content on this page meet your needs? |
|
|
|
|
|
|
|
