Ситуационные спецификации имитационных моделей гибридных реактивных систем
Аннотация
Приводится описание формализма спецификации имитационных моделей гибридных реактивных систем, основанного на модификации и объединении известных формализмов машины конечных состояний и гибридного автомата. Формализм ориентирован на создание исполняемых спецификаций систем, пригодных для итерационного процесса их разработки и отладки. Обсуждаются выразительность и эффективность формализма и приводятся результаты его экспериментального исследования.Литература
Dion B., Dissoubray S. Modeling and implementing critical real-time systems with Sync- Charts/Esterel // Real Time Magazine 99–1
Girault A., Lee B., Lee A. Hierarchical Finite State Machines with Multiple Concurrency Models // IEEE Transactions on computer-aided design of integrated circuits and systems, vol. 18, No. 6, June 1999. — 742-760 pp.
Henzinger T. A. The Theory of Hybrid Automata // Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 96). — 278-292 pp.
Lygeros J., Johanson K. H., Zhang J., Sastry Sh. Fundamental Properties of Hybrid Dynamical Systems // Rio, Patras, Greece: Proceedings of Mediterranean Conference on Control and Automation (MED 2000).
Иванищев В. В. Некоторые особенности интеллектуальных технологий моделирования // Pskov: International Conference Intelligent Systems and Information Technologies in Control, June 2000. — 233-255 c.
Шпаков В.М. Среда разработки ситуационных исполняемых спецификаций моделей систем управления // Pskov: International Conference Intelligent Systems and Information Technologies in Control // June 2000. — 316-319 c.
Girault A., Lee B., Lee A. Hierarchical Finite State Machines with Multiple Concurrency Models // IEEE Transactions on computer-aided design of integrated circuits and systems, vol. 18, No. 6, June 1999. — 742-760 pp.
Henzinger T. A. The Theory of Hybrid Automata // Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 96). — 278-292 pp.
Lygeros J., Johanson K. H., Zhang J., Sastry Sh. Fundamental Properties of Hybrid Dynamical Systems // Rio, Patras, Greece: Proceedings of Mediterranean Conference on Control and Automation (MED 2000).
Иванищев В. В. Некоторые особенности интеллектуальных технологий моделирования // Pskov: International Conference Intelligent Systems and Information Technologies in Control, June 2000. — 233-255 c.
Шпаков В.М. Среда разработки ситуационных исполняемых спецификаций моделей систем управления // Pskov: International Conference Intelligent Systems and Information Technologies in Control // June 2000. — 316-319 c.
Опубликован
2002-04-01
Как цитировать
Шпаков,. (2002). Ситуационные спецификации имитационных моделей гибридных реактивных систем. Труды СПИИРАН, 2(1), 212-222. https://doi.org/10.15622/sp.1.14
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
