Проектирование программных бортовых систем управления с поддержкой верификации
Аннотация
Рассматривается проблема включения метода формальной верификации - проверки модели - в процесс проектирования сложных распределенных программных систем. В качестве центрального объекта проектирования предлагается использовать платформенно-независимую модель, которая строится на основе ядра системы, отвечающего за логическое управление всей системой как единым целым. Подход позволяет повысить качество разрабатываемого программного обеспечения и гарантировать соответствие задаваемой спецификации. Предлагаемая методика опробована на реальной системе управления энергоснабжением судна.
Список литературы
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
Для цитирования:
Шошмина И.В. Проектирование программных бортовых систем управления с поддержкой верификации. Моделирование и анализ информационных систем. 2010;17(4):125-136.
For citation:
Shoshmina I.V. Distributed embedded control systems design with verification support. Modeling and Analysis of Information Systems. 2010;17(4):125-136. (In Russ.)
Просмотров: 226
Послать статью по эл. почте 