Design-to-Test Approach for Programmable Controllers in Safety-Critical Automation Systems
This article presents a design-to-test (DTT) approach for enhancing black-box complete conformance testing of programmable controllers, where their specifications can be modeled as finite state machines. Given an automation system, the testing objective is to check whether its implemented controller...
Gespeichert in:
| Veröffentlicht in: | IEEE transactions on industrial informatics Jg. 16; H. 10; S. 6499 - 6508 |
|---|---|
| Hauptverfasser: | , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Piscataway
IEEE
01.10.2020
The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
| Schlagworte: | |
| ISSN: | 1551-3203, 1941-0050 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | This article presents a design-to-test (DTT) approach for enhancing black-box complete conformance testing of programmable controllers, where their specifications can be modeled as finite state machines. Given an automation system, the testing objective is to check whether its implemented controllers conform to the expected behavior with regard to the specification models. The DTT approach analyzes the specification models and, if necessary, automatically modifies them at the cost of limited design overhead, so that the testability of the final implemented controllers can be ensured/improved. By design, this approach also guarantees that the behavior of implemented controllers remains unchanged during normal execution (i.e., when not connected to a test bench). |
|---|---|
| AbstractList | This article presents a design-to-test (DTT) approach for enhancing black-box complete conformance testing of programmable controllers, where their specifications can be modeled as finite state machines. Given an automation system, the testing objective is to check whether its implemented controllers conform to the expected behavior with regard to the specification models. The DTT approach analyzes the specification models and, if necessary, automatically modifies them at the cost of limited design overhead, so that the testability of the final implemented controllers can be ensured/improved. By design, this approach also guarantees that the behavior of implemented controllers remains unchanged during normal execution (i.e., when not connected to a test bench). |
| Author | Provost, Julien Ma, Canlong |
| Author_xml | – sequence: 1 givenname: Canlong orcidid: 0000-0002-6252-6716 surname: Ma fullname: Ma, Canlong email: canlong.ma@tum.de organization: Assistant Professorship for Safe Embedded Systems, Technical University of Munich, Garching bei München, Germany – sequence: 2 givenname: Julien orcidid: 0000-0002-8395-8577 surname: Provost fullname: Provost, Julien email: julien.provost@tum.de organization: Assistant Professorship for Safe Embedded Systems, Technical University of Munich, Garching bei München, Germany |
| BookMark | eNp9kD1PwzAQhi1UJNrCjsQSiTnlbCdOPFblq1IlkCgLS-Sk5-IqiYvtDv33uLRiYGC5O-ne9z6eERn0tkdCrilMKAV5t5zPJwwYTJgUZVbCGRlSmdEUIIdBrPOcppwBvyAj7zcAvAAuh-TjHr1Z92mw6RJ9SKbbrbOq-Uy0dcmrs2unuk7VLSYz2wdn2xadT0yfvCmNYZ_OnAmmUW0y3QXbqWBsbO19wM5fknOtWo9Xpzwm748Py9lzunh5ms-mi7RhkoZ0BZzVK6lzlLpWWAhEEIzlK4ECChQ0R42Y0bIsKQqpRSGYxprldYxINR-T2-PcePnXLj5RbezO9XFlxbLIQApeQlSJo6px1nuHumpM-Lk3OGXaikJ14FhFjtWBY3XiGI3wx7h1plNu_5_l5mgxiPgrL6XIMi74N8CLgQg |
| CODEN | ITIICH |
| CitedBy_id | crossref_primary_10_1007_s10009_025_00790_5 crossref_primary_10_1016_j_microrel_2021_114463 |
| Cites_doi | 10.1109/MMAR.2014.6957329 10.1016/j.conengprac.2016.09.012 10.1109/WODES.2016.7497884 10.1109/5.533956 10.1109/TCAD.2018.2864290 10.1016/j.conengprac.2018.01.010 10.3182/20140514-3-FR-4046.00125 10.1109/TII.2010.2068304 10.1109/ICSTW.2013.27 10.1016/j.conengprac.2010.10.001 10.1109/VTS.2011.5783749 10.1109/TIE.2017.2762621 10.1109/CoASE.2015.7294232 10.1002/stvr.456 10.1109/ETFA.2006.355407 10.1109/TIE.2014.2301752 10.1016/j.conengprac.2019.07.006 10.1109/TSE.2015.2421011 10.1007/s00170-008-1555-9 10.1109/ICSMC.2000.884356 10.1109/COASE.2016.7743494 10.1109/TII.2014.2315972 10.1109/TEST.1995.529879 10.1109/TC.2014.2375181 10.1109/TII.2017.2695370 10.1109/TII.2013.2258165 |
| ContentType | Journal Article |
| Copyright | Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2020 |
| Copyright_xml | – notice: Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2020 |
| DBID | 97E RIA RIE AAYXX CITATION 7SC 7SP 8FD JQ2 L7M L~C L~D |
| DOI | 10.1109/TII.2020.2968480 |
| DatabaseName | IEEE All-Society Periodicals Package (ASPP) 2005–Present IEEE All-Society Periodicals Package (ASPP) 1998–Present IEEE/IET Electronic Library (IEL) (UW System Shared) CrossRef Computer and Information Systems Abstracts Electronics & Communications Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Technology Research Database Computer and Information Systems Abstracts – Academic Electronics & Communications Abstracts ProQuest Computer Science Collection Computer and Information Systems Abstracts Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Technology Research Database |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE/IET Electronic Library (IEL) (UW System Shared) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| EISSN | 1941-0050 |
| EndPage | 6508 |
| ExternalDocumentID | 10_1109_TII_2020_2968480 8964436 |
| Genre | orig-research |
| GroupedDBID | 0R~ 29I 4.4 5GY 5VS 6IK 97E AAJGR AARMG AASAJ AAWTH ABAZT ABQJQ ABVLG ACGFS ACIWK AENEX AETIX AGQYO AGSQL AHBIQ AKJIK AKQYR ALMA_UNASSIGNED_HOLDINGS ATWAV BEFXN BFFAM BGNUA BKEBE BPEOZ CS3 DU5 EBS EJD HZ~ IFIPE IPLJI JAVBF LAI M43 O9- OCL P2P RIA RIE RNS AAYXX CITATION 7SC 7SP 8FD JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c291t-d032bd9f5e9fbae76ee06225d6e607e615efee418881e69f6762feb25bfebe1f3 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 3 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000545243500027&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1551-3203 |
| IngestDate | Mon Jun 30 10:16:09 EDT 2025 Sat Nov 29 04:16:51 EST 2025 Tue Nov 18 22:35:39 EST 2025 Wed Aug 27 02:37:46 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | true |
| Issue | 10 |
| Language | English |
| License | https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html https://doi.org/10.15223/policy-029 https://doi.org/10.15223/policy-037 |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c291t-d032bd9f5e9fbae76ee06225d6e607e615efee418881e69f6762feb25bfebe1f3 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| ORCID | 0000-0002-8395-8577 0000-0002-6252-6716 |
| PQID | 2419496380 |
| PQPubID | 85507 |
| PageCount | 10 |
| ParticipantIDs | proquest_journals_2419496380 crossref_primary_10_1109_TII_2020_2968480 crossref_citationtrail_10_1109_TII_2020_2968480 ieee_primary_8964436 |
| PublicationCentury | 2000 |
| PublicationDate | 2020-10-01 |
| PublicationDateYYYYMMDD | 2020-10-01 |
| PublicationDate_xml | – month: 10 year: 2020 text: 2020-10-01 day: 01 |
| PublicationDecade | 2020 |
| PublicationPlace | Piscataway |
| PublicationPlace_xml | – name: Piscataway |
| PublicationTitle | IEEE transactions on industrial informatics |
| PublicationTitleAbbrev | TII |
| PublicationYear | 2020 |
| Publisher | IEEE The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
| Publisher_xml | – name: IEEE – name: The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
| References | ref13 ref12 ref15 ref14 sommerville (ref1) 2007 ref11 ref10 ref2 ref17 ref16 ref19 ref18 ref24 ref26 ref25 ref20 provost (ref27) 2014 ref22 cassandras (ref23) 2009 ref28 ref29 ref8 ref7 ref9 ref4 ref3 ref6 ref5 gu (ref21) 2014; 61 |
| References_xml | – ident: ref9 doi: 10.1109/MMAR.2014.6957329 – ident: ref15 doi: 10.1016/j.conengprac.2016.09.012 – year: 2007 ident: ref1 publication-title: Software Engineering – ident: ref11 doi: 10.1109/WODES.2016.7497884 – ident: ref24 doi: 10.1109/5.533956 – ident: ref18 doi: 10.1109/TCAD.2018.2864290 – ident: ref12 doi: 10.1016/j.conengprac.2018.01.010 – ident: ref28 doi: 10.3182/20140514-3-FR-4046.00125 – ident: ref20 doi: 10.1109/TII.2010.2068304 – ident: ref8 doi: 10.1109/ICSTW.2013.27 – ident: ref22 doi: 10.1016/j.conengprac.2010.10.001 – ident: ref17 doi: 10.1109/VTS.2011.5783749 – ident: ref19 doi: 10.1109/TIE.2017.2762621 – ident: ref4 doi: 10.1109/CoASE.2015.7294232 – ident: ref6 doi: 10.1002/stvr.456 – ident: ref7 doi: 10.1109/ETFA.2006.355407 – volume: 61 start-page: 5652 year: 2014 ident: ref21 article-title: WCET-aware partial control flow checking for soft error protection in resource-constrained real-time embedded systems publication-title: IEEE Trans Ind Electron doi: 10.1109/TIE.2014.2301752 – ident: ref14 doi: 10.1016/j.conengprac.2019.07.006 – ident: ref13 doi: 10.1109/TSE.2015.2421011 – ident: ref29 doi: 10.1007/s00170-008-1555-9 – ident: ref3 doi: 10.1109/ICSMC.2000.884356 – ident: ref5 doi: 10.1109/COASE.2016.7743494 – ident: ref26 doi: 10.1109/TII.2014.2315972 – ident: ref16 doi: 10.1109/TEST.1995.529879 – year: 2009 ident: ref23 publication-title: Introduction to Discrete Event Systems – ident: ref25 doi: 10.1109/TC.2014.2375181 – ident: ref10 doi: 10.1109/TII.2017.2695370 – year: 2014 ident: ref27 article-title: Technical report on conformance test of programmable logic controllers-Execution of minimum-length test sequences – ident: ref2 doi: 10.1109/TII.2013.2258165 |
| SSID | ssj0037039 |
| Score | 2.2918656 |
| Snippet | This article presents a design-to-test (DTT) approach for enhancing black-box complete conformance testing of programmable controllers, where their... |
| SourceID | proquest crossref ieee |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 6499 |
| SubjectTerms | Automation Black-box testing Conformance testing Design modifications design-to-test (DTT) finite state machine Finite state machines IEC Standards Informatics programmable controller Programmable controllers Safety critical single-input-change (SIC) Software Specifications Testability Unified modeling language |
| Title | Design-to-Test Approach for Programmable Controllers in Safety-Critical Automation Systems |
| URI | https://ieeexplore.ieee.org/document/8964436 https://www.proquest.com/docview/2419496380 |
| Volume | 16 |
| WOSCitedRecordID | wos000545243500027&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVIEE databaseName: IEEE/IET Electronic Library (IEL) (UW System Shared) customDbUrl: eissn: 1941-0050 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0037039 issn: 1551-3203 databaseCode: RIE dateStart: 20050101 isFulltext: true titleUrlDefault: https://ieeexplore.ieee.org/ providerName: IEEE |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LS8QwEB5UPOjB1yquL3LwIhg3faXNcfGBgojgKuKlJO0EhHVX1q7gv3eStsuCIngpPSRtmUnm0cx8H8Bxoqwy2kYcRWB4rEPaUlJLnhgtdWh0IT1_ytNteneXPT-r-wU4nfXCIKIvPsMzd-vP8stxMXW_ynqZIu8dyUVYTNO07tVqrW5EK1d5bNQk4FEoovZIUqje4OaGEsFQnIVKZrEDgJxzQZ5T5Ych9t7lav1_37UBa00Uyfq12jdhAUdbsDqHLdiBlwtfm8GrMR_QC1m_AQ9nFKWy-7oq6831TbHzulp9SIEgex2xB22x-uItBwLrT6tx3d_IGnjzbXi8uhycX_OGSIEXoQoqXoooNKWyCSprNKYSUUjayKVEKVKkoAYtYhxQNhygVFaShbSUcieGrhjYaAeWRuMR7gIzQoWOgoqijoIy69LoLE7SMtaUGpFDzLrQa2WbFw3KuCO7GOY-2xAqJ23kTht5o40unMxmvNcIG3-M7Tjpz8Y1gu_CQau-vNmCHzmFJip25kXs_T5rH1bcs-vKvANYqiZTPITl4rN6_Zgc-dX1DT-azcc |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PSxwxFH7oVlAPba0W19o2By-CcTOZmezkuNguLl0XwVWklyGZeQHB7orOCv73vmRmFkERehnmkJAhL-_X5L3vAzhItdPWuJijiCxPjCSVUkbx1BplpDWFCvwpV-P-ZJJdX-vzFTha9sIgYig-w2P_Gu7yy3mx8L_Kepkm7x2rVfiQJomM6m6t1u7GdHZ1QEdNIx5LEbeXkkL3pqMRpYJSHEutssRDQL5wQoFV5ZUpDv5l-On_vuwzfGziSDaoBb8FKzj7Apsv0AW34e-vUJ3Bqzmf0oJs0MCHM4pT2Xldl_XPd06xk7pe_ZZCQXYzYxfGYfXEWxYENlhU87rDkTUA5ztwOfw9PTnlDZUCL6SOKl6KWNpSuxS1swb7ClEoUuVSoRJ9pLAGHWISUT4codJOkY10lHSnlp4YufgrdGbzGe4Cs0JLT0JFcUdBuXVpTZak_TIxlByRS8y60Gv3Ni8anHFPd3Gbh3xD6JykkXtp5I00unC4nHFXY2y8M3bb7_5yXLPxXdhvxZc3SviQU3CiE29gxN7bs37C-un0bJyPR5M_32DDr1PX6e1Dp7pf4HdYKx6rm4f7H-GkPQMdF9EO |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Design-to-Test+Approach+for+Programmable+Controllers+in+Safety-Critical+Automation+Systems&rft.jtitle=IEEE+transactions+on+industrial+informatics&rft.au=Ma%2C+Canlong&rft.au=Provost%2C+Julien&rft.date=2020-10-01&rft.issn=1551-3203&rft.eissn=1941-0050&rft.volume=16&rft.issue=10&rft.spage=6499&rft.epage=6508&rft_id=info:doi/10.1109%2FTII.2020.2968480&rft.externalDBID=n%2Fa&rft.externalDocID=10_1109_TII_2020_2968480 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1551-3203&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1551-3203&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1551-3203&client=summon |