-
Synchronous Programming of Device Drivers for Global Resource Control in Embe...
This thesis is about the design of software for embedded systems. The hardware platforms usually employed in these systems provide a limited amount of memory,... -
Modular distribution of synchronous programs
We address the problem of safe design of distributed embedded systems. We show that with the increasing complexity and integration of embedded systems, the functional... -
Design and Analysis for Multi-Clock and Data-Intensive Applications on Multip...
With the increase in the integration of functions, modern embedded systems have become very smart and sophisticated. The typical examples of this tendency are last... -
Polychronous modeling and evaluation of real-time systems
Real-time systems are devices consisting of hardware and software with functional and timing constraints for the interaction with their environment. Telecommunication,...
