Changes between Version 17 and Version 18 of WikiStart
 Timestamp:
 03/02/12 09:23:18 (6 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

WikiStart
v17 v18 2 2 This is the new homepage of ForSyDe and the tools developed for it. The old page can be accessed from [[http://www.ict.kth.se/forsyde/here]]. More is going to appear here soon. 3 3 4 [[Image(forsydesystemmodel.svg, center, 600px)]]4 [[Image(forsydesystemmodel.svg, center, 400px)]] 5 5 6 6 == Overview == 7 ForSyDe (Formal System Design) is a methodology with a formal basis for designing heterogeneous embedded systems which is supported by a set of tools, modeling libraries, and related documentation. ForSyDe uses the theory of [[ModelsOfComputationModels of Computation (MoCs)]] to capture the ''specification model''of a heterogeneous system. Such a system can be refined using a set of well defined [[DesignTransformationsDesign Transformations]] to get an ''implementation model''. ''Implementation mapping'' can then be used to generate software or hardware from the refined model. ForSyDe models can also be cosimulated with legacy code and external IP blocks using the concept of [[Wrappers]] .7 ForSyDe (Formal System Design) is a methodology with a formal basis for designing heterogeneous embedded systems which is supported by a set of tools, modeling libraries, and related documentation. ForSyDe uses the theory of [[ModelsOfComputationModels of Computation (MoCs)]] to capture the [[SpecificationModelspecification model]] of a heterogeneous system. Such a system can be refined using a set of well defined [[DesignTransformationsDesign Transformations]] to get an ''implementation model''. ''Implementation mapping'' can then be used to generate software or hardware from the refined model. ForSyDe models can also be cosimulated with legacy code and external IP blocks using the concept of [[Wrappers]] . 8 8 9 9 == Tools and Libraries == 10 10 Today, ForSyDe is available as an [[c2Wiki:EmbeddedDomainSpecificLanguageEmbedded Domain Specific Language (EDSL)]]. There are currently two implementations of it: 11 11 12 * [[ForSyDe/HaskellHaskell [wiki:ForSyDe]]] which is the implementation of ForSyDe on top of the functional language [[http://haskell.orgHaskell]].13 * [[ForSyDe/SystemCSystemC [wiki:ForSyDe]]] which uses the [[http://www.systemc.orgSystemC]] class library to implement ForSyDe.12 * [[ForSyDe/HaskellHaskellForSyDe]] which is the implementation of ForSyDe on top of the functional language [[http://haskell.orgHaskell]]. 13 * [[ForSyDe/SystemCSystemCForSyDe]] which uses the [[http://www.systemc.orgSystemC]] class library to implement ForSyDe. 14 14 15 15 === Getting the Tools ===