Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
UMoC plus plus: A C plus plus -based Multi-MoC modeling environment
Virginia Tech, Ctr Embedded Syst Crit Applicat, Blacksburg, VA 24061 USA..
Virginia Tech, Ctr Embedded Syst Crit Applicat, Blacksburg, VA 24061 USA..
Virginia Tech, Ctr Embedded Syst Crit Applicat, Blacksburg, VA 24061 USA..
KTH, School of Information and Communication Technology (ICT), Microelectronics and Information Technology, IMIT.
2006 (English)In: APPLICATIONS OF SPECIFICATION AND DESIGN LANGUAGES FOR SOCS / [ed] Vachoux, A, SPRINGER , 2006, p. 115-130Conference paper, Published paper (Refereed)
Abstract [en]

System-on-chip (SoC) and other complex distributed hardware/software systems contain heterogeneous components that necessitate frameworks capable of expressing heterogeneous models of computation (MoCs) for modeling their functionalities. System-level design languages (SLDLs) that facilitate multi-MoC modeling should have well-defined semantics and should be readily subjected to formal analysis to handle the design complexity. As a result, we follow the multi-MoC paradigm based on timing abstraction and functional parameterizations that have rigorous denotational semantics, which are compliant to functional idioms as shown in functional frameworks such as ForSyDe and SML-Sys. However, functional frameworks are not widely used in the industry due to issues related to efficiency and interoperability with other widely used SLDLs. This imposes a requirement for an imperative language-based implementation of these generic MoCs that offers all the advantages of the underlying formal semantics. In this chapter, we formulate the basis for having generic MoCs in an imperative language and describe the implementation of an untimed modeling framework called UMoC++.

Place, publisher, year, edition, pages
SPRINGER , 2006. p. 115-130
Keywords [en]
model of computation, heterogeneity, untimed, function semantics, functional language
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:kth:diva-242430DOI: 10.1007/978-1-4020-4998-9_7ISI: 000242335200007OAI: oai:DiVA.org:kth-242430DiVA, id: diva2:1287464
Conference
Forum on Specification and Design Languages (FDL 05)
Note

QC 20190211

Available from: 2019-02-11 Created: 2019-02-11 Last updated: 2019-02-11Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Search in DiVA

By author/editor
Jantsch, Axel
By organisation
Microelectronics and Information Technology, IMIT
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf