We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. ...
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
This paper addresses the problem of reactive power dispatch in a power system partitioned into several areas controlled by different transmission system operators. Previous resear...
Yannick Phulpin, Miroslav Begovic, Marc Petit, Dam...
Abstract— We propose an improved online scheduler for multichannel or Wavelength Division Multiplexed (WDM) Ethernet Passive Optical Network (EPON) upstream transmission. This sc...
Michael P. McGarry, Martin Reisslein, Charles J. C...
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
George S. Avrunin, James C. Corbett, Laura K. Dill...