REAL

Formal Compositional Semantics for Yakindu Statecharts

Graics, Bence and Molnár, Vince (2017) Formal Compositional Semantics for Yakindu Statecharts. In: Proceedings of the 24th PhD Mini-Symposium. BME MIT, Budapest, pp. 22-25. ISBN 978-963-313-243-2

[img]
Preview
Text
Minisy2017_Graics_PDFA.pdf

Download (582kB) | Preview

Abstract

Many of today’s safety-critical systems are reactive, embedded systems. Their internal behavior is usually represented by state-based models. Furthermore, as the tasks carried out by such systems are getting more and more complex, there is a strong need for compositional modeling languages. Such modeling formalisms start from the component-level and use composition to build the system-level model as a collection of simple modules. There are a number of solutions supporting the model-based development of safety-critical embedded systems. One of the popular open-source tools is Yakindu, a statechart editor with a rich language and code generation capabilities. However, Yakindu so far lacks support for compositional modeling. This paper proposes a formal compositional language tailored to the semantics of Yakindu statecharts. We propose precise semantics for the composition to facilitate formal analysis and precise code generation. Based on the formal basis laid out here, we plan to build a complete tool-chain for the design and verification of component- based reactive systems.

Item Type: Book Section
Subjects: Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány
SWORD Depositor: MTMT SWORD
Depositing User: MTMT SWORD
Date Deposited: 31 Jul 2017 14:28
Last Modified: 31 Jul 2017 14:28
URI: http://real.mtak.hu/id/eprint/57666

Actions (login required)

Edit Item Edit Item