|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Методы и средства проверки типовых свойств поведения встроенных вычислительных системдипломная работа (Специалист)
- Научный руководитель: Балашов В.В.
- Автор: Балахно М.В.
- Тип: Специалист
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Год защиты: 2004
- Аннотация: Цель работы: разработать подход к описанию набора типовых свойств поведения ВсВС, позволяющий повторно использовать созданное описание для автоматической проверки типовых свойств в рамках семейства ВсВС. Для достижения поставленной цели необходимо: 1. Провести анализ технологий создания семейств ВсВС. 2. Разработать подход к проверке типовых свойств, позволяющий многократно использовать единожды созданную спецификацию свойства для разных систем одного семейства. 3. Осуществить экспериментальную реализацию разработанного подхода, расширяющую существующие в системе ДИАНА средства проверки свойств поведения ВсВС за счёт возможности проверки типовых свойств. В рамках работы решен ряд задач: 1. Проведён анализ технологий создания семейств ВсВС, составлен обзор этих технологий. 2. Разработан подход к проверке типовых свойств, позволяющий многократно использовать единожды созданную спецификацию свойства для разных систем одного семейства. 3. Осуществлена экспериментальная реализация разработанного подхода, расширяющая существующие в системе ДИАНА средства проверки свойств поведения ВсВС за счёт возможности проверки типовых свойств.
- Добавил в систему: Балашов Василий Викторович