查看文章

Статья посвящена исследованию вопросов безопасности встроенных систем. Важнейшим объектом исследования является процесс построения безопасных встроенных систем. Рассматривается абстрактная модель встроенных систем, которая представляет собой обобщенное представление встроенных систем и отражает основные аспекты безопасности, а также задает способ их описания. На основе абстрактной модели формируется модель нарушителя, которая используется для построения автоматизированной системы тестирования встроенных систем.