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.
Many software security issues cannot be addressed without a specification defining what security means. This project investigates secure API's and disciplined styles of programming that reduce the likelihood of security flaws and combines two related efforts: first, development of specification languages that enhance security without much cost to programmers, and second, tools that enforce these disciplines, such as the efficient insertion of security monitors into existing programs.
We are developing theories, software, and computational tools for the hierarchical modeling of distributed hybrid and embedded systems by providing technologies for their composable specification, analysis, simulation, and synthesis.
We shall help survey the state-of-the-art in hybrid and embedded system technology. The Berkeley contribution to the report will focus on established research projects and major industrial R&D and standardization efforts. Specifically included in this survey will be the SystemC initiative (www.systemc.org) and other component-based
