Abstract:
Stateful priorities are used for imposing precise restrictions on system actions, in order to meet safety constraints. Those priorities restrict erroneous system behavior...Show MoreMetadata
Abstract:
Stateful priorities are used for imposing precise restrictions on system actions, in order to meet safety constraints. Those priorities restrict erroneous system behavior, whereas safe system behavior remains unrestricted. In this work, we present the design of the tool CrEStO, which obtains those priorities, and we extend its query support. We also present several examples, experiments and point out future research work.
Date of Conference: 07-10 September 2020
Date Added to IEEE Xplore: 23 October 2020
ISBN Information:
Print on Demand(PoD) ISSN: 2641-810X