Distributed Embedded Control System Design
with Verification Support

I. V. Shoshmina

Saint Petersburg State Polytechnical University, ul. Polytekhnicheskaya 29, Saint Petersburg, 195251 Russia

e-mail: ishoshmina@dcn.ftk.spbstu.ru, ishoshmina@dcn.ftk.spbtu.ru

Received October 25, 2010

Abstract—The problem of integrating a method of formal model verification into the process of design-
ing complex distributed software systems is considered. It is proposed to use a platform-independent
model as the central object of the design. It is developed on the basis of a system core responsible for
logical management of the entire system. The proposed approach makes it possible to increase the qual-
ity of the software and to guarantee the specification compliance. The proposed method is tested on a
real control system of a vessel’s power supply.

Keywords: model-driven engineering, model verification, UML, LTL, Promela

DOI: 10.3103/S0146411611070145

Pleiades Publishing home page | journal home page | top

If you have any problems with this server, contact webmaster.