mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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
Connecting ProCom and REMES
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0003-2383-7981
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0003-0165-3743
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0002-8461-0230
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0003-2870-2680
2010 (English)Report (Other academic)
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.

Place, publisher, year, edition, pages
2010. , 9 p.
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-11071OAI: oai:DiVA.org:mdh-11071DiVA: diva2:369800
Available from: 2010-11-12 Created: 2010-11-12 Last updated: 2014-01-30Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Vulgarakis, AnetaSentilles, SéverineCarlson, JanSeceleanu, Cristina
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Total: 36 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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