View in EDS

On testing and automatic mending of safety PLC code

Saved in:
Bibliographic Details
Title: On testing and automatic mending of safety PLC code
Authors: Khan, Adnan, 1984, Fabian, Martin, 1960
Source: Systematisk testning av cyberfysiska system (SyTeC) Modellbaserad Testning av Mekatroniska System (TESTRON) CIRP Journal of Manufacturing Science and Technology. 35:431-440
Subject Terms: Infimial controllable super-language, Automata, Input–output conformance testing, Safety, Discrete event system, Supervisory control theory
Description: This paper presents an approach to automatically amend an erroneous model of an implementation using a safety specification as the basis to ensure safety. Industrially, safety PLCs are common to ensure safe operations. However, before its commissioning, the implemented safety code must be tested for faults caused by spurious transitions and missing safety transitions. Spurious transitions are implemented events that are not prescribed by the safety specification, while missing safety transitions are unimplemented safety events that are prescribed by the safety specification. The presence of these faults can result in material or human damage. The proposed approach requires the model of an implementation to be trace equivalent with the given safety specification only in terms of traces composed of safety events, which is captured by the notion of safe-IOCOS. If the implementation emits other than the specified safety events then the implementation is not safe-IOCOS and requires amendment. This is achieved by removing the spurious transitions and adding the missing safety events in the implementation using synthesis techniques from the supervisory control theory. The infimal controllable superlanguage is used to compute the infimal safety extension, which adds the missing safety transitions. It is shown how the resulting model of an implementation after amendment is both safe-IOCOS and controllable with respect to the specification.
File Description: electronic
Access URL: https://research.chalmers.se/publication/525477
https://research.chalmers.se/publication/525477/file/525477_Fulltext.pdf
Database: SwePub
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://research.chalmers.se/publication/525477#
    Name: EDS - SwePub (s4221598)
    Category: fullText
    Text: View record in SwePub
  – Url: https://resolver.ebscohost.com/openurl?sid=EBSCO:edsswe&genre=article&issn=17555817&ISBN=&volume=35&issue=&date=20210101&spage=431&pages=431-440&title=Systematisk testning av cyberfysiska system (SyTeC) Modellbaserad Testning av Mekatroniska System (TESTRON) CIRP Journal of Manufacturing Science and Technology&atitle=On%20testing%20and%20automatic%20mending%20of%20safety%20PLC%20code&aulast=Khan%2C%20Adnan&id=DOI:10.1016/j.cirpj.2021.07.008
    Name: Full Text Finder
    Category: fullText
    Text: Full Text Finder
    Icon: https://imageserver.ebscohost.com/branding/images/FTF.gif
    MouseOverText: Full Text Finder
  – Url: https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=EBSCO&SrcAuth=EBSCO&DestApp=WOS&ServiceName=TransferToWoS&DestLinkType=GeneralSearchSummary&Func=Links&author=Khan%20A
    Name: ISI
    Category: fullText
    Text: Nájsť tento článok vo Web of Science
    Icon: https://imagesrvr.epnet.com/ls/20docs.gif
    MouseOverText: Nájsť tento článok vo Web of Science
Header DbId: edsswe
DbLabel: SwePub
An: edsswe.oai.research.chalmers.se.6dc3bf98.3d69.4349.a2d5.bfd1698309d3
RelevancyScore: 1004
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 1004.00384521484
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: On testing and automatic mending of safety PLC code
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Khan%2C+Adnan%22">Khan, Adnan</searchLink>, 1984<br /><searchLink fieldCode="AR" term="%22Fabian%2C+Martin%22">Fabian, Martin</searchLink>, 1960
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <i>Systematisk testning av cyberfysiska system (SyTeC) Modellbaserad Testning av Mekatroniska System (TESTRON) CIRP Journal of Manufacturing Science and Technology</i>. 35:431-440
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Infimial+controllable+super-language%22">Infimial controllable super-language</searchLink><br /><searchLink fieldCode="DE" term="%22Automata%22">Automata</searchLink><br /><searchLink fieldCode="DE" term="%22Input–output+conformance+testing%22">Input–output conformance testing</searchLink><br /><searchLink fieldCode="DE" term="%22Safety%22">Safety</searchLink><br /><searchLink fieldCode="DE" term="%22Discrete+event+system%22">Discrete event system</searchLink><br /><searchLink fieldCode="DE" term="%22Supervisory+control+theory%22">Supervisory control theory</searchLink>
– Name: Abstract
  Label: Description
  Group: Ab
  Data: This paper presents an approach to automatically amend an erroneous model of an implementation using a safety specification as the basis to ensure safety. Industrially, safety PLCs are common to ensure safe operations. However, before its commissioning, the implemented safety code must be tested for faults caused by spurious transitions and missing safety transitions. Spurious transitions are implemented events that are not prescribed by the safety specification, while missing safety transitions are unimplemented safety events that are prescribed by the safety specification. The presence of these faults can result in material or human damage. The proposed approach requires the model of an implementation to be trace equivalent with the given safety specification only in terms of traces composed of safety events, which is captured by the notion of safe-IOCOS. If the implementation emits other than the specified safety events then the implementation is not safe-IOCOS and requires amendment. This is achieved by removing the spurious transitions and adding the missing safety events in the implementation using synthesis techniques from the supervisory control theory. The infimal controllable superlanguage is used to compute the infimal safety extension, which adds the missing safety transitions. It is shown how the resulting model of an implementation after amendment is both safe-IOCOS and controllable with respect to the specification.
– Name: Format
  Label: File Description
  Group: SrcInfo
  Data: electronic
– Name: URL
  Label: Access URL
  Group: URL
  Data: <link linkTarget="URL" linkTerm="https://research.chalmers.se/publication/525477" linkWindow="_blank">https://research.chalmers.se/publication/525477</link><br /><link linkTarget="URL" linkTerm="https://research.chalmers.se/publication/525477/file/525477_Fulltext.pdf" linkWindow="_blank">https://research.chalmers.se/publication/525477/file/525477_Fulltext.pdf</link>
PLink https://erproxy.cvtisr.sk/sfx/access?url=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsswe&AN=edsswe.oai.research.chalmers.se.6dc3bf98.3d69.4349.a2d5.bfd1698309d3
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1016/j.cirpj.2021.07.008
    Languages:
      – Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 10
        StartPage: 431
    Subjects:
      – SubjectFull: Infimial controllable super-language
        Type: general
      – SubjectFull: Automata
        Type: general
      – SubjectFull: Input–output conformance testing
        Type: general
      – SubjectFull: Safety
        Type: general
      – SubjectFull: Discrete event system
        Type: general
      – SubjectFull: Supervisory control theory
        Type: general
    Titles:
      – TitleFull: On testing and automatic mending of safety PLC code
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Khan, Adnan
      – PersonEntity:
          Name:
            NameFull: Fabian, Martin
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2021
          Identifiers:
            – Type: issn-print
              Value: 17555817
            – Type: issn-print
              Value: 18780016
            – Type: issn-locals
              Value: SWEPUB_FREE
            – Type: issn-locals
              Value: CTH_SWEPUB
          Numbering:
            – Type: volume
              Value: 35
          Titles:
            – TitleFull: Systematisk testning av cyberfysiska system (SyTeC) Modellbaserad Testning av Mekatroniska System (TESTRON) CIRP Journal of Manufacturing Science and Technology
              Type: main
ResultId 1