umu.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
Logical Representation of Maintenance Procedures for Verification and Analysis
Umeå University, Faculty of Science and Technology, Department of Computing Science.
2016 (English)In: 2016 11th IEEE System of Systems Engineering Conference (SoSE), IEEE, IEEE, 2016Conference paper, Published paper (Refereed)
Abstract [en]

This paper describes a methodology using Petri nets, multi-valued logic and simulation to validate the correctness and measure the performance of maintenance procedure designs. A maintenance procedure design specifies a sequence of tasks for diagnosing faults, restoring availability or extending the time to failure for a particular hardware system. These procedures can be complex if they feature multiple possible task outcomes, concurrent task execution and application to multi-component multi-state hardware systems. The modelling language provides a means of testing the design of such procedures to ensure they are completely specified and optimised for efficient performance in terms of achieving desired outcomes, completion time, resource usage and safety.

Place, publisher, year, edition, pages
IEEE, 2016.
Keyword [en]
maintenance modelling, multi-valued logic, Petri nets
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:umu:diva-129766DOI: 10.1109/SYSOSE.2016.7542942ISI: 000389776900056ISBN: 978-1-4673-8727-9 (print)OAI: oai:DiVA.org:umu-129766DiVA, id: diva2:1063273
Conference
11th IEEE System of Systems Engineering Conference (SoSE), JUN 12-16, 2016, Kongsberg, NORWAY
Available from: 2017-01-09 Created: 2017-01-09 Last updated: 2018-06-09Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records BETA

Löfstrand, Magnus

Search in DiVA

By author/editor
Löfstrand, Magnus
By organisation
Department of Computing Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 5 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