Distributed embedded control systems design with verification support
Abstract
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.
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.
About the Author
I. V. Shoshmina
Санкт-Петербургский государственный политехнический университет
Russian Federation
Russian Federation
References
1. Royce W. W. Managing the Development of Large Software Systems // Proceedings of the 9th International Software Engineering Conference. Computer Society Press, 1987. P. 328-338.
2. Model Driven Architecture (MDA). ormsc/2001-07-01: OMG, 2001.
3. Карпов Ю.Г. Model Checking. Верификация параллельных и распределенных программных систем. СПб: БХВ-Петербург, 2010.
4. Kruchten P. The Rational Unified Process: An Introduction. Addison-Wesley Longman Publishing Co., Inc. 2003.
5. Pages B. BoUML user manual. 2010. http:/bouml.free.fr.
6. Holzmann G. Spin Model Checker, The Primer and Reference Manual. Addison Wesley, 2003.
7. Валиков А.Н. Технология XSLT. СПб.: БХВ-Петербург, 2002.
8. OMG Unified Modeling Language (OMG UML), Superstructure, v2.1.2. Object Management Group (OMG), 2007. http://www.omg.org/spec/UML/2.1.2/Superstructure/PDF.
9. Шалыто А.А., Туккель Н.И. Проектирование программного обеспечения системы управления дизель-генераторами на основе автоматного подхода // Системы управления и обработки информации. СПб.: ФГУП «НПО «Аврора», 2003. Вып. 5. С. 62-82.
10. Калинов А.Я., Косачев А.С., Посыпкин М.А., Соколов А.А. Автоматическая генерация тестов для графического пользовательского интерфейса по UML-диаграммам действий // Труды института системного программирования РАН. М., 2004. Т. 8, ч. 1. С. 99-117
Review
For citations:
Shoshmina I.V. Distributed embedded control systems design with verification support. Modeling and Analysis of Information Systems. 2010;17(4):125-136. (In Russ.)
Views:
537
Email this article 