In: J.-M. Colom, M. Koutny (Eds.), Newcastle upon Tyne, UK: Proc. of 22nd International Conf. on Applications and Theory of Petri Nets 2001 (ICATPN 2001), pages 343-362. Lecture Notes in Computer Science 2075, edited by G. Goos, J. Hartmanis and J. van Leuwen, Springer, June 2001.
Abstract: During the last years we have been working towards a complete design method for distributed s. The main characteristic of the methodology is that within the critical phases of analysis and synthesis the system under development is available in one unique model, that of s. Among several other reasons we have chosen a model in order to benefit from the multitude of analysis and synthesis methods for s. Even though the methodology is based upon one common model, it nevertheless supports the modeling of heterogeneous systems using different specification languages. The methodology was introduced and described in several former publications. In this paper we therefore only give a brief overview and afterwards go into details of our recent work, namely the transformation of proper -models into synchronous languages, the partitioning of s and an OS-integrated execution engine for s.