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
Towards Simulative Environment for Early Development of Component-Based Embedded Systems
University of Zagreb.
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0003-2383-7981
University of Zagreb.
2010 (English)In: Proceedings of the Fifteenth International Workshop on Component-Oriented Programming (WCOP) 2010, 2010, p. 63-70Conference paper, Published paper (Refereed)
Abstract [en]

As embedded systems become more and more complex the significance of predictability grows. The particular predictability requirements of embedded systems, call for a development framework equipped with tools and techniques that will guide the design and selection of system software. Simulation and verification are two complementary techniques that play a valuable role in achieving software predictability already at early design stage. Simulation is scalable and can be very useful in debugging and validating the system design. Moreover, it can be used as a supplement to verification for visualizing diagnostic traces produced by the verification tool and for rerunning counterexamples in cases when the verification property is not satisfied. In this paper we introduce an idea of a simulative environment for early development of component-based embedded systems. By using it, the designer can navigate and debug the design and behavior of such systems at early stages of the system lifecycle.

Place, publisher, year, edition, pages
2010. p. 63-70
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-11027OAI: oai:DiVA.org:mdh-11027DiVA, id: diva2:369481
Conference
Fifteenth International Workshop on Component-Oriented Programming,22nd June 2010, Praha, Czech Republic
Available from: 2010-11-10 Created: 2010-11-10 Last updated: 2013-12-19Bibliographically approved

Open Access in DiVA

No full text in DiVA

Authority records BETA

Vulgarakis, Aneta

Search in DiVA

By author/editor
Orlic, MarinVulgarakis, Aneta
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 20 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