{"id":"https://openalex.org/W2137407044","doi":"https://doi.org/10.1109/hase.2004.1281760","title":"Software design specification and analysis technique for the safety critical software based on programmable logic controller (PLC)","display_name":"Software design specification and analysis technique for the safety critical software based on programmable logic controller (PLC)","publication_year":2004,"publication_date":"2004-06-10","ids":{"openalex":"https://openalex.org/W2137407044","doi":"https://doi.org/10.1109/hase.2004.1281760","mag":"2137407044"},"language":"en","primary_location":{"id":"doi:10.1109/hase.2004.1281760","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hase.2004.1281760","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings.","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/A5067230948","display_name":"Seo Ryong Koo","orcid":null},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Seo Ryong Koo","raw_affiliation_strings":["Department of Nuclear and Quantum Engineering, Korea Advanced Institute of Science and Technology, Daejeon, South Korea","[Dept. of Nucl. & Quantum Eng., Korea Adv. Inst. of Sci. & Technol., Daejeon, South Korea]"],"affiliations":[{"raw_affiliation_string":"Department of Nuclear and Quantum Engineering, Korea Advanced Institute of Science and Technology, Daejeon, South Korea","institution_ids":["https://openalex.org/I157485424"]},{"raw_affiliation_string":"[Dept. of Nucl. & Quantum Eng., Korea Adv. Inst. of Sci. & Technol., Daejeon, South Korea]","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076619123","display_name":"Poong Hyun Seong","orcid":"https://orcid.org/0000-0001-5498-4277"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Poong Hyun Seong","raw_affiliation_strings":["Department of Nuclear and Quantum Engineering, Korea Advanced Institute of Science and Technology, Daejeon, South Korea","[Dept. of Nucl. & Quantum Eng., Korea Adv. Inst. of Sci. & Technol., Daejeon, South Korea]"],"affiliations":[{"raw_affiliation_string":"Department of Nuclear and Quantum Engineering, Korea Advanced Institute of Science and Technology, Daejeon, South Korea","institution_ids":["https://openalex.org/I157485424"]},{"raw_affiliation_string":"[Dept. of Nucl. & Quantum Eng., Korea Adv. Inst. of Sci. & Technol., Daejeon, South Korea]","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111418934","display_name":"Sung Deok","orcid":null},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Sung Deok Cha","raw_affiliation_strings":["Department of Electrical Engineering & Computer Science, Division of Computer Science, Korea Advanced Institute of Science and Technology, Daejeon, South Korea","Korea Advanced Institute of Science and Technology Department of Electrical Engineering and Computer Science Daejeon Korea"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering & Computer Science, Division of Computer Science, Korea Advanced Institute of Science and Technology, Daejeon, South Korea","institution_ids":["https://openalex.org/I157485424"]},{"raw_affiliation_string":"Korea Advanced Institute of Science and Technology Department of Electrical Engineering and Computer Science Daejeon Korea","institution_ids":["https://openalex.org/I157485424"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5067230948"],"corresponding_institution_ids":["https://openalex.org/I157485424"],"apc_list":null,"apc_paid":null,"fwci":0.3819,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.69050517,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"1","issue":null,"first_page":"283","last_page":"285"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.994700014591217,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11357","display_name":"Risk and Safety Analysis","score":0.9889000058174133,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6692270040512085},{"id":"https://openalex.org/keywords/programmable-logic-controller","display_name":"Programmable logic controller","score":0.6264917850494385},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.5909246802330017},{"id":"https://openalex.org/keywords/software-design","display_name":"Software design","score":0.513573408126831},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.4815424084663391},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.4559429883956909},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.4452873766422272},{"id":"https://openalex.org/keywords/functional-specification","display_name":"Functional specification","score":0.440195232629776},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.43650686740875244},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.406995952129364},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3932958245277405},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.3862508237361908},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.3506574034690857},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3338136374950409},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.16252872347831726},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1402517557144165}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6692270040512085},{"id":"https://openalex.org/C37374048","wikidata":"https://www.wikidata.org/wiki/Q188674","display_name":"Programmable logic controller","level":2,"score":0.6264917850494385},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.5909246802330017},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.513573408126831},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.4815424084663391},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.4559429883956909},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.4452873766422272},{"id":"https://openalex.org/C57371142","wikidata":"https://www.wikidata.org/wiki/Q16914225","display_name":"Functional specification","level":5,"score":0.440195232629776},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.43650686740875244},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.406995952129364},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3932958245277405},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.3862508237361908},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.3506574034690857},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3338136374950409},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.16252872347831726},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1402517557144165},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/hase.2004.1281760","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hase.2004.1281760","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings.","raw_type":"proceedings-article"},{"id":"pmh:oai:koasas.kaist.ac.kr:10203/806","is_oa":false,"landing_page_url":"http://hdl.handle.net/10203/806","pdf_url":null,"source":{"id":"https://openalex.org/S4306402435","display_name":"KAIST Institutional Repository (KAIST)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I157485424","host_organization_name":"Korea Advanced Institute of Science and Technology","host_organization_lineage":["https://openalex.org/I157485424"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W1936022305","https://openalex.org/W1940686192"],"related_works":["https://openalex.org/W3143526808","https://openalex.org/W2374939480","https://openalex.org/W2330019418","https://openalex.org/W3116151133","https://openalex.org/W2057728388","https://openalex.org/W2137223410","https://openalex.org/W1537590089","https://openalex.org/W2185884724","https://openalex.org/W2080089689","https://openalex.org/W2294850974"],"abstract_inverted_index":{"This":[0],"paper":[1],"introduces":[2],"the":[3,11,24,52,99],"software":[4,21,47,62,79],"design":[5,25,53,101],"specification":[6,54],"and":[7,36,59,83,91],"analysis":[8],"technique":[9],"for":[10,56,98],"safety-critical":[12],"system":[13,81],"based":[14],"on":[15],"programmable":[16],"logic":[17],"controller":[18],"(PLC).":[19],"During":[20],"development":[22],"phases,":[23],"should":[26],"perform":[27],"an":[28],"important":[29],"role":[30],"to":[31],"connect":[32],"between":[33],"requirements":[34,45],"phase":[35,38],"implementation":[37],"as":[39,76],"a":[40,66],"process":[41],"of":[42,72],"translating":[43],"problem":[44],"into":[46],"structures.":[48],"In":[49],"this":[50],"work,":[51],"features":[55],"nuclear":[57],"instrumentation":[58],"control":[60],"(I&C)":[61],"are":[63,95],"suggested":[64,97],"in":[65],"straight":[67],"forward":[68],"manner.":[69],"It":[70],"consists":[71],"four":[73],"major":[74],"specifications":[75],"follows;":[77],"database,":[78],"architecture,":[80],"behavior,":[82],"PLC":[84],"hardware":[85],"configuration.":[86],"Additionally,":[87],"correctness,":[88],"completeness,":[89],"consistency,":[90],"traceability":[92],"check":[93],"techniques":[94],"also":[96],"formal":[100],"analysis.":[102]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}