Abstract:
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. Th...Show MoreMetadata
Abstract:
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.
Date of Conference: 10-13 December 2002
Date Added to IEEE Xplore: 10 March 2003
Print ISBN:0-7803-7516-5
Print ISSN: 0191-2216