Анализ выполнимости составных задач в системах реального времени
Аннотация
Рассматриваются вычислительные модели программных приложений реального времени, содержащих составные задачи. Представлены подходы к анализу выполнимости задач в таких приложениях.Литература
Liu C. L., Layland J. W. Scheduling Algorithms for Multiprogramming in a Hard Real-Time environment. JACM, Volume 20, Number 1, p. 46–61, 1973.
Palencia J., Harbor M. Schedulability Analysis for Task with Static and Dynamic Offsets. University of Cantabria, Spain, 1998.
Гуцалов Н. В., Никифоров В. В., Павлов В. А., Червинский М. П. Анализ выполнимости приложений реального времени для робототехнических систем // Труды 14-ой конференции по экстремальной робототехнике. СПб, СПбГТУ, 2003.
Sha L., Rajkumar R., Lehoczky J. Priority Inheritance Protocols: An Approach to Real-Time Synchronisation. IEEE Transactions on Computers 39(9), Sep 1990, pp.1175–1185.
Joseph M., Pandya P. Finding Response Times in a Real-Time System. The Computer Journal, Volume 29, Number 5, p. 390–395, 1986.
Palencia J., Harbor M. Schedulability Analysis for Task with Static and Dynamic Offsets. University of Cantabria, Spain, 1998.
Гуцалов Н. В., Никифоров В. В., Павлов В. А., Червинский М. П. Анализ выполнимости приложений реального времени для робототехнических систем // Труды 14-ой конференции по экстремальной робототехнике. СПб, СПбГТУ, 2003.
Sha L., Rajkumar R., Lehoczky J. Priority Inheritance Protocols: An Approach to Real-Time Synchronisation. IEEE Transactions on Computers 39(9), Sep 1990, pp.1175–1185.
Joseph M., Pandya P. Finding Response Times in a Real-Time System. The Computer Journal, Volume 29, Number 5, p. 390–395, 1986.
Опубликован
2005-04-01
Как цитировать
Гуцалов, & Никифоров,. (2005). Анализ выполнимости составных задач в системах реального времени. Труды СПИИРАН, 2(2), 437-452. https://doi.org/10.15622/sp.2.42
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
