VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper). / Naumchev, Alexandr; Sadovykh, Andrey; Ivanov, Vladimir.
VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper). Springer, 2019. p. 351-363 30 (Software Technology: Methods and Tools; Vol. 11771).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review
}
TY - CHAP
T1 - VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper)
AU - Naumchev, Alexandr
AU - Sadovykh, Andrey
AU - Ivanov, Vladimir
N1 - Naumchev, A., Sadovykh, A., Ivanov, V. VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper) / A. Naumchev, A. Sadovykh, V. Ivanov // Software Technology: Methods and Tools. TOOLS 2019. Lecture Notes in Computer Science() // Mazzara, M., Bruel, JM., Meyer, B., Petrenko, A. (eds). - Springer, Cham.: 2019. - 11771. - P.351-363. - DOI: 10.1007/978-3-030-29852-4_30
PY - 2019/10/8
Y1 - 2019/10/8
N2 - Formal specification, model checking and model-based testing are recommended techniques for engineering of mission-critical systems. In the meantime, those techniques struggle to obtain wide adoption due to inherent learning barrier, i.e. it is considered difficult to use those methods. There is also a common difficulty in translating the specifications in natural language, a common practice nowadays, to formal specifications. In this position paper we discuss the concept of an end-to-end methodology that helps identify specifications from various sources, automatically create formal specifications and apply them to verification of cyber-physical systems. Thus, we intent to address the challenges of creation of formal specifications in an efficient automated and tool-supported manner. The novelty of the approach is analyzed through a survey of state of the art. It is currently planned to implement this concept and evaluate it with industrial case studies.
AB - Formal specification, model checking and model-based testing are recommended techniques for engineering of mission-critical systems. In the meantime, those techniques struggle to obtain wide adoption due to inherent learning barrier, i.e. it is considered difficult to use those methods. There is also a common difficulty in translating the specifications in natural language, a common practice nowadays, to formal specifications. In this position paper we discuss the concept of an end-to-end methodology that helps identify specifications from various sources, automatically create formal specifications and apply them to verification of cyber-physical systems. Thus, we intent to address the challenges of creation of formal specifications in an efficient automated and tool-supported manner. The novelty of the approach is analyzed through a survey of state of the art. It is currently planned to implement this concept and evaluate it with industrial case studies.
KW - Co-simulation
KW - Cyber-physical systems (CPS)
KW - Digital twin
KW - Formal specification
KW - Language processing
KW - Model-based testing
KW - Multi-modelling
KW - Natural
KW - Traceability
KW - Verification
UR - https://www.mendeley.com/catalogue/720133ee-a775-315a-b493-bd8006484e56/
U2 - 10.1007/978-3-030-29852-4_30
DO - 10.1007/978-3-030-29852-4_30
M3 - Chapter
SN - 978-3-030-29851-7
T3 - Software Technology: Methods and Tools
SP - 351
EP - 363
BT - VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper)
PB - Springer
ER -
ID: 65526060