Using Abstractions of Conceptual and Functional-Logical Levels in the Design of Hardware and Software Complexes

The problem of insufficient structuring and documentation of design solutions in the development of software and hardware complexes is considered, especially at the conceptual, architectural, and functional-logical levels. Usually, only certain aspects of the solution are fixed, but it is impossible to imagine it as an independent portable design object. Description tools are proposed to ensure the separation of the invariant logic of the solution from its specific implementation. A generalizing abstraction of an invariant-variable design mechanism is presented, focused on formalizing architectural logic, setting correctness criteria, supporting traceability, and comparing alternative implementations. Based on it, a number of design abstractions are introduced, including interblock adapters, system assistant mechanisms, basic drivers, and local engineering metrics. Abstractions rely on various level representations of computing systems and their design processes.

1. Platunov A.E., Pinkevich V.Yu. Control Engineering Russia, 2021, no. 3(93), pp. 64–70. (in Russ.)

2. Gamma E., Helm R., Johnson R., Vlissides J. Design patterns: elements of reusable object-oriented software, Boston, Addison-Wesley, 1994, 395 p.

3. Nygard M. Documenting architecture decisions, Boston, Addison-Wesley Professional, 2022, 286 p.

4. Clements P., Bachmann F., Bass L., Garlan D., Ivers J., Little R., Merson P., Nord R., Stafford J. Documenting Software Architectures: Views and Beyond, Boston, Addison-Wesley, 2011, 608 p.

5. Szyperski C. Component software: beyond object-oriented programming, Harlow, Addison-Wesley, 2002, 548 p.

6. Sangiovanni-Vincentelli A., Martin G. IEEE Design & Test of Computers, 2001, no. 6(18), pp. 23–33.

7. Keutzer K., Malik S., Newton A.R., Rabaey J.M., Sangiovanni-Vincentelli A. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2000, no. 12(19), pp. 1523–1543.

8. Delft Students on Software Architecture: DESOSA 2019, https://se.ewi.tudelft.nl/desosa2019/index.html.

9. Kolchurin M.V., Pinkevich V.Yu., Platunov A.E. Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 2022, no. 4(22), pp. 716–724, DOI: 10.17586/2226-1494-2022-22-4-716-724. (in Russ.)

10. Lee E.A. Cyber Physical Systems: Design Challenges, Berkeley, University of California, Berkeley, EECS Department, 2008.

11. Penskoy A.V. Journal of Instrument Engineering, 2015, no. 7(58), pp. 527–532. (in Russ.)

12. Kolchurin M.V., Platunov A.E. Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 2025, no. 6(25), pp. 1229–1233, DOI: 10.17586/2226-1494-2025-25-6-1229-1233. (in Russ.)

13. NASA Office of Safety and Mission Assurance. Formal Methods Specification and Verification Guidebook for Software and Computer Systems, vol. I, Technical Report NASA-GB-002-95, Washington, DC, NASA, 1995, 227 p.

14. Pinkevich V.Yu., Platunov A.E. Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 2018, no. 5(18), pp. 801–808, DOI: 10.17586/2226-1494-2018-18-5-801-808. (in Russ.)

15. Bajer M., Szlagor M., Wrzesniak M. 4th Mediterranean Conference on Embedded Computing (MECO), IEEE, 2015, рр. 235–240.