Peer-reviewed articles 17,970 +


Title: ARCHITECTURAL ABSTRACTIONS IN THE DESIGN OF DISTRIBUTED EMBEDDED SYSTEMS PLATFORMS
ARCHITECTURAL ABSTRACTIONS IN THE DESIGN OF DISTRIBUTED EMBEDDED SYSTEMS PLATFORMS

PlumX Article Metrics by Elsevier
Maxim Kolchurin; Alexey Platunov; Asminkin Fedor; Vasiliy Pinkevich
10.5593/sgem2024/2.1/s07.03
10.5593/sgem2024/2.1
1314-2704
978-619-7603-69-9
English
24
2.1
•    Prof. DSc. Oleksandr Trofymchuk, UKRAINE 
•    Prof. Dr. hab. oec. Baiba Rivza, LATVIA
Informatics
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 ‘design platform’ is interpreted as a design solution that is fixed for reuse and provides an application interface for building an “upward” hierarchy of abstractions alongside specifications for creating implementations “downward”. 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.
[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–33, doi: 10.1109/54.970421;
[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;
[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.
[4] Teich J. Hardware/software codesign: the past, the present, and predicting the future. Proceedings of the IEEE, 2012, vol. 100, pp. 1411–1430, doi: 10.1109/JPROC.2011.2182009;
[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;
[6] Embedded Systems Engineering Roadmap, Dec 23, 2023, url: https://github.com/m3y54m/Embedded-Engineering-Roadmap?tab=readme-ov-file;
[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–724 (in Russian). doi: 10.17586/2226-1494-2022-22-4-716-724;
[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;
[9] Chattopadhyay A., Ingredients of Adaptability: A Survey of Reconfigurable Processors, VLSI Design. 2013. doi: 10.1155/2013/683615;
[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;
[11] Panagopoulos, G. Papakonstantinou, N. Alexandridis, and T. ElGhazawi, “A comparative evaluation of models and specification languages for Embedded System design”, LCTES-03, San Diego, Ca., June 11-13, 2003;
[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;
[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;
[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;
[15] Menard C., Lohstroh M., Bateni S., Chorlian M., Deng A., Donovan P., Fournier C., Lin S., Suchert F., Tanneberger T., Kim H., Castrillon J., and Lee E.A., High-performance Deterministic Concurrency Using Lingua Franca. ACM Trans. Archit. Code Optim. 20, 4, Article 48 (December 2023), doi: 10.1145/3617687.
conference
https://doi.org/10.5593/sgem2024/2.1/s07.03
Download PDF
Proceedings of 24th International Multidisciplinary Scientific GeoConference SGEM 2024
24th International Multidisciplinary Scientific GeoConference SGEM 2024, 1 - 7 July, 2024
Proceedings Paper
STEF92 Technology
International Multidisciplinary Scientific GeoConference Surveying Geology and Mining Ecology Management, SGEM
SWS Scholarly Society; Acad Sci Czech Republ; Latvian Acad Sci; Polish Acad Sci; Russian Acad Sci; Serbian Acad Sci and Arts; Natl Acad Sci Ukraine; Natl Acad Sci Armenia; Sci Council Japan; European Acad Sci, Arts and Letters; Acad Fine Arts Zagreb Croatia; Croatian Acad Sci and Arts; Acad Sci Moldova; Montenegrin Acad Sci and Arts; Georgian Acad Sci; Acad Fine Arts and Design Bratislava; Russian Acad Arts; Turkish Acad Sci.
19-26
1 - 7 July, 2024
website
9915
distributed embedded system, computational platform, computer architecture, industrial network, architectural abstraction

25th SGEM International Conference on Earth & Planetary Sciences


International GeoConference SGEM2025
27 June - 6 July, 2025 / Albena, Bulgaria

Read More		   

SGEM Vienna GREEN "Green Science for Green Life"


Extended Scientific Sessions SGEM Vienna GREEN
3 -6 December, 2025 / Vienna, Austria

Read More
   

A scientific platform for Art-Inspired Scientists!


The Magical World Where Science meets Art
Vienna, Austria

Read More