Проектные механизмы микроархитектурного уровня для встраиваемых систем
https://doi.org/10.17586/2226-1494-2025-25-6-1229-1233
Аннотация
Стремительно растущая потребность в проектировании специализированных вычислительных систем (особенно встраиваемых систем и систем на кристалле) сдерживается ограниченными возможностями разработчиков из-за высокой сложности задачи. Предлагается «проектный механизм» как абстракция (абстрактное понятие) с явным разделением на архитектурную логику и уровень реализации по комплексному критерию. Его применение наиболее эффективно при проектировании подсистем с высокой внутренней вариативностью и множеством технологических альтернатив. Разработанная абстракция на всех этапах маршрута проектирования позволяет эффективнее формировать и анализировать пространство проектных решений, радикально сокращая концептуальные ошибки и расширяя для повторного использования число результатов проектной деятельности.
Об авторах
М. В. Кольчурин
ООО «ЛМТ»
Россия
Россия
Максим Вячеславович Кольчурин, инженер
199034; Санкт-Петербург
sc 57225126062
А. Е. Платунов
Университет ИТМО
Россия
Россия
Алексей Евгеньевич Платунов, доктор технических наук, профессор, профессор кафедры
197101; Санкт-Петербург
sc 35318291200
Список литературы
1. Кольчурин М.В., Пинкевич В.Ю., Платунов А.Е. Усиление роли микроархитектурных этапов проектирования встраиваемых систем // Научно-технический вестник информационных технологий, механики и оптики. 2022. Т. 22. № 4. С. 716–724. 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. V. 24. N 2.1. P. 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. V. 2893. P. 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. P. 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. V. 15262. P. 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. V. 43. N 1. P. 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. P. 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. V. 19. N 12. P. 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. V. 11. P. 63725–63740. doi: 10.1109/ACCESS.2023.3287654
Рецензия
Для цитирования:
Кольчурин М.В., Платунов А.Е. Проектные механизмы микроархитектурного уровня для встраиваемых систем. Научно-технический вестник информационных технологий, механики и оптики. 2025;25(6):1229-1233. https://doi.org/10.17586/2226-1494-2025-25-6-1229-1233
For citation:
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
Просмотров:
39
Послать статью по эл. почте 