Change search
ReferencesLink to record
Permanent link

Direct link
SML-Sys: a functional framework with multiple models of computation for modeling heterogeneous system
KTH, School of Information and Communication Technology (ICT), Microelectronics and Information Technology, IMIT.
2008 (English)In: Design automation for embedded systems, ISSN 0929-5585, E-ISSN 1572-8080, Vol. 12, no 1-2, 1-30 p.Article in journal (Refereed) Published
Abstract [en]

System-on-Chip and other complex distributed hardware/software systems contain heterogeneous components. High-level modeling of such systems require frameworks that provide designers with the ability to express concepts of models of computation (MoC)s as modeling constructs. Many system-level modeling frameworks and corresponding modeling notations such as Ptolemy II and SystemC-H facilitate multi-MoC modeling but are based on imperative programming languages (C++, Java, etc). In such frameworks, the computation and communication aspects between the components of models get intertwined thereby hindering its amenability to formal analysis. In this work, we illustrate function-based semantic definitions of MoCs, which are formulated in a functional framework called SML-Sys. We illustrate through a number of examples how to create system models using this functional programming paradigm.

Place, publisher, year, edition, pages
2008. Vol. 12, no 1-2, 1-30 p.
Keyword [en]
functional programming, model of computation, heterogeneity, modeling, fidelity, modeling expressiveness, language
URN: urn:nbn:se:kth:diva-17704DOI: 10.1007/s10617-008-9012-4ISI: 000257776000001ScopusID: 2-s2.0-40049094528OAI: diva2:335749
QC 20100525Available from: 2010-08-05 Created: 2010-08-05Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Jantsch, Axel
By organisation
Microelectronics and Information Technology, IMIT
In the same journal
Design automation for embedded systems

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 19 hits
ReferencesLink to record
Permanent link

Direct link