maisМоделирование и анализ информационных системModeling and Analysis of Information Systems1818-10152313-5417Yaroslavl State University10.18255/1818-1015-2012-5-131-141mais-62Research ArticleОригинальные статьиArticlesУправление параллелизмом в задаче автоматической замены агента dataflow-сети на платформе Smart-M3 и в интернете вещейConcurrency Control in the Problem of Automatic Substitution of the Dataflow Network Agent on Smart-M3 Platform and in the Internet of ThingsБаландинСергей ИгоревичBalandinS. I.

г. Тампере (Финляндия), канд. техн. наук, адъюнкт-профессор;

президент

г. Тампере (Финляндия), канд. техн. наук, адъюнкт-профессор;

президент

sergey.balandin@tut.fiВасильевАндрей МихайловичVasilevA. M.

аспирант каф. теоретической информатики

аспирант каф. теоретической информатики

vamonster@gmail.comКожемякинНикита ИльичKozhemyakinN. I.

студент факультета ИВТ

студент факультета ИВТ

enginegl.ec@gmail.comЛаурэДенис АлександровичLaureD. A.

студент факультета ИВТ

студент факультета ИВТ

den.a.laure@gmail.comПарамоновИлья ВячеславовичParamonovI. V.

канд. физ.-мат. наук, старший преподаватель каф. компьютерных сетей

канд. физ.-мат. наук, старший преподаватель каф. компьютерных сетей.

ilya.paramonov@fruct.orgТехнологический университет; Ассоциация открытых инноваций FRUCTРоссияТехнологический университет; Ассоциация открытых инноваций FRUCTRussian FederationЯрославский государственный университет им. П.Г. ДемидоваРоссияЯрославский государственный университет им. П.Г. ДемидоваRussian Federation201204032015195131141Copyright © Баландин С.И., Васильев А.М., Кожемякин Н.И., Лаурэ Д.А., Парамонов И.В., 20152015Баландин С.И., Васильев А.М., Кожемякин Н.И., Лаурэ Д.А., Парамонов И.В.Balandin S.I., Vasilev A.M., Kozhemyakin N.I., Laure D.A., Paramonov I.V.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://www.mais-journal.ru/jour/article/view/62

Рассматриваются механизмы и область применимости разрабатываемого авторами решения для автоматической замены обрабатывающих агентов в dataflow-сетях, построенных на базе платформы Smart-M3 и применяемых для сценариев, характерных для интернета вещей. Приведены описание предлагаемого решения и обзор проблем управления параллелизмом, специфичных для реализации данного механизма как на платформе Smart-M3, так и в более широком контексте интернета вещей.

The paper describes implementation of dataflow networks based on Smart-M3 platform for use cases related to the Internet of Things. The mechanism for automatic substitution of computational agents created on top of Smart-M3 platform is described. The paper reviews concurrency issues of the developed solution regarding Smart-M3 platform, as well as in the broader context of the Internet of Things.

агентSmart-M3интернет вещейуправление параллелизмомAgentSmart-M3Internet of thingsParallelism controlФедеральная целевая программа «Научные и научно-педагогические кадры инновационной России на 2009–2013 годы»ReferencesAtzori L., Iera A., Morabito G. The internet of things: A survey // Computer Networks. — 2010. — Vol. 54, no. 15. — P. 2787–2805.Atzori L., Iera A., Morabito G. The internet of things: A survey // Computer Networks. — 2010. — Vol. 54, no. 15. — P. 2787–2805.Internet of Things Strategic Research Roadmap / O. Vermesan, P. Friess, P. Guillemin et al. // Internet of Things — Global Technological and Societal Trends. — 2011. — P. 9–52.Internet of Things Strategic Research Roadmap / O. Vermesan, P. Friess, P. Guillemin et al. // Internet of Things — Global Technological and Societal Trends. — 2011. — P. 9–52.User Scenarios 2020 — a Worldwide Wireless Future / L. Sørensen, K. E. Skouby, D. Dietterle et al. // WWRF Outlook: Visions and Research Directions for the Wireless World. — 2009. — July. — no. 4.User Scenarios 2020 — a Worldwide Wireless Future / L. Sørensen, K. E. Skouby, D. Dietterle et al. // WWRF Outlook: Visions and Research Directions for the Wireless World. — 2009. — July. — no. 4.The Internet of Things Initiative. — URL: http://www.iot-i.eu/public/front-page.The Internet of Things Initiative. — URL: http://www.iot-i.eu/public/front-page.TiViT Internet of Things. — URL: http://www.internetofthings.fi.TiViT Internet of Things. — URL: http://www.internetofthings.fi.Internet-of-Things Architecture. Deliverable D1.3 — Updated reference model for IoT v1.5. — URL: http://www.iot-a.eu/public/public-documents/documents-1/1/1/copy_of_d1.2/at_download/file.Internet-of-Things Architecture. Deliverable D1.3 — Updated reference model for IoT v1.5. — URL: http://www.iot-a.eu/public/public-documents/documents-1/1/1/copy_of_d1.2/at_download/file.Kok J. A fully abstract semantics for data flow nets // PARLE Parallel Architectures and Languages Europe / Springer. — 1987. — P. 351–368.Kok J. A fully abstract semantics for data flow nets // PARLE Parallel Architectures and Languages Europe / Springer. — 1987. — P. 351–368.Smart-M3 information sharing platform / J. Honkola, H. Laine, R. Brown, O. Tyrkk¨o // 2010 IEEE Symposium on Computers and Communications (ISCC) / IEEE. — 2010. — P. 1041–1046.Smart-M3 information sharing platform / J. Honkola, H. Laine, R. Brown, O. Tyrkk¨o // 2010 IEEE Symposium on Computers and Communications (ISCC) / IEEE. — 2010. — P. 1041–1046.Luukkala V., Honkola J. Integration of an answer set engine to Smart-M3 // Smart Spaces and Next Generation Wired/Wireless Networking. — 2010. — P. 92–101.Luukkala V., Honkola J. Integration of an answer set engine to Smart-M3 // Smart Spaces and Next Generation Wired/Wireless Networking. — 2010. — P. 92–101.Case study: Context-aware supervision of a smart maintenance process / S. PantsarSyvaniemi, E. Ovaska, S. Ferrari et al. // Proceedings of the 11th IEEE/IPSJ International Symposium on Applications and the Internet (SAINT 2011) / IEEE. — 2011. — P. 309–314.Case study: Context-aware supervision of a smart maintenance process / S. PantsarSyvaniemi, E. Ovaska, S. Ferrari et al. // Proceedings of the 11th IEEE/IPSJ International Symposium on Applications and the Internet (SAINT 2011) / IEEE. — 2011. — P. 309–314.Solaiman K., Morgan G. Later validation/earlier write: Concurrency control for resource-constrained systems with real-time properties // Proceedings of 2011 30th IEEE Symposium on Reliable Distributed Systems Workshops (SRDSW) / IEEE. — 2011. — October. — P. 9–12.Solaiman K., Morgan G. Later validation/earlier write: Concurrency control for resource-constrained systems with real-time properties // Proceedings of 2011 30th IEEE Symposium on Reliable Distributed Systems Workshops (SRDSW) / IEEE. — 2011. — October. — P. 9–12.H¨arder T. Observations on optimistic concurrency control schemes // Information Systems. — 1984. — Vol. 9, no. 2. — P. 111–120.H¨arder T. Observations on optimistic concurrency control schemes // Information Systems. — 1984. — Vol. 9, no. 2. — P. 111–120.Concurrency control in mobile environments: Issues & chalenges / S. A. Moiz, S. N. Pal, J. Kumar et al. // International Journal of Database Management Systems (IJDMS). — 2011. — November. — Vol. 3, no. 4. — P. 147–159.Concurrency control in mobile environments: Issues & chalenges / S. A. Moiz, S. N. Pal, J. Kumar et al. // International Journal of Database Management Systems (IJDMS). — 2011. — November. — Vol. 3, no. 4. — P. 147–159.

The authors declare that there are no conflicts of interest present.