{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T20:01:13Z","timestamp":1782417673186,"version":"3.54.5"},"reference-count":14,"publisher":"STEF92 Technology","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,11,15]]},"abstract":"<jats:p>The work is dedicated to formalizing the process of designing embedded systems with distributed heterogeneous organization. The original model of representing a computational system as a set of computational platforms interconnected both hierarchically and within the same level is taken as the basis. The abstraction of a \ufffddesign platform\ufffd is interpreted as a design solution that is fixed for reuse and provides an application interface for building an \ufffdupward\ufffd hierarchy of abstractions alongside specifications for creating implementations \ufffddownward\ufffd. Today, the stages of system design still suffer from a lack of essential design abstractions, which is evident both in the level of information presentation in technical documentation and in the capabilities of the design tools. The focus has shifted from discussing conceptual solutions toward final implementations. The authors demonstrate a system of architectural and microarchitectural abstractions aimed at developing methods and tools for conceptual-level design. This enhances the rationale behind design decisions by representing embedded systems as compositions of abstractions with a wide range of engineering-relevant parameters and characteristics. The authors develop an aspect-oriented approach to designing embedded computational systems, proposing a method for formalizing engineering-relevant attributes for diverse design abstractions such as network interfaces, protocols, controllers, drivers, operating systems, their components, programming languages, their translators, and virtual machines.<\/jats:p>","DOI":"10.5593\/sgem2024\/2.1\/s07.03","type":"proceedings-article","created":{"date-parts":[[2024,12,4]],"date-time":"2024-12-04T12:26:27Z","timestamp":1733315187000},"page":"19-26","source":"Crossref","is-referenced-by-count":1,"title":["ARCHITECTURAL ABSTRACTIONS IN THE DESIGN OF DISTRIBUTED EMBEDDED SYSTEMS PLATFORMS"],"prefix":"10.5593","volume":"24","author":[{"given":"Maxim","family":"Kolchurin","sequence":"first","affiliation":[{"name":"ITMO University","place":["Russia"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexey","family":"Platunov","sequence":"additional","affiliation":[{"name":"ITMO University","place":["Russia"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Asminkin","family":"Fedor","sequence":"additional","affiliation":[{"name":"ITMO University","place":["Russia"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vasiliy","family":"Pinkevich","sequence":"additional","affiliation":[{"name":"ITMO University","place":["Russia"]}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"3602","reference":[{"key":"ref=1","doi-asserted-by":"crossref","unstructured":"[1]  Sangiovanni-Vincentelli A., Martin G. Platform-based design and software design methodology for embedded systems, IEEE Design and Test of Computers, 2001, vol. 18, no.6, pp.23\ufffd33, doi: 10.1109\/54.970421;","DOI":"10.1109\/54.970421"},{"key":"ref=2","doi-asserted-by":"crossref","unstructured":"[2]  J. Sifakis, \"A framework for component-based construction,\" Third IEEE International Conference on SEFM, Germany, 2005, pp. 293-299, doi: 10.1109\/SEFM.2005.3;","DOI":"10.1109\/SEFM.2005.3"},{"key":"ref=3","doi-asserted-by":"crossref","unstructured":"[3]  Sangiovanni-Vincentelli A., Damm W., Passerone R., Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems, Eur. J. Control. 2012. Vol. 18. P. 217-238, doi: 10.3166\/ejc.18.217-238.","DOI":"10.3166\/ejc.18.217-238"},{"key":"ref=4","doi-asserted-by":"crossref","unstructured":"[4]  Teich J. Hardware\/software codesign: the past, the present, and predicting the future. Proceedings of the IEEE, 2012, vol. 100, pp. 1411\ufffd1430, doi: 10.1109\/JPROC.2011.2182009;","DOI":"10.1109\/JPROC.2011.2182009"},{"key":"ref=5","doi-asserted-by":"crossref","unstructured":"[5]  Sehr M.A., Lohstroh M., Weber. M, Ugalde I., Witte M., Neidig J., Hoeme S., Niknami M., Lee E.A., Programmable Logic Controllers in the Context of Industry 4.0, in IEEE Transactions on Industrial Informatics, vol. 17, no. 5, pp. 3523-3533, May 2021, doi: 10.1109\/TII.2020.3007764;","DOI":"10.1109\/TII.2020.3007764"},{"key":"ref=6","unstructured":"[6]  Embedded Systems Engineering Roadmap, Dec 23, 2023, url: https:\/\/github.com\/m3y54m\/Embedded-Engineering-Roadmap?tab=readme-ov-file;"},{"key":"ref=7","doi-asserted-by":"crossref","unstructured":"[7]  Kolchurin M.V., Pinkevich V.Yu., Platunov A.E. Strengthening the role of microarchitectural stages of embedded systems design. Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 2022, vol. 22, no. 4, pp. 716\ufffd724 (in Russian). doi: 10.17586\/2226-1494-2022-22-4-716-724;","DOI":"10.17586\/2226-1494-2022-22-4-716-724"},{"key":"ref=8","unstructured":"[8]  Pinkevich V., Platunov A. Using architectural abstractions in embedded system design, Proceedings of the 4th Mediterranean Conference on Embedded Computing (MECO 2015), Works in Progress in Embedded Computing, 2015, Vol.1, No.1, pp. 3-6;"},{"key":"ref=9","doi-asserted-by":"crossref","unstructured":"[9]  Chattopadhyay A., Ingredients of Adaptability: A Survey of Reconfigurable Processors, VLSI Design. 2013. doi: 10.1155\/2013\/683615;","DOI":"10.1155\/2013\/683615"},{"key":"ref=10","doi-asserted-by":"crossref","unstructured":"[10]  Lech J., Nadia N., Modern Architectures for Embedded Reconfigurable Systems - a Survey., Journal of Circuits, Systems, and Computers, April 2009, 18. p209-254. 10.1142\/S0218126609005034;","DOI":"10.1142\/S0218126609005034"},{"key":"ref=11","unstructured":"[11]  Panagopoulos, G. Papakonstantinou, N. Alexandridis, and T. ElGhazawi, \ufffdA comparative evaluation of models and specification languages for Embedded System design\ufffd, LCTES-03, San Diego, Ca., June 11-13, 2003;"},{"key":"ref=12","doi-asserted-by":"crossref","unstructured":"[12]  Catalao, T., Sousa, M.D, IEC 61131-3 Front-End for the LLVM Compiler Family, ETFA, pp. 1191-1194, 2020 doi: 10.1109\/ETFA46521.2020.9211921;","DOI":"10.1109\/ETFA46521.2020.9211921"},{"key":"ref=13","unstructured":"[13]  Xu J., He L., Wang X., Huang W., Wang N., A fast WebAssembly Interpreter design in WASM-Micro-Runtime, 07.10.2021, url: https:\/\/www.intel.com\/content\/www\/us\/en\/developer\/articles\/technical\/webassembly-interpreter-design-wasm-micro-runtime.html;"},{"key":"ref=14","doi-asserted-by":"crossref","unstructured":"[14]  D. Densmore, R. Passerone, A. Sangiovanni-Vincentelli, \"A Platform-Based Taxonomy for ESL Design,\" in IEEE Design & Test of Computers, vol. 23, no. 5, pp. 359-374, May 2006, doi: 10.1109\/MDT.2006.112;","DOI":"10.1109\/MDT.2006.112"}],"event":{"name":"24th SGEM International Multidisciplinary Scientific GeoConference 2024","theme":"Earth and Planetary Sciences","location":"Albena, Bulgaria","acronym":"SGEM2024","number":"24","sponsor":["SGEM WORLD SCIENCE (SWS) Scholarly Society, Austria"],"start":{"date-parts":[[2024,7,1]]},"end":{"date-parts":[[2024,7,7]]}},"container-title":["SGEM International Multidisciplinary Scientific GeoConference\ufffd EXPO Proceedings","24th International Multidisciplinary Scientific GeoConference Proceedings SGEM 2024, Informatics, Geoinformatics and Remote Sensing, Vol 24, Issue 2.1"],"original-title":[],"deposited":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T19:28:23Z","timestamp":1782415703000},"score":1,"resource":{"primary":{"URL":"https:\/\/epslibrary.at\/items\/a782ac6d-25b8-429a-ae70-ba91b5e1cd12\/architectural-abstractions-in-the-design-of-distributed-embedded-systems-platforms"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,15]]},"references-count":14,"URL":"https:\/\/doi.org\/10.5593\/sgem2024\/2.1\/s07.03","relation":{},"ISSN":["1314-2704"],"issn-type":[{"value":"1314-2704","type":"print"}],"subject":[],"published":{"date-parts":[[2024,11,15]]}}}