View article

В проекте Седьмой рамочной программы Европейского сообщества SecFutur в настоящее время ведутся исследования перспективной технологии и методов проектирования безопасных встроенных систем. В данной статье дается представление об основных аспектах исследований, рассматриваемых на текущей стадии выполнения проекта SecFutur. На данной стадии исследований разрабатывается абстрактная модель встроенных систем, которая представляет собой их обобщенное представление и отражает основные аспекты безопасности, а также задает способ их описания. На основе абстрактной модели формируется модель нарушителя, которая используется для оценивания безопасности встроенных систем и для построения автоматизированной системы тестирования. К встроенным устройствам относятся такие электронные, мультимедиа …