https://www.mdu.se/

mdh.sePublikasjoner
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
Connecting ProCom and REMES
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0003-2383-7981
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0003-0165-3743
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0002-8461-0230
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0003-2870-2680
2010 (engelsk)Rapport (Annet vitenskapelig)
Abstract [en]

When component-based development is applied in the domain of distributed embedded systems, where applications are often safety-critical and subject to real-time constraints, it is of significant importance that reliable predictions of functional and extra-functional properties can be derived at design-time. Preferably, analysis should be performed in early development phases, where the cost of modifying the design is lower. Centered on an example application from the automation domain, we show how a component model specifically intended for embedded systems can be combined with a language for high-level formal behavior modeling. This allows modeling the behavior of individual components, in terms of functionality, timing and resource usage. In turn, this permits analysis of system level properties, while also supporting reuse of behavioral models when components are reused.

sted, utgiver, år, opplag, sider
2010. , s. 9
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-11071OAI: oai:DiVA.org:mdh-11071DiVA, id: diva2:369800
Tilgjengelig fra: 2010-11-12 Laget: 2010-11-12 Sist oppdatert: 2014-01-30bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Person

Vulgarakis, AnetaSentilles, SéverineCarlson, JanSeceleanu, Cristina

Søk i DiVA

Av forfatter/redaktør
Vulgarakis, AnetaSentilles, SéverineCarlson, JanSeceleanu, Cristina
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 49 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