Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Fairness Verification of BOM-Based Composed Models Using Petri Nets
KTH, School of Information and Communication Technology (ICT), Communication: Services and Infrastucture, Software and Computer Systems, SCS.
KTH, School of Information and Communication Technology (ICT), Communication: Services and Infrastucture, Software and Computer Systems, SCS.
KTH, School of Information and Communication Technology (ICT), Communication: Services and Infrastucture, Software and Computer Systems, SCS.
Swedish Defence Research Agency, FOI.
2011 (English)In: Proceedings of the 2011 IEEE Workshop on Principles of Advanced and Distributed Simulation, Washington, DC, USA: IEEE Computer Society , 2011, 5936770- p.Conference paper, Published paper (Refereed)
Abstract [en]

Model reuse is a promising and appealing convention for effective development of simulation systems. However it poses daunting challenges to various issues in research such as Reusability and Composability in model integration. Various methodological advances in this area have given rise to the development of different component reusability frameworks such as BOM (Base Object Model). However, lack of component matching and support for composability verification and validation makes it difficult to achieve effective and meaningful reuse. For this reason there is a need for adequate methods to verify and validate composability of a BOM based composed model. A verified composed model ensures the satisfaction of desired system properties. Fairness, as defined in section II, is an important system property which ensures that no component in a composition is delayed indefinitely. Fairness in a composed model guarantees the participation of all components in order to achieve the desired objectives. In this paper we focus on verification and propose to transform a composed BOM into a Petri Nets model and use different analysis techniques to perform its verification. We propose an algorithm to verify fairness property and provide a case study of a manufacturing system to explain our approach.

Place, publisher, year, edition, pages
Washington, DC, USA: IEEE Computer Society , 2011. 5936770- p.
Series
Workshop on Principles of Advanced and Distributed Simulation, ISSN 1087-4097
Keyword [en]
BOM framework, Composability, Fairness, Manufacturing System, Model Verification, Petri Nets Analysis
National Category
Computer Science
Identifiers
URN: urn:nbn:se:kth:diva-49400DOI: 10.1109/PADS.2011.5936770ISI: 000297996600011Scopus ID: 2-s2.0-79960691010ISBN: 978-1-4577-1363-7 (print)OAI: oai:DiVA.org:kth-49400DiVA: diva2:459616
Conference
25th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, PADS 2011; Nice; 14 June 2011 through 17 June 2011
Note
QC 20111130Available from: 2011-11-27 Created: 2011-11-26 Last updated: 2012-04-03Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Mahmood, ImranAyani, RassulVlassov, Vladimir
By organisation
Software and Computer Systems, SCS
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 46 hits
CiteExportLink to record
Permanent link

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