Loading...
Please wait, while we are loading the content...
Similar Documents
Formal Verification of Control Modules in Cyber-Physical Systems
| Content Provider | MDPI |
|---|---|
| Author | Grobelna, Iwona |
| Copyright Year | 2020 |
| Description | The paper proposes a novel formal verification method for a state-based control module of a cyber-physical system. The initial specification in the form of user-friendly UML state machine diagrams is written as an abstract rule-based logical model. The logical model is then used both for formal verification using the model checking technique and for prototype implementation in FPGA devices. The model is automatically transformed into a verifiable model in nuXmv format and into synthesizable code in VHDL language, which ensures that the resulting models are consistent with each other. It also allows the early detection of any errors related to the specification. A case study of a manufacturing automation system is presented to illustrate the approach. |
| Starting Page | 5154 |
| e-ISSN | 14248220 |
| DOI | 10.3390/s20185154 |
| Journal | Sensors |
| Issue Number | 18 |
| Volume Number | 20 |
| Language | English |
| Publisher | MDPI |
| Publisher Date | 2020-09-10 |
| Access Restriction | Open |
| Subject Keyword | Sensors Industrial Engineering Control Systems Cyber-physical Systems Formal Verification Manufacturing Systems Model Checking |
| Content Type | Text |
| Resource Type | Article |
