Geodesic
Distributed embedded control systems design with verification support
Modelirovanie i analiz informacionnyh sistem, Tome 17 (2010) no. 4, pp. 125-136

Voir la notice de l'article provenant de la source Math-Net.Ru

We consider a problem of integrating a formal method of verification (model checking) into the process of designing complex distributed software systems to improve the quality of software. We use an approach based on the Model-Driven Engineering. It allows us to structure the design process by selecting and verifying a system core, consisting of independent subsystems and being responsible for logical management of the entire system as a whole. The proposed method was tested on a real control system of vessel power supply.
Keywords: Model-Driven Engineering, model checking, UML, LTL
Mots-clés : Promela. 
@article{MAIS_2010_17_4_a12,
     author = {I. V. Shoshmina},
     title = {Distributed embedded control systems design  with verification support},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {125--136},
     publisher = {mathdoc},
     volume = {17},
     number = {4},
     year = {2010},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2010_17_4_a12/}
}
TY  - JOUR
AU  - I. V. Shoshmina
TI  - Distributed embedded control systems design  with verification support
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2010
SP  - 125
EP  - 136
VL  - 17
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2010_17_4_a12/
LA  - ru
ID  - MAIS_2010_17_4_a12
ER  - 
%0 Journal Article
%A I. V. Shoshmina
%T Distributed embedded control systems design  with verification support
%J Modelirovanie i analiz informacionnyh sistem
%D 2010
%P 125-136
%V 17
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2010_17_4_a12/
%G ru
%F MAIS_2010_17_4_a12
I. V. Shoshmina. Distributed embedded control systems design  with verification support. Modelirovanie i analiz informacionnyh sistem, Tome 17 (2010) no. 4, pp. 125-136. http://geodesic.mathdoc.fr/item/MAIS_2010_17_4_a12/