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
Integrating Behavioral Descriptions into a Component Model for Embedded Systems
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)Inngår i: Proceedings - 36th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2010, 2010, s. 113-118Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

When component-based development is applied to distributed embedded systems, which are often safety-critical and subject to real-time constraints, it is of significant importance that reliable predictions of functional and extrafunctional 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 permits analysis of system properties, while also supporting reuse of behavioral models when components are reused.

sted, utgiver, år, opplag, sider
2010. s. 113-118
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-11026DOI: 10.1109/SEAA.2010.48ISI: 000395720700013Scopus ID: 2-s2.0-78449277208ISBN: 978-076954170-9 (tryckt)OAI: oai:DiVA.org:mdh-11026DiVA, id: diva2:369480
Konferanse
36th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2010; Lille; France; 1 September 2010 through 3 September 2010
Tilgjengelig fra: 2010-11-10 Laget: 2010-11-10 Sist oppdatert: 2013-12-19bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

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

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 27 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