chronSIM supports the OSEK* Real-Time Operating System.
Real-time operating systems guarantee a correct functional and temporal behaviour of embedded software. They are increasingly used in cases where security is paramount, such as in medical devices, avionics, or automotive applications. OSEK/VDX is an operating system standard within the European automobile industry.
chronSIM provides OSEK-API functions as part of its virtual prototypes. In virtual prototypes, the simulated embedded software shows the same real-time behaviour as the real target hardware. The chronSIM OSEK-API functions represent the OSEK BCC1, BCC2, ECC1, and ECC2 conformance classes of the OSEK/VDX Operating System according to Specification 2.2.3, and the ERCOSEK operating system, which is based on the OSEK/VDX Operating System Specification V2.1r1.
You can use the chronSIM OSEK API functions to create a temporal model of your software architecture. In chronSIM, you can combine tasks from the actual implementation with task models, which contain macros, that specify time budgets and, thus, do not need to be functionally complete. chronSIM is able to simulate the real-time behaviour of your software architecture, containing OSEK API functions, before the functional behaviour is complete. The results of the simulation are suitable for comparison of design alternatives, for exploration of the run-time behaviour, and for developing critical test scenarios.
* OSEK: (Offene Systeme und deren Schnittstellen für die Elektronik in Kraftfahrzeugen; English: "Open Systems and their Interfaces for the Electronics in Motor Vehicles")