Scholarly record
ARCHITECTURAL ABSTRACTIONS IN THE DESIGN OF DISTRIBUTED EMBEDDED SYSTEMS PLATFORMS
Abstract
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.
Publication Impact Profile
Publication details
References14
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;
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;
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.
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;
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;
Embedded Systems Engineering Roadmap, Dec 23, 2023, url: https://github.com/m3y54m/Embedded-Engineering-Roadmap?tab=readme-ov-file;
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;
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;
Chattopadhyay A., Ingredients of Adaptability: A Survey of Reconfigurable Processors, VLSI Design. 2013. DOI: 10.1155/2013/683615;
Lech J., Nadia N., Modern Architectures for Embedded Reconfigurable Systems - a Survey., Journal of Circuits, Systems, and Computers, April 2009, 18. p209-254. DOI: 10.1142/S0218126609005034;
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;
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;
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;
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;
Citing literature
Number of times cited according to Crossref: 1
View or Download full articleAccess options
SWS access login
Login as SWS Scientific CommitteeLogin as SWS Scientific PartnerLogin as SWS AuthorAuthors and approved SWS contributors will read and export their own linked papers after identity matching by SWS profile, email and SGEM GlobalID.
For librarian assistance: [email protected]
Purchase Instant Access
- Article can be downloaded after successful payment.
- Article may be used according to SWS library access terms.
- Article cannot be redistributed.

