Detail publikace

Domain Specific Modelling for Reconfigurable Distributed Embedded Control Systems

RICHTA, T.; JANOUŠEK, V.; NIKDO, N. Tvorba informačních systémů pomocí transformací modelů. ACIIDS 2018. Brno: Faculty of Electrical Engineering, Czech Technical University, 2018. s. 447-452. ISBN: 978-80-214-5543-6.
Název česky
Doménově specifické modelování pro rekonfigurovatelné distribuované vestavné řídící systémy
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Richta Tomáš, Ing., Ph.D.
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
NIKDO, N.
Klíčová slova

distributed, embedded, control systems, domain specific languages, model driven software engineering, executable models, Petri nets, formal analysis, software methodologies

Abstrakt

Konstrukční proces distribuovaných vestavných řídících systémů je obvykle založen na přímém programování pomocí nízkoúrovňových jazyků, jejich následnou kompúilaci a nahrání na paměti cílových zařízení. Tento postup činí vývoj takových systémů velmi rigidním a nákladným. K tomu navíc dnešní vestavmné systémy nabývají poměrně rozsáhlách rozměrů činících často desítky až stovky propojených uzlů, které stále náročnější udržovat. V tomto článklu se snažíme tyto dva základní problémy překlenout použitím doménově specifických jazyků a formálních specifikací, konkrétně Petriho sítí a jejich transformací. problémy překlenout použitím doménově specifických jazyků a formálních specifikací, konkrétně Petriho sítí a jejich transformací.

Rok
2018
Strany
447–452
Sborník
ACIIDS 2018
ISBN
978-80-214-5543-6
Vydavatel
Faculty of Electrical Engineering, Czech Technical University
Místo
Brno
BibTeX 
@inproceedings{BUT155088,
  author="RICHTA, T. and JANOUŠEK, V. and NIKDO, N.",
  title="Domain Specific Modelling for Reconfigurable Distributed Embedded Control Systems",
  booktitle="ACIIDS 2018",
  year="2018",
  pages="447--452",
  publisher="Faculty of Electrical Engineering, Czech Technical University",
  address="Brno",
  isbn="978-80-214-5543-6"
}
Nahoru