Temporally Aware Reactive Systems
Abstract
Real-time embedded software development is recognized as a significant cost and schedule driver for many of today's advanced-and highly software-centric-military systems. This project targets these issues directly by developing techniques to enable rapid construction and greater reuse in embedded systems while also delivering reliability and performance improvements. In particular, these benefits are a result of the ability to analyze the behavior and correctness of real-time software; the ability to construct individual software components or to develop large configurations of multiple components more rapidly by leveraging high-level, domain-specific abstractions (a productivity benefit); the ability to enforce predictable and graceful degradation behavior during overload (a reliability benefit); and the ability to operate closer to resource saturation (a performance benefit due to support for graceful degradation).
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 01, 2005
- Accession Number
- ADA437370
Entities
People
- Mark P. Jones