Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Models of computation and languages for embedded system design
KTH, Skolan för informations- och kommunikationsteknik (ICT), Mikroelektronik och Informationsteknik, IMIT.
KTH, Skolan för informations- och kommunikationsteknik (ICT), Mikroelektronik och Informationsteknik, IMIT.ORCID-id: 0000-0003-4859-3100
2005 (engelsk)Inngår i: IEE Proceedings - Computers and digital Techniques, ISSN 1350-2387, E-ISSN 1359-7027, Vol. 152, nr 2, s. 114-129Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

Models of computation (MoC) are reviewed and organised with respect to the time abstraction they use. Continuous time, discrete time, synchronous and untimed MoCs are distinguished. System level models serve a variety of objectives with partially contradicting requirements. Consequently, it is argued that different MoCs are necessary for the various tasks and phases in the design of an embedded system. Moreover, different MoCs have to be integrated to provide a coherent system modelling and analysis environment. The relation between some popular languages and the reviewed MoCs is discussed to find that a given MoC is offered by many languages and a single language can support multiple MoCs. It is contended that it is of importance for the quality of tools and overall design productivity, which abstraction levels and which primitive operators are provided in a language. However, it is observed that there are various flexible ways to do this, e.g. by way of heterogeneous frameworks, coordination languages and embedding of different MoCs in the same language.

sted, utgiver, år, opplag, sider
2005. Vol. 152, nr 2, s. 114-129
Emneord [en]
synchronous data flow, programming language, signal
HSV kategori
Identifikatorer
URN: urn:nbn:se:kth:diva-14761DOI: 10.1049/ip-cdt:20045098ISI: 000229241100002Scopus ID: 2-s2.0-19344368232OAI: oai:DiVA.org:kth-14761DiVA, id: diva2:332802
Merknad

QC 20100525

Tilgjengelig fra: 2010-08-05 Laget: 2010-08-05 Sist oppdatert: 2017-12-12bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopushttp://web.it.kth.se/~axel/papers/2005/IEE-Proceedings.pdf

Søk i DiVA

Av forfatter/redaktør
Jantsch, AxelSander, Ingo
Av organisasjonen
I samme tidsskrift
IEE Proceedings - Computers and digital Techniques

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 110 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf