TY - GEN
T1 - Automatic generation of repair suggestions for overall I&C architecture represented with an ontology
AU - Ovsiannikova, Polina
AU - Pakonen, Antti
AU - Vyatkin, Valeriy
N1 - Publisher Copyright:
© 2023 IEEE.
PY - 2023
Y1 - 2023
N2 - We present an approach for suggesting possible fixes to an overall I&C nuclear architecture during its design phase. Despite the I&C architecture, in our case, being represented with an ontology, we do not aim to change the properties of an ontology per se. Instead, we focus on the subset of ABox triples that do not contain terminological elements in either subject, predicate, or object parts. Such a subset we call the design artifacts. When the ontology is filled with the design artifacts, the analyst runs the check of non-functional requirements using SPARQL queries. The requirements associated with the queries that returned results do not hold. The goal of the current work is to provide support for the next stage when the analyst has to change the design artifacts so that the queries no longer return results. Our method is based on representing the results of queries as graphs, intersecting them, and finding the minimal changes that prevent the results from being mapped on their (or other) queries.
AB - We present an approach for suggesting possible fixes to an overall I&C nuclear architecture during its design phase. Despite the I&C architecture, in our case, being represented with an ontology, we do not aim to change the properties of an ontology per se. Instead, we focus on the subset of ABox triples that do not contain terminological elements in either subject, predicate, or object parts. Such a subset we call the design artifacts. When the ontology is filled with the design artifacts, the analyst runs the check of non-functional requirements using SPARQL queries. The requirements associated with the queries that returned results do not hold. The goal of the current work is to provide support for the next stage when the analyst has to change the design artifacts so that the queries no longer return results. Our method is based on representing the results of queries as graphs, intersecting them, and finding the minimal changes that prevent the results from being mapped on their (or other) queries.
KW - I&C architecture
KW - non-functional requirements
KW - ontology, design repair
KW - safety-critical systems
UR - http://www.scopus.com/inward/record.url?scp=85175447358&partnerID=8YFLogxK
U2 - 10.1109/ETFA54631.2023.10275557
DO - 10.1109/ETFA54631.2023.10275557
M3 - Conference article in proceedings
AN - SCOPUS:85175447358
SN - 979-8-3503-3992-5
T3 - IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
SP - 1
EP - 8
BT - 2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation, ETFA 2023
PB - IEEE
T2 - IEEE International Conference on Emerging Technologies and Factory Automation
Y2 - 12 September 2023 through 15 September 2023
ER -