کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
435186 | 1441709 | 2012 | 23 صفحه PDF | دانلود رایگان |
Modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. However, time is a crucial aspect of systems for practical applications, e.g. in the area of embedded systems. And yet, only few results exist on the design of timed component-based systems. In this paper, we propose a timed extension of modal specifications, together with fundamental operations (conjunction, product, and quotient) that enable reasoning in a compositional way about timed system. The specifications are given as modal event-clock automata, where clock resets are easy to handle. We develop an entire theory that promotes efficient incremental design techniques.
► We propose a timed extension of modal specifications.
► We define refinement, conjunction, product and quotient on them.
► These operations enable compositional reasoning on component-based systems.
► They can be efficiently treated in the subclass of modal event-clock automata.
Journal: Science of Computer Programming - Volume 77, Issue 12, 1 October 2012, Pages 1212–1234