Cyber Physical System Verification |
Author(s): |
| Vivek Kumar V , M.S. Engineering College; Manu R , M.S. Engineering College |
Keywords: |
| Cyber Physical System, Model Checking |
Abstract |
|
A malicious attack can danger human life and pollute environment on a cyber-physical system (CPS). Therefore it is successfully attacking a CPS needs and the knowledge of information technology (IT) and also the domain knowledge of the system’s operation technology (OT). Hence, it is critical to identify the vulnerabilities of a CPS. This paper proposes is to verify the cps with model checking using uppaal model checking to enhance cyber security. In this analysis, we consider unsafe situations to be the result of a potentially effective security attack. Therefore, we suggested a systematic method to generate security constraints based on the safety check of the CPS and then enhance these security constraints by security verification using model checking with UPPAAL. |
Other Details |
|
Paper ID: IJSRDV10I60036 Published in: Volume : 10, Issue : 6 Publication Date: 01/09/2022 Page(s): 61-63 |
Article Preview |
|
|
|
|
