Back to Search
Start Over
Modal event-clock specifications for timed component-based design
- Source :
-
Science of Computer Programming . Oct2012, Vol. 77 Issue 12, p1212-1234. 23p. - Publication Year :
- 2012
-
Abstract
- Abstract: 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. [Copyright &y& Elsevier]
Details
- Language :
- English
- ISSN :
- 01676423
- Volume :
- 77
- Issue :
- 12
- Database :
- Academic Search Index
- Journal :
- Science of Computer Programming
- Publication Type :
- Academic Journal
- Accession number :
- 78430051
- Full Text :
- https://doi.org/10.1016/j.scico.2011.01.007