New method to reduce verification time of reconfigurable real-time systems using R-TNCESs formalism
Nowadays, several systems like manufacturing, aerospace, medical, and telecommunication
ones face new challenges such as fault-tolerance, response in time, flexibility, modularity …
ones face new challenges such as fault-tolerance, response in time, flexibility, modularity …
[PDF][PDF] On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment.
This paper deals with reconfigurable discrete event/control systems (RDECSs) that
dynamically change their structures due to external changes in environment or user …
dynamically change their structures due to external changes in environment or user …