English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Improving the effectiveness and safety of patient care is the ultimateobjective for medical cyber-physical systems. Many medical best practiceguidelines exist, but most of the existing guidelines in handbooks aredifficult for medical staff to remember and apply clinically. Furthermore,although the guidelines have gone through clinical validations, validations bymedical professionals alone do not provide guarantees for the safety of medicalcyber-physical systems. Hence, formal verification is also needed. The paperpresents the formal semantics for a framework that we developed to support thedevelopment of verifiably safe medical guidelines.  The framework allows computer scientists to work together with medicalprofessionals to transform medical best practice guidelines into executablestatechart models, Yakindu in particular, so that medical functionalities andproperties can be quickly prototyped and validated. Existing formalverification technologies, UPPAAL timed automata in particular, is integratedinto the framework to provide formal verification capabilities to verify safetyproperties. However, some components used/built into the framework, such as theopen-source Yakindu statecharts as well as the transformation rules fromstatecharts to timed automata, do not have built-in semantics. The ambiguitybecomes unavoidable unless formal semantics is defined for the framework, whichis what the paper is to present.

Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts