Show simple item record  

dc.contributor.authorMalik, Robi
dc.contributor.authorRoop, Partha S.
dc.coverage.spatialConference held at Eindhoven, Netherlandsen_NZ
dc.identifier.citationMalik, R. & Roop, P. S. (2005). Adaptive techniques for specification matching in embedded systems: A comparative study. In Proceedings of 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. (pp. 33-52). Berlin: Springer.en_US
dc.description.abstractThe specification matching problem in embedded systems is to determine whether an existing component may be adapted suitably to match the requirements of a new specification. Recently, a refinement called forced simulation has been introduced to formally address this problem. It has been established that when a forced similarity relation exists between a component and its specification, an adapter process can be constructed so that the composition of the adapter and the component fulfil the specification. This looks very similar to synthesis methods in supervisory control theory, where a controller is constructed to make a plant satisfy a desired specification. However, due to the need for state-based hiding in specification matching, supervisory control theory is not directly applicable. This paper develops a supervisory control based solution to the specification matching problem by modifying the problem representation. Subsequently, a comparison of the forced simulation and supervisory control based specification matching methods is made.en_US
dc.publisherSpringer, Berlinen_US
dc.sourceIFM 2005en_NZ
dc.subjectcomputer scienceen_US
dc.subjectformal verificationen_US
dc.subjectspecification matchingen_US
dc.subjectembedded systemsen_US
dc.subjectsupervisory controlen_US
dc.subjectfinite-state machinesen_US
dc.titleAdaptive techniques for specification matching in embedded systems: A comparative studyen_US
dc.typeConference Contributionen_US
dc.relation.isPartOf5th International Conference on Integrated Formal Methodsen_NZ
pubs.volumeLNCS 3771en_NZ

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record