Changes between Version 17 and Version 18 of WikiStart


Ignore:
Timestamp:
03/02/12 09:23:18 (6 years ago)
Author:
ingo
Comment:

Add link to specification model

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v17 v18  
    22This 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. 
    33 
    4 [[Image(forsyde-system-model.svg, center, 600px)]] 
     4[[Image(forsyde-system-model.svg, center, 400px)]] 
    55 
    66== 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 [[ModelsOfComputation|Models of Computation (MoCs)]] to capture the ''specification model'' of a heterogeneous system. Such a system can be refined using a set of well defined [[DesignTransformations|Design 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 co-simulated with legacy code and external IP blocks using the concept of [[Wrappers]]  . 
     7ForSyDe (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 [[ModelsOfComputation|Models of Computation (MoCs)]] to capture the [[SpecificationModel|specification model]] of a heterogeneous system. Such a system can be refined using a set of well defined [[DesignTransformations|Design 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 co-simulated with legacy code and external IP blocks using the concept of [[Wrappers]]  . 
    88 
    99== Tools and Libraries == 
    1010Today, ForSyDe is available as an [[c2Wiki:EmbeddedDomainSpecificLanguage|Embedded Domain Specific Language (EDSL)]]. There are currently two implementations of it: 
    1111 
    12  * [[ForSyDe/Haskell|Haskell-[wiki:ForSyDe]]] which is the implementation of ForSyDe on top of the functional language [[http://haskell.org|Haskell]]. 
    13  * [[ForSyDe/SystemC|SystemC-[wiki:ForSyDe]]] which uses the [[http://www.systemc.org|SystemC]] class library to implement ForSyDe. 
     12 * [[ForSyDe/Haskell|Haskell-ForSyDe]] which is the implementation of ForSyDe on top of the functional language [[http://haskell.org|Haskell]]. 
     13 * [[ForSyDe/SystemC|SystemC-ForSyDe]] which uses the [[http://www.systemc.org|SystemC]] class library to implement ForSyDe. 
    1414 
    1515=== Getting the Tools ===