The effective development of embedded systems requires a collection of tools to capture requirements, to construct, analyze and simulate specifications, to generate and test implementations, and to monitor and check implementations at run-time. 

The goal of the proposed research is to develop a framework for the integrated use of a suite of methods and tools for the specification, analysis, development, testing, prototyping, simulation and monitoring of embedded software. The framework will be based on systems that the investigators have been studying separately for some time and can also include systems that are developed elsewhere. The primary methods of interest are: formal specifications, test generation from specifications, automated verification, prototyping and simulation, and run-time monitoring and checking.