
Addresses the problem of designing a submodule of a given timed system. For representing specifications, we use the model of communicating timed input/output automata. The problem may be formulated mathematically by the equation (C/spl par/X)/spl Rfr/A under the constraint I/sub n/, where C represents the specification of the known part of the system, called the context, A represents the specification of the desired whole system, X represents the specification of the submodule to be constructed, /spl par/ is a composition operator, /spl Rfr/ is a conformance relation and I/sub n/ is the required set of inputs for X. As conformance relation, we consider the safe realization relation. This relation is implied by all the well-known criteria of trace equivalence, complete trace equivalence, quasi equivalence and reduction. We propose an algorithm for solving the problem with respect to the safe realization and we characterize the set of solutions.
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
