Derivation of Efficient Implementations from Formal Descriptions: Issues, Methodsand Conformance

摘要

The design and realization of systems is a complex task in which different designissues play a role in different design phases. In the paper, the design issues are studied that play a role during one of the last design phases: the derivation of an efficient implementation for a particular environment. This efficiency, also called performance, is measured in terms of memory usage and Quality of Service (QoS) parameters for the data streams involved. The design issues that arise during the implementation process are studied using a small system (a duplex 1-slot repeater), and a method for structuring systems that takes these issues into account is presented. For early assessment of the effect of design issues on the performance of the realization, Petri-Net based performance analysis techniques are used. A method is given for mapping LOTOS specifications via Extended Transition Systems onto Petri-Nets. The results of this study include a set of methods for deriving an efficient implementation from a LOTOS specification whose usability is demonstrated, a method for LOTOS based performance analysis and new conformance relations.