System level modelling with open source tools

In this paper, we present a system level design methodology which allows designers to model and analyze their systems from the early stages of the design process until nal implementation. The design methodology targets heterogeneous embedded systems and is based on a formal modeling framework, called ForSyDe.

ForSyDe is available under the open Source approach, which allows small and medium enterprises (SME) to get easy access to advanced modeling capabilities and tools. We give an introduction to the design methodology through the system level modeling of a simple industrial use case, and we outline the basics of the underlying ForSyDe model.