Аннотация:
Демонстрируется метод формального представления архитектуры ядра реального времени для встроенных систем. В порядке представления метода строится объектно-ориентированная модель, задающая архитектуру компактного системного ядра, обеспечивающего обслуживание аппаратно-ориентированных задач реального времени во встроенных системах.