•We characterize
hard real-time as provable compliance with deadlines
–Though not specifically a “hard real-time
issue”, market requirements also
demand high performance and small footprint
–Compliance
proofs depend on static properties
•Pragmatic
tradeoff: no automatic garbage collection
–More
difficult development in absence of garbage collection
–Simpler run-time environment facilitates proof of
program characteristics,
including compliance with deadlines
–Traditional “standard” libraries are not
available because they depend on automatic
garbage collection
•We intend
establish a new set of portable standard libraries to serve the needs of this domain