We propose to develop a theory for the composition and analysis of ?rich API?s? for embedded systems, which expose resource properties, such as real-time assumptions and guarantees. We will apply this theory to both time-triggered programs,in particular to proposed real-time Linux standards and protocols under design at the Berkeley Wireless Research Center.
