Run-time mechanisms for property preservation in real-time systems

Juan Zamorano, Juan Antonio de la Puente, Jérôme Hugues and Tulllio Vardanega

Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT 2007)
Pisa, Italy, July 3, 2007

---

Summary

Classical real-time kernels tend to leave to the application level the burden of policing those stipulations that the designer deems crucial to warrant the correct operation of the system. In fact, in the general case, there exist forms of reflective computing at application level that may be happy with that arrangement.

Where “continuity of proof” and “preservation of properties” are central to the development paradigm instead permissive kernels are arguably inferior to proactive execution platforms that are capable of policing the critical stipulations and of preventing their violations at run time.

In this short paper we illustrate some constructive principles of an execution environment that follows the latter paradigm.

---

  

START Conference Manager (V2.54.3)

Maintainer: rrgerber@softconf.com