Проектирование программных бортовых систем управления с поддержкой верификации

И. В. Шошмина

doi:undefined

Проектирование программных бортовых систем управления с поддержкой верификации

И. В. Шошмина

Полный текст:

Аннотация

Рассматривается проблема включения метода формальной верификации - проверки модели - в процесс проектирования сложных распределенных программных систем. В качестве центрального объекта проектирования предлагается использовать платформенно-независимую модель, которая строится на основе ядра системы, отвечающего за логическое управление всей системой как единым целым. Подход позволяет повысить качество разрабатываемого программного обеспечения и гарантировать соответствие задаваемой спецификации. Предлагаемая методика опробована на реальной системе управления энергоснабжением судна.

Ключ. слова

проектирование на основе модели, проверка модели, UML, LTL, Promela,

УДК: 519.68/.69

Об авторе
И. В. Шошмина

Санкт-Петербургский государственный политехнический университет
Россия

Список литературы

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.)

Просмотров: 8

Обратные ссылки

Обратные ссылки не определены.

Контент доступен под лицензией Creative Commons Attribution 4.0 License.

ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)

Логин
Пароль