Development and application of design transformations in ForSyDe
2003 (English)In: IEE Proceedings - Computers and digital Techniques, ISSN 1350-2387, E-ISSN 1359-7027, Vol. 150, no 5, 313-320 p.Article in journal (Refereed) Published
The formal system design (ForSyDe) methodology has been developed for system level design. Starting with a formal specification model, which captures the functionality of the system at a high level of abstraction, it provides formal design transformation methods for a transparent refinement process of the specification model into an implementation model which is optimised for synthesis. The formal treatment of transformational design refinement is the central contribution of this article. Using the formal semantics of ForSyDe processes we introduce the term characteristic function to be able to define and classify transformations as either semantic preserving or design decision. We also illustrate how we can incorporate classical synthesis techniques that have traditionally been used with control/data-flow graphs as ForSyDe transformations. This approach avoids discontinuities as it moves design refinement into the domain of the specification model.
Place, publisher, year, edition, pages
2003. Vol. 150, no 5, 313-320 p.
synchronous data flow, language, systems, models
IdentifiersURN: urn:nbn:se:kth:diva-22982ISI: 000186753000008OAI: oai:DiVA.org:kth-22982DiVA: diva2:341680
QC 20100525 NR 201408042010-08-102010-08-102012-02-13Bibliographically approved