Runtime safety assurance methods for cyber physical systems based on simplex architecture.
W Qiang, C Qiang, CAO Weipeng… - Journal of Shenzhen …, 2024 - search.ebscohost.com
Runtime safety assurance is a method that can ensure security attributes being satisfied
during system operation. The simplex architecture-based runtime safety assurance methods …
during system operation. The simplex architecture-based runtime safety assurance methods …
[PDF][PDF] Automata Theory Models and Algorithms for Controlling an Aircraft Group in Aviation sector
S Chambial - 2022 - academia.edu
Models and algorithms have been designed to monitor the landing phase when the location
of the aircraft in space is unknown due to undesirable, unforeseen external influences. The …
of the aircraft in space is unknown due to undesirable, unforeseen external influences. The …