Preview

Scientific and Technical Journal of Information Technologies, Mechanics and Optics

Advanced search

Design mechanisms at the microarchitectural level for embedded systems

https://doi.org/10.17586/2226-1494-2025-25-6-1229-1233

Abstract

   The rapidly growing demand for the design of specialized computing systems, primarily embedded systems and systems-on-chip, constrained by the limited capabilities of developers, due to the high complexity of the task. A Design Mechanism is proposed as an abstraction (a conceptual construct) that explicitly separates architectural logic from the implementation level according to a comprehensive criterion. Its use is most effective in the design of subsystems characterized by high internal variability and numerous technological alternatives. Such an abstraction, applied at all stages of the design process, enables more efficient formation and analysis of the design solution space, radically reducing conceptual errors and expanding the number of design outcomes available for reuse.

About the Authors

M. V. Kolchurin
LMT Ltd.
Russian Federation

Maxim V. Kolchurin, Engineer

199034; Saint Petersburg

sc 57225126062



A. E. Platunov
ITMO University
Russian Federation

Alexey E. Platunov, D.Sc., Full Professor

197101; Saint Petersburg

sc 35318291200



References

1. Kolchurin M.V., Pinkevich V.Yu., Platunov A.E. Strengthening the role of microarchitectural stages of mbedded 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

2. Kolchurin M., Platunov A., Asminkin F., Pinkevich V. Architectural abstractions in the design of distributed embedded systems platforms. Proc. of the 24<sup>th</sup> International Multidisciplinary Scientific GeoConference SGEM, 2024, vol. 24, no. 2.1, pp. 19–26. doi: 10.5593/sgem2024/2.1/s07.03

3. Pinkevich V., Platunov A., Gorbachev Ya. Design of embedded and cyber-physical systems using a cross-level microarchitectural pattern of the computational process organization. CEUR Workshop Proceedings, 2020, vol. 2893, pp. 1–14

4. Technical Report: SysML v1 to SysML v2 Model Conversion Approach. Office of Systems Engineering and Architecture. Washington, D.C., 2024, 49 p.

5. Alenazi M., Niu N., Savolainen J. SysML modeling mistakes and their impacts on requirements. Proc. of the IEEE 27<sup>th</sup> International Requirements Engineering Conference Workshops (REW), 2019, pp. 14–23. doi: 10.1109/REW.2019.00010

6. Neider D., Roy R. What is formal verification without specifications? A survey on mining LTL specifications. Lecture Notes in Computer Science, 2025, vol. 15262, pp. 109–125. doi: 10.1007/978-3-031-75778-5_6

7. Formal Methods Specification and Verification Guidebook for Software and Computer Systems. Volume I: Planning and Technology Insertion. Technical report NASA-GB-002-95. Washington, DC: NASA, 1995. 227 p.

8. Kotusev S. TOGAF-based enterprise architecture practice: An exploratory case study. Communications of the Association for Information Systems, 2018, vol. 43, no. 1, pp. 321–359. doi: 10.17705/1CAIS.04320

9. Sangiovanni-Vincentelli A., Carloni L., De Bernardinis F., Sgroi M. Benefits and challenges for platform-based design. Proc. of the 41<sup>st</sup> annual Design Automation Conference, 2004, pp. 409–414. doi: 10.1145/996566.996684

10. Keutzer K., Malik S., Newton A.R., Rabaey J.M., Sangiovanni-Vincentelli A. System-level design: orthogonalization of concerns and platform-based design. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2000, vol. 19, no. 12, pp. 1523–1543. doi: 10.1109/43.898830

11. Buchgeher G., Schöberl S., Geist V., Dorninger B., Haindl P., Weinreich R. Using architecture decision records in open source projects — an MSR study on GitHub. IEEE Access, 2023, vol. 11, pp. 63725–63740. doi: 10.1109/ACCESS.2023.3287654


Review

For citations:


Kolchurin M.V., Platunov A.E. Design mechanisms at the microarchitectural level for embedded systems. Scientific and Technical Journal of Information Technologies, Mechanics and Optics. 2025;25(6):1229-1233. (In Russ.) https://doi.org/10.17586/2226-1494-2025-25-6-1229-1233

Views: 47


Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.


ISSN 2226-1494 (Print)
ISSN 2500-0373 (Online)