Preview

Труды Института системного программирования РАН

Расширенный поиск

Использование языка программирования Python для описания ограничений на архитектурные модели

https://doi.org/10.15514/ISPRAS-2015-27(5)-8

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

Аннотация

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

Об авторах

Е. В. Корныхин
ВМК МГУ
Россия


А. В. Хорошилов
ИСП РАН; ВМК МГУ; Московский физико-технический институт (государственный университет); НИУ ВШЭ
Россия


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

1. O. Gilles, J. Hugues. Expressing and enforcing user-defined constraints of AADL models. Proceedings of the 5th UML&AADL Workshop. 2010. PP. 337-342.

2. D. Cofer, A.Gacek, S.Miller, M.W. Whalen, B. LaValley, L. Sha. Compositional Verification of Architectural Models. NASA Formal Methods, Proceedings of the 4th International Symposium. 2012. PP. 126-140.

3. D. Albitskiy, A. Khoroshilov, I. Koverninskiy, M. Olshanskiy, A. Petrenko, A. Ugnenko. AADL-Based Toolset for IMA System Design and Integration. SAE International Journal of Aerospace. 2012, 5. PP. 294-299. doi:10.4271/2012-01-2146.

4. Д.В. Буздалов, С.В. Зеленов, Е.В. Корныхин, А.К. Петренко, А.В. Страх, А.А. Угненко, А.В. Хорошилов. Инструментальные средства проектирования систем интегрированной модульной авионики. Труды Института системного программирования РАН. 2014, т.26, вып. 1. с.201-230. doi:10.15514/ISPRAS-2014-26(1)-6.


Для цитирования:


Корныхин Е.В., Хорошилов А.В. Использование языка программирования Python для описания ограничений на архитектурные модели. Труды Института системного программирования РАН. 2015;27(5):143-156. https://doi.org/10.15514/ISPRAS-2015-27(5)-8

For citation:


Kornykhin E..., Khoroshilov A... Python-based constraint language for architecture models. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2015;27(5):143-156. (In Russ.) https://doi.org/10.15514/ISPRAS-2015-27(5)-8

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


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


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)