{"id":"https://openalex.org/W1967381861","doi":"https://doi.org/10.1109/iecon.2012.6389446","title":"Extending the verification coverage for PLC control programs: A functional safety approach","display_name":"Extending the verification coverage for PLC control programs: A functional safety approach","publication_year":2012,"publication_date":"2012-10-01","ids":{"openalex":"https://openalex.org/W1967381861","doi":"https://doi.org/10.1109/iecon.2012.6389446","mag":"1967381861"},"language":"en","primary_location":{"id":"doi:10.1109/iecon.2012.6389446","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iecon.2012.6389446","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5051898547","display_name":"Cleber A. Sarmento","orcid":null},"institutions":[{"id":"https://openalex.org/I17974374","display_name":"Universidade de S\u00e3o Paulo","ror":"https://ror.org/036rp1748","country_code":"BR","type":"education","lineage":["https://openalex.org/I17974374"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Cleber A. Sarmento","raw_affiliation_strings":["Escola Politecnica, University of Sao Paulo, Brazil","University of S\u00e3o Paulo,Escola Polit\u00e9cnica,,,,Brazil"],"affiliations":[{"raw_affiliation_string":"Escola Politecnica, University of Sao Paulo, Brazil","institution_ids":["https://openalex.org/I17974374"]},{"raw_affiliation_string":"University of S\u00e3o Paulo,Escola Polit\u00e9cnica,,,,Brazil","institution_ids":["https://openalex.org/I17974374"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029082603","display_name":"Diolino Jos\u00e9 dos Santos Filho","orcid":"https://orcid.org/0000-0002-3578-8905"},"institutions":[{"id":"https://openalex.org/I17974374","display_name":"Universidade de S\u00e3o Paulo","ror":"https://ror.org/036rp1748","country_code":"BR","type":"education","lineage":["https://openalex.org/I17974374"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Diolino J. Santos Filho","raw_affiliation_strings":["Escola Politecnica, University of Sao Paulo, Brazil","University of S\u00e3o Paulo,Escola Polit\u00e9cnica,,,,Brazil"],"affiliations":[{"raw_affiliation_string":"Escola Politecnica, University of Sao Paulo, Brazil","institution_ids":["https://openalex.org/I17974374"]},{"raw_affiliation_string":"University of S\u00e3o Paulo,Escola Polit\u00e9cnica,,,,Brazil","institution_ids":["https://openalex.org/I17974374"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009706404","display_name":"Paulo Eigi Miyagi","orcid":"https://orcid.org/0000-0001-6409-7591"},"institutions":[{"id":"https://openalex.org/I17974374","display_name":"Universidade de S\u00e3o Paulo","ror":"https://ror.org/036rp1748","country_code":"BR","type":"education","lineage":["https://openalex.org/I17974374"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Paulo E. Miyagi","raw_affiliation_strings":["Escola Politecnica, University of Sao Paulo, Brazil","University of S\u00e3o Paulo,Escola Polit\u00e9cnica,,,,Brazil"],"affiliations":[{"raw_affiliation_string":"Escola Politecnica, University of Sao Paulo, Brazil","institution_ids":["https://openalex.org/I17974374"]},{"raw_affiliation_string":"University of S\u00e3o Paulo,Escola Polit\u00e9cnica,,,,Brazil","institution_ids":["https://openalex.org/I17974374"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5051898547"],"corresponding_institution_ids":["https://openalex.org/I17974374"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06271729,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2280","issue":null,"first_page":"2833","last_page":"2838"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.72597736120224},{"id":"https://openalex.org/keywords/functional-safety","display_name":"Functional safety","score":0.7190184593200684},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7126467227935791},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.664436936378479},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.6211599111557007},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5169769525527954},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.5014896392822266},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.48573237657546997},{"id":"https://openalex.org/keywords/programmable-logic-controller","display_name":"Programmable logic controller","score":0.4856494665145874},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.45992928743362427},{"id":"https://openalex.org/keywords/fault-injection","display_name":"Fault injection","score":0.45521801710128784},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4494922161102295},{"id":"https://openalex.org/keywords/life-critical-system","display_name":"Life-critical system","score":0.44890090823173523},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.44081854820251465},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.4340721368789673},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.37945181131362915},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.21035510301589966},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19049802422523499},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15600815415382385},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.11898192763328552}],"concepts":[{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.72597736120224},{"id":"https://openalex.org/C148493468","wikidata":"https://www.wikidata.org/wiki/Q2646951","display_name":"Functional safety","level":2,"score":0.7190184593200684},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7126467227935791},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.664436936378479},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.6211599111557007},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5169769525527954},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.5014896392822266},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.48573237657546997},{"id":"https://openalex.org/C37374048","wikidata":"https://www.wikidata.org/wiki/Q188674","display_name":"Programmable logic controller","level":2,"score":0.4856494665145874},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.45992928743362427},{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.45521801710128784},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4494922161102295},{"id":"https://openalex.org/C163707989","wikidata":"https://www.wikidata.org/wiki/Q1996307","display_name":"Life-critical system","level":3,"score":0.44890090823173523},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.44081854820251465},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.4340721368789673},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.37945181131362915},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.21035510301589966},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19049802422523499},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15600815415382385},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.11898192763328552},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/iecon.2012.6389446","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iecon.2012.6389446","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.466.3663","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.466.3663","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://143.107.99.53/iecon2009/iecon09/docs/2462-pf-017256.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W132594803","https://openalex.org/W279964490","https://openalex.org/W651904276","https://openalex.org/W1495461922","https://openalex.org/W2000947342","https://openalex.org/W2080453157","https://openalex.org/W2115116604","https://openalex.org/W2514363264","https://openalex.org/W4241963873"],"related_works":["https://openalex.org/W140071659","https://openalex.org/W2175282463","https://openalex.org/W2550610062","https://openalex.org/W2083079753","https://openalex.org/W2052081132","https://openalex.org/W2002430904","https://openalex.org/W190944427","https://openalex.org/W1555184438","https://openalex.org/W2099826615","https://openalex.org/W2011419363"],"abstract_inverted_index":{"Programmable":[0],"logic":[1],"controller":[2],"is":[3,22,51,155],"becoming":[4],"the":[5,30,33,44,47,68,77,95,110,117,166,170],"most":[6],"important":[7],"device":[8],"adopted":[9],"for":[10,20,67],"controlling":[11],"productive":[12],"systems":[13],"classified":[14],"as":[15,140],"safety-related.":[16],"The":[17],"main":[18],"reason":[19],"that":[21,28,106,145],"associated":[23],"to":[24,83,109,157],"advances":[25,72],"in":[26,43,49,89,103,136,161,169],"technology":[27],"improve":[29],"reliability":[31,50],"of":[32,38,63,79,119,127],"hardware":[34,45],"and":[35,60,81,123],"software":[36,70],"components":[37,56],"such":[39,120],"a":[40,99,121],"controller.":[41],"While":[42],"context":[46],"increase":[48],"attained":[52],"by":[53],"using":[54],"electronic":[55],"with":[57],"redundancy,":[58],"diversity,":[59],"low":[61],"probability":[62],"failure":[64],"on":[65,76],"demand,":[66],"safety-related":[69],"these":[71,162],"are":[73,138,146],"mostly":[74],"dependent":[75],"use":[78],"techniques":[80],"procedures":[82],"reduce":[84],"or":[85],"eliminate":[86],"design":[87],"errors":[88,160,168],"control":[90,133,171],"programs.":[91,172],"In":[92],"this":[93,151],"direction":[94],"IEC61508":[96],"was":[97],"established,":[98],"worldwide":[100],"recognized":[101],"reference":[102],"functional":[104,159],"safety":[105],"significantly":[107],"contributes":[108],"aforementioned":[111],"advances.":[112],"This":[113],"work":[114],"benefits":[115],"from":[116],"recommendations":[118],"standard,":[122],"proposes":[124],"an":[125],"extension":[126],"our":[128],"previous":[129],"approach,":[130],"where":[131],"PLC":[132],"programs":[134],"written":[135],"LD":[137],"modeled":[139],"extended":[141],"finite":[142],"state":[143],"machines":[144,163],"afterward":[147],"formally":[148],"verified.":[149],"From":[150],"verification":[152],"process,":[153],"it":[154],"possible":[156],"identify":[158],"and,":[164],"consequently,":[165],"related":[167]},"counts_by_year":[],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}