Ситуационные спецификации имитационных моделей гибридных реактивных систем
Аннотация
Приводится описание формализма спецификации имитационных моделей гибридных реактивных систем, основанного на модификации и объединении известных формализмов машины конечных состояний и гибридного автомата. Формализм ориентирован на создание исполняемых спецификаций систем, пригодных для итерационного процесса их разработки и отладки. Обсуждаются выразительность и эффективность формализма и приводятся результаты его экспериментального исследования.Литература
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.
Situation specifications of hybrid reactive system simulation models
Abstract
Description of hybrid reactive system simulation model specification formalism is presented. The formalism is based on modifying and uniting of well known FSM and Hybrid Automata formalisms and oriented on creation of executable system specifications which are suitable for stepwise working out. The formalism expressiveness and effectiveness are discussed and results of its experimental research are presented.Опубликован
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).
