Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications
Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications
复制标题
实时系统设计：持续时间计算和程序规范之间的接口
DOI：
10.1007/978-1-4471-3078-9_3
复制
发表时间：
1995
期刊：
影响因子：
--
通讯作者：
M. Schenke
中科院分区：
文献类型：
--
作者：
E. Olderog;M. Schenke
我们提出了一种实时系统设计的转换方法。起点是在称为可实现的Duration Calculus的子集中制定的需求，目标是使用一种语言SL中的程序规范，该语言将正则表达式与操作系统和时间条件结合在一起。Duration Calculus是基于状态的，而SL是基于事件的，可以看作是向类似occam的定时编程语言发展的垫脚石。以计算机控制的燃气燃烧器为例说明了该方法的可行性。
We present a transformational approach to the design of real-time systems. The starting point are requirements formulated in a subset of Duration Calculus calledimplementablesand the target are program specifications in a language SL that combines regular expressions with action systems and time conditions. While Duration Calculus is state-based, SL is event-based and can be seen as a stepping stone towards a timed OCCam-like programming language. The approach is illustrated by the example of a computer controlled gas burner.