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 …
Towards a new methodology for design, modelling, and verification of reconfigurable distributed control systems based on a new extension to the IEC 61499 standard
S Guellouz Ep Addad - 2021 - publikationen.sulb.uni-saarland.de
In order to meet user requirements and system environment changes, reconfigurable control
systems must dynamically adapt their structure and behaviour without disrupting system …
systems must dynamically adapt their structure and behaviour without disrupting system …
[PDF][PDF] Towards a New Methodology for Design, Modelling, and Verification of Reconfigurable Distributed Control Systems based on a New Extension to the IEC …
SGE Addad - 2021 - core.ac.uk
In order to meet user requirements and system environment changes, reconfigurable control
systems must dynamically adapt their structure and behavior without disrupting system …
systems must dynamically adapt their structure and behavior without disrupting system …
On Improving R-TNCES Rebuilding for Reconfigurable Real-Time Systems
This paper deals with improved verification of real-time systems that extend the classical
formal verification with the rebuilding of reconfigurable timed net condition event systems (R …
formal verification with the rebuilding of reconfigurable timed net condition event systems (R …