Link to the University of Pittsburgh Homepage
Link to the University Library System Homepage Link to the Contact Us Form

Designing Secure and Resilient Cyber-Physical Systems Using Formal Models

Lois, Robert and Cole, Daniel (2022) Designing Secure and Resilient Cyber-Physical Systems Using Formal Models. (Submitted)

Download (325kB) | Preview


This work-in-progress paper proposes a design methodology that addresses the complexity and heterogeneity of cyber-physical systems (CPS) while simultaneously proving resilient control logic and security properties. The design methodology involves a formal methods-based approach by translating the complex control logic and security properties of a water flow CPS into timed automata. Timed automata are a formal model that describes system behaviors and properties using mathematics-based logic languages with precision. Due to the semantics that are used in developing the formal models, verification techniques, such as theorem proving and model checking, are used to mathematically prove the specifications and security properties of the CPS. This work-in-progress paper aims to highlight the need for formalizing plant models by creating a timed automata of the physical portions of the water flow CPS. Extending the time automata with control logic, network security, and privacy control processes is investigated. The final model will be formally verified to prove the design specifications of the water flow CPS to ensure efficacy and security.


Social Networking:
Share |


Item Type: Article
Status: Submitted
CreatorsEmailPitt UsernameORCID
Lois, Robertrol45@pitt.eduROL450000-0002-9356-8468
Cole, Danieldgcole@pitt.edudgcole0000-0001-9541-3198
Date: 27 September 2022
Schools and Programs: Swanson School of Engineering > Mechanical Engineering
Refereed: Yes
Article Type: Invited Article
Date Deposited: 20 Sep 2022 12:11
Last Modified: 20 Sep 2022 12:11


Monthly Views for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item