mdh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Towards Simulative Environment for Early Development of Component-Based Embedded Systems
University of Zagreb.
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0003-2383-7981
University of Zagreb.
2010 (Engelska)Ingår i: Proceedings of the Fifteenth International Workshop on Component-Oriented Programming (WCOP) 2010, 2010, s. 63-70Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
2010. s. 63-70
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:mdh:diva-11027OAI: oai:DiVA.org:mdh-11027DiVA, id: diva2:369481
Konferens
Fifteenth International Workshop on Component-Oriented Programming,22nd June 2010, Praha, Czech Republic
Tillgänglig från: 2010-11-10 Skapad: 2010-11-10 Senast uppdaterad: 2013-12-19Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Personposter BETA

Vulgarakis, Aneta

Sök vidare i DiVA

Av författaren/redaktören
Orlic, MarinVulgarakis, Aneta
Av organisationen
Akademin för innovation, design och teknik
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 18 träffar
RefereraExporteraLänk till posten
Permanent länk

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