Управление параллелизмом в задаче автоматической замены агента dataflow-сети на платформе Smart-M3 и в интернете вещей
Аннотация
Об авторах
Сергей Игоревич БаландинРоссия
г. Тампере (Финляндия), канд. техн. наук, адъюнкт-профессор;
президент
Андрей Михайлович Васильев
Россия
аспирант каф. теоретической информатики
Никита Ильич Кожемякин
Россия
студент факультета ИВТ
Денис Александрович Лаурэ
Россия
студент факультета ИВТ
Илья Вячеславович Парамонов
Россия
канд. физ.-мат. наук, старший преподаватель каф. компьютерных сетей
Список литературы
1. Atzori L., Iera A., Morabito G. The internet of things: A survey // Computer Networks. — 2010. — Vol. 54, no. 15. — P. 2787–2805.
2. 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.
3. 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.
4. The Internet of Things Initiative. — URL: http://www.iot-i.eu/public/front-page.
5. TiViT Internet of Things. — URL: http://www.internetofthings.fi.
6. 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.
7. Kok J. A fully abstract semantics for data flow nets // PARLE Parallel Architectures and Languages Europe / Springer. — 1987. — P. 351–368.
8. 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.
9. 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.
10. 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.
11. 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.
12. H¨arder T. Observations on optimistic concurrency control schemes // Information Systems. — 1984. — Vol. 9, no. 2. — P. 111–120.
13. 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.
Для цитирования:
Баландин С.И., Васильев А.М., Кожемякин Н.И., Лаурэ Д.А., Парамонов И.В. Управление параллелизмом в задаче автоматической замены агента dataflow-сети на платформе Smart-M3 и в интернете вещей. Моделирование и анализ информационных систем. 2012;19(5):131-141. https://doi.org/10.18255/1818-1015-2012-5-131-141
For citation:
Balandin S.I., Vasilev A.M., Kozhemyakin N.I., Laure D.A., Paramonov I.V. Concurrency Control in the Problem of Automatic Substitution of the Dataflow Network Agent on Smart-M3 Platform and in the Internet of Things. Modeling and Analysis of Information Systems. 2012;19(5):131-141. (In Russ.) https://doi.org/10.18255/1818-1015-2012-5-131-141