Loading [MathJax]/extensions/TeX/extpfeil.js
CrEStO: A Tool for Synthesizing Stateful Priorities | IEEE Conference Publication | IEEE Xplore

CrEStO: A Tool for Synthesizing Stateful Priorities


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 More

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
Conference Location: Munich, Germany

Contact IEEE to Subscribe

References

References is not available for this document.