Preview

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

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

Способ статической оценки времени работы компонентов AADL-моделей

https://doi.org/10.15514/ISPRAS-2016-28(2)-10

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

Аннотация

При проектировании современных систем авионики, а также других ответственных систем, неотъемлемой частью разработки является моделирование этих систем. Модели могут использоваться для проверок и валидации системы, в том числе на ранних этапах разработки. Ранняя валидация важна из-за того, что стоимость исправления ошибок растёт экспоненциально от времени внесения этой ошибки. Для моделирования такого рода систем широко используется язык моделирования AADL, позволяющий моделировать как архитектуру разрабатываемых систем, так и некоторые поведенческие характеристики компонентов модели. В статье рассматривается задача автоматизированной проверки модели на консистентность некоторых поведенческих свойств. В частности, рассматривается проблема оценки времени работы компонентов моделей и соответствия этого времени другим свойствам в модели. Эта проблема близка к проблеме худшего времени выполнения (WCET), но имеет свою специфику в данном приложении. Рассмотрен статический подход, работающий со стандартной спецификацией поведения компонентов AADL-моделей специализированными расширенными конечными автоматами. В статье были рассмотрены особенности используемой модели поведения (специализированных конечных автоматов), в частности, за счёт работы автомата со временем и внешними событиями. Были рассмотрены проблемы оценки времени работы таких моделей поведения, связанные с нелокальностью этой характеристики в ряде случаев. Был рассмотрен важный частный случай, а также общий случай этой проблемы. В статье предлагается алгоритм, позволяющий оценить время работы таких моделей поведения в этих случаях. Данные алгоритм реализован и используется в среде разработки AADL-моделей АРМ СИ (MASIW).

Об авторах

А. М. Троицкий
Институт системного программирования РАН
Россия


Д. В. Буздалов
Институт системного программирования РАН
Россия


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

1. B. C. Watkins, “Transitioning from federated avionics architecture to Integrated Modular Avionics”, AIAA 26th Digital Avionics Systems Conference, 2007.

2. Architecture Analysis & Design Language (AADL), SAE International standard AS5506B, SAE International, 2012, http://standards.sae.org/as5506b/.

3. Architecture Analysis & Design Language (AADL), Annex Volume 2, Behavior Model Annex, SAE International, 2011, http://standards.sae.org/as5506/2/.

4. E.W. Dijkstra, “A note on two problems in connexion with graphs”, Numerische Mathematik, 1959.

5. R.E. Tarjan, “Depth-first search and linear graph algorithms”, SIAM Journal on Computing, 1972.

6. O. I. Al-Bataineh, “Verifying worst-case execution time of timed automata models with cyclic behaviour”. Ph. D. dissertation, School of Computer Science & Software Engineering, 2015.

7. D. Buzdalov, S. Zelenov, E. Kornykhin, A. Petrenko, A. Strakh, A. Ugnenko, and A. Khoroshilov, “Tools for system design of integrated modular avioics”. Trudy ISP RAN/Proc. ISP RAS, vol. 26, issue 1, 2014, pp. 201-230 (in Russian). DOI: 10.15514/ISPRAS-2014-26(1)-6


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


Троицкий А.М., Буздалов Д.В. Способ статической оценки времени работы компонентов AADL-моделей. Труды Института системного программирования РАН. 2016;28(2):157-172. https://doi.org/10.15514/ISPRAS-2016-28(2)-10

For citation:


Troitskiy A.M., Buzdalov D.V. A static approach to estimation of execution time of components in AADL models. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2016;28(2):157-172. https://doi.org/10.15514/ISPRAS-2016-28(2)-10

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


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


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