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

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • 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
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 (Engelska)Ingå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-350Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Fes, Moroco: ESISA Ecole Supérieure d'Ingénierie en Sciences Appliquées , 2010. s. 341-350
Nyckelord [en]
Composability, model verification, deadlock detection, BOM, SCXML, model execution
Nationell ämneskategori
Datavetenskap (datalogi)
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
Konferens
22th European Modeling and Simulation Symposium, EMSS 2010; Fes; Morocco; 13 October 2010 through 15 October 2010
Anmärkning

QC 20120117

Tillgänglig från: 2012-01-17 Skapad: 2011-12-24 Senast uppdaterad: 2018-01-12Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Scopus

Sök vidare i DiVA

Av författaren/redaktören
Mahmood, ImranAyani, RassulVlassov, Vladimir
Av organisationen
Programvaru- och datorsystem, SCS (Stängd 20120101)
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetricpoäng

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

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • 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