Domain Specific Modelling for Reconfigurable Distributed Embedded Control Systems

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F18%3APU130780" target="_blank" >RIV/00216305:26230/18:PU130780 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Domain Specific Modelling for Reconfigurable Distributed Embedded Control Systems

Original language description

Construction process of Distributed Embedded Control Systems (DECS) is typically based on direct programming in low-level languages and compilation of binary executable intended to run on target platforms or operating systems. That makes the construction process very rigid and expensive. In addition to that, todays DECSs consist of tens or hundreds of interrelated nodes and thus represent a very complex environment for system programmers to maintain. Model-Driven Software Engineering (MDSE) for Embedded Systems solve the problem of complexity by a higher level of abstraction and formal definitions approach. In this paper we describe a methodology that bases on the usage of Domain Specific Modelling Languages (DSMLs) and formal methods for DECSs specification and their further transformation into the Reference Petri Nets (RPN) model directly runnable as a system simulation. The RPN implementation is finally translated into the interpretable form of the model and deployed on physical nodes of the system and run by a specialized virtual machine called Petri Nets Virtual Machine (PNVM). Among the major advantages of our approach, that will be explained in this paper belong: (i) the ability of domain experts to understand the DSML specification of the system and therefore directly participate within its construction process, (ii) formally defined, but still Touring complete intermediate language - reflecting the distributed, concurrent and synchronised features of the system, as well as (iii) the actor properties of every part of the system functionality and the possibility of its migration across the running model, and also the (iv) platform independence of each part of the system and the possibility to modify parts at run-time, as well as (v) the possibility of selected automated formal analysis of the constructed model of the system.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

—

Continuities

S - Specificky vyzkum na vysokych skolach

Publication year

2018

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

ACIIDS 2018

ISBN

978-80-214-5543-6

ISSN

—

e-ISSN

—

Number of pages

10

Pages from-to

447-452

Publisher name

Faculty of Electrical Engineering, Czech Technical University

Place of publication

Brno

Event location

Brno

Event date

Dec 5, 2018

Type of event by nationality

CST - Celostátní akce

UT code for WoS article

—