Downloads & Free Reading Options - Results

System correctness for real time systems relies on both functional and temporal correctness of the system components. In order to allow creation and deployment of critical applications with hard real time constraints in a reactive environment, we have developed the Maruti environment, which consists of the Maruti operating system and runtime environment, and an application development and environment that uses the Maruti Programming Language (MPL), an extension of ANSI C; the Maruti Configuration language (MCL), which specifies how MPL modules are to be connected and any environmental constraints; and various analysis and debugging tools. The core of the Maruti runtime system is the Elemental Unit (EU) and calendar. An EU is an atomic entity triggered by incoming data/signals, that produces data/signals. A calendar specifies the execution order and time for each EU. Calendars are static entities created during application design and development, thus allowing temporal debugging of applications before they are executed on the machine. A given application may have more than one calendar to allow contingency or degraded operation.