Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • 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
Behavioral verification of BOM based composed models
KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikation: Infrastruktur och tjänster (Stängd 20120101), Programvaru- och datorsystem, SCS (Stängd 20120101).
KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikation: Infrastruktur och tjänster (Stängd 20120101), Programvaru- och datorsystem, SCS (Stängd 20120101).
KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikation: Infrastruktur och tjänster (Stängd 20120101), Programvaru- och datorsystem, SCS (Stängd 20120101).
Swedish Defense Research Agency (FOI).
2010 (engelsk)Inngår i: 22th European Modeling and Simulation Symposium, EMSS 2010 / [ed] Agostine Bruzzone, Claudia Frdman, Francesco Longo, Khalid Mekouar, Miquel Angel Piera, Fes, Moroco: ESISA Ecole Supérieure d'Ingénierie en Sciences Appliquées , 2010, s. 341-350Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

A verified composition of predefined reusable simulation components such as BOM (Base Object Model) plays a significant role in saving time and cost in the development of various simulations. BOM represents a reusable component framework and posses the ability to rapidly compose simulations but lacks semantic and behavioral expressiveness required to match components for a suitable composition. Moreover external techniques are required to evaluate behavioral verification of BOM based components. In this paper we discuss behavioral verification and propose an approach to verify the dynamic behavior of a set of composed BOM components against given specifications. We further define a Model Tester that provides means to verify behavior of a composed model during its execution. We motivate our verification approach by suggesting solutions for some of the categories of system properties. We also provide a case study to clarify our approach.

sted, utgiver, år, opplag, sider
Fes, Moroco: ESISA Ecole Supérieure d'Ingénierie en Sciences Appliquées , 2010. s. 341-350
Emneord [en]
Composability, model verification, deadlock detection, BOM, SCXML, model execution
HSV kategori
Identifikatorer
URN: urn:nbn:se:kth:diva-53240Scopus ID: 2-s2.0-84871287736ISBN: 2-9524747-8-8 (tryckt)ISBN: 978-295247478-8 OAI: oai:DiVA.org:kth-53240DiVA, id: diva2:469466
Konferanse
22th European Modeling and Simulation Symposium, EMSS 2010; Fes; Morocco; 13 October 2010 through 15 October 2010
Merknad

QC 20120117

Tilgjengelig fra: 2012-01-17 Laget: 2011-12-24 Sist oppdatert: 2018-01-12bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Scopus

Søk i DiVA

Av forfatter/redaktør
Mahmood, ImranAyani, RassulVlassov, Vladimir
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric

isbn
urn-nbn
Totalt: 397 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • 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