Formal Verification of Nonfunctional Requirements of Overall Instrumentation and Control Architectures

Formal Verification of Nonfunctional Requirements of Overall Instrumentation and Control Architectures

The design of safety-critical cyber–physical systems requires a rigorous check of their operation logic, as well as an analysis of their overall instrumentation and control (I&C) architectures. In this article, we focus on the latter and use formal verification methods to reason a...

Full description

Saved in:
Bibliographic Details
Main Authors: Polina Ovsiannikova, Antti Pakonen, Dmitry Muromsky, Maksim Kobzev, Viktor Dubinin, Valeriy Vyatkin
Format: Article
Language:English
Published: IEEE 2024-01-01
Series:IEEE Open Journal of the Industrial Electronics Society
Subjects:
Function block diagrams (FBDs)
instrumentation and control (I&C) architecture
logical programming
nonfunctional requirements
ontology
safety-critical systems
Online Access:https://ieeexplore.ieee.org/document/10555152/
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://ieeexplore.ieee.org/document/10555152/

Similar Items