Title: Modeling of Real-Time Software Systems based on Logical Execution Time— TDL Extensions, Simulation, Tools

The general area of the dissertation is in the design of embedded systems; physical systems with reactive computational functionality. More specifically, the domain is digital control systems more so than digital signal processing. This is an important distinction as the requirements for the different domains can be significantly at odds with one another. Given the proliferation of embedded computing power in modern engineered systems, this is clearly an area of distinct importance. The work has implications at a software level, sys-tem level, and potentially societal level, although the latter probably would require a more substantive treatment of distributed behavior. Still, the challenges met in embedded software, especially in terms of system integration, are critical in enabling the engineering of even today’s systems, as evidenced, for example, by the repeated delays in the delivery of the F-22 [5]. Modern design of digital control system (e.g., [4]) follows a layered approach that typically starts off with requirements capture, from this high-level specifications are distilled, at a system level. The high-level specification is then transformed into detailed specifications at a subsystem level, from which the subsystem components can be implemented. Given the extensive use of computation in engineered systems, and because of its versatility as universal system integrator