[HTML][HTML] CRYSTAL framework: Cybersecurity assurance for cyber-physical systems
F Moradi, SA Asadollah, B Pourvatan… - Journal of Logical and …, 2024 - Elsevier
We propose CRYSTAL framework for automated cybersecurity assurance of cyber-physical
systems (CPS) at design-time and runtime. We build attack models and apply formal …
systems (CPS) at design-time and runtime. We build attack models and apply formal …
[HTML][HTML] Verification of cyberphysical systems
The value of verification of cyberphysical systems depends on the relationship between the
state of the software and the state of the physical system. This relationship can be complex …
state of the software and the state of the physical system. This relationship can be complex …
A property specification pattern catalog for real-time system verification with UPPAAL
Context: The goal of specification pattern catalogs for real-time requirements is to mask the
complexity of specifying such requirements in a timed temporal logic for verification. For this …
complexity of specifying such requirements in a timed temporal logic for verification. For this …
Model checking software in cyberphysical systems
Model checking a software system is about verifying that the state trajectory of every
execution of the software satisfies formally specified properties. The set of possible …
execution of the software satisfies formally specified properties. The set of possible …
An actor-based approach for security analysis of cyber-physical systems
F Moradi, S Abbaspour Asadollah… - Formal Methods for …, 2020 - Springer
In this work, we present an actor-based approach for security analysis of Cyber-Physical
Systems at the design phase. We use Timed Rebeca, an actor-based modeling language, to …
Systems at the design phase. We use Timed Rebeca, an actor-based modeling language, to …
[HTML][HTML] Towards a verification-driven iterative development of software for safety-critical cyber-physical systems
Software systems are complicated, and the scientific and engineering methodologies for
software development are relatively young. Cyber-physical systems are now in every corner …
software development are relatively young. Cyber-physical systems are now in every corner …
An initial study of quality assurance techniques for automated water level control systems
A Kartbayev - E3S Web of Conferences, 2023 - e3s-conferences.org
This study aims to formulate requirements for models and programs of cyber-physical
systems through an investigation of existing approaches to dynamic verification of control …
systems through an investigation of existing approaches to dynamic verification of control …
[PDF][PDF] Journal of Logical and Algebraic Methods in Programming
F Moradi, SA Asadollah, B Pourvatan… - Journal of Logical …, 2024 - rebeca-lang.org
We propose CRYSTAL framework for automated cybersecurity assurance of cyber-physical
systems (CPS) at design-time and runtime. We build attack models and apply formal …
systems (CPS) at design-time and runtime. We build attack models and apply formal …
[PDF][PDF] Towards a Verification-Driven Iterative Development of Cyber-Physical System
Software systems are complicated, and the scientific and engineering methodologies for
software development are relatively young. Cyber-physical systems are now in every corner …
software development are relatively young. Cyber-physical systems are now in every corner …