Использование языка программирования Python для описания ограничений на архитектурные модели
https://doi.org/10.15514/ISPRAS-2015-27(5)-8
Аннотация
Об авторах
Е. В. КорныхинРоссия
А. В. Хорошилов
Россия
Список литературы
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