Towards correctness-preserving synthesis for real-time software
J. Huang, Jeroen P. M. Voeten, Andre Ventevogel, L.J. van Bokhoven · TU/e Research Portal · 2003
It is well-known that real-time systems (especially realtime software) impose a lot of challenges to system design and implementation. In this paper, we first analyze the difficulties the design problems stem from. Then we investigate the merits and pitfalls of major design styles by evaluating them against predictability, compositionality, efficiency, expressive power and debuggability. Finally we propose a design approach which combines both the time-driven and event-driven design styles for real-time software development. The proposed approach consists two consequent procedures: 1. Platform-independent design provides a virtual execution environment in which the design description is uniquely interpreted and formally evaluated by verification and simulation techniques without being affected by non-deterministic factors of the underlying platform. Base on the analysis results, the model can be elaborated smoothly to satisfy all essential functional and critical timing requirements.