Dyana Ноябрь 2011

dyana@asvk.cs.msu.ru

3 участники
8 обсуждения

Генерация кода, верификация и сертификация в среде MATLAB и Simulink
by Dmitry Volkanov 30 Ноя '11

30 Ноя '11

Уважаемые коллеги! Ниже информация о семинаре, который нам может быть интересен. ---------- Пересланное сообщение ---------- От кого: news(a)sl-matlab.ru <news(a)sl-matlab.ru> Дата: 30 ноября 2011 г. 13:53 Тема: Генерация кода, верификация и сертификация в среде MATLAB и Simulink Кому: vasya007(a)lvk.cs.msu.su Семинар <<Автоматическая генерация кода, верификация и сертификация систем управления и обработки сигналов в среде MATLAB и Simulink>> Организаторы: Softline, MathWorks Город проведения: Москва Дата проведения: 13 декабря 2011 Уважаемые дамы и господа! Компании Softline и MathWorks приглашают вас 13 декабря 2011 года принять участие в БЕСПЛАТНОМ семинаре <<Автоматическая генерация кода, верификация и сертификация систем управления и обработки сигналов в среде MATLAB и Simulink>>. В ходе семинара инженеры компании MathWorks расскажут об использовании автоматической генерации кода для создания читабельного, портируемого кода C производственного качества из моделей Simulink. Будут освещены продукты компании MathWorks, которые помогают проводить верификацию и валидацию систем, а также последующую сертификацию. Слушатели семинара узнают, как Simulink и другие продукты компании MathWorks могут помочь сократить время и стоимость разработки, улучшить качество и создать системы с более высокими эксплуатационными характеристиками . Будут освещены следующие темы: * Крупномасштабное проектирование и командная работа в Simulink Project * Разработка систем с фиксированной точкой в среде Simulink/Stateflow * Генерация кода производственного качества с использованием Embedded Coder * Верификация системы с использованием методики Processor-in-the-Loop * Применения формальных методов для поиска ошибок с помощью Simulink Design Verifier * Тестирование системы и автоматизированное создание отчетов в SystemTest/Simulink Report Generator * Сертификация критических к безопасности систем: DO Qualification Kit/IEC Certification Kit * Автоматизация процесса рецензирования исходного кода при помощи Simulink Code Inspector На семинаре слушатели узнают, как с помощью продуктов MathWorks можно: * Использовать инструменты MathWorks для крупномасштабного проектирования и командной работы; * Автоматически генерировать код C производственного качества из моделей Simulink/Stateflow; * Проводить тестирование и сертификацию систем, используя продукты MathWorks. Семинар будет полезен как опытным инженерам, ведущим проектные разработки в MATLAB и Simulink, так и вновь открывающим для себя возможности этой среды. Приглашаются: * инженеры-разработчики электрических, механических, гидравлических систем; * разработчики систем управления; * инженеры-программисты, реализующие разработанные системы управления во встроенных системах; * разработчики программного обеспечения, работающего в реальном времени; * руководители проектов; * технические руководители и директора. На семинаре вы сможете задать вопросы по лицензированию представленного ПО менеджерам по продажам департамента MathWorks компании Softline. Участие бесплатное, обязательна предварительная регистрация. Регистрация участников осуществляется: на сайте http://seminars.softline.ru/form_seminar.php?id=5448 или по электронной почте mailto:MATLAB@softline.ru. Более подробную информацию об участии можно получить по телефону +7 495 232 00 65 доб.1455. ----------------------------------------------- Просим нас извинить, если данное письмо попало к Вам по ошибке или доставило неудобства. Если вы не хотите получать подобные письма в дальнейшем, просьба написать на E-Mail: mailto:info@softline.ru или воспользоваться сервисом отписки на сайте: http://softline.ru/unsubscribe.php. -- С уважением, Василий ------------------------------------------------------- -- С уважением, Дмитрий Волканов

1 0

Совещания по ГК
by Dmitry Volkanov 28 Ноя '11

28 Ноя '11

Уважаемые коллеги! Завтра в 12:00, а не в 10:30, как обычно у нас получается, состоится еженедельное совещание по проекту для группы по моделированию. Как обычно совещание планируется проводить в аудитории 761 или 764. Обсудим задачи по которым, несмотря на сдачу, предстоит что-то доделать. Группа верификации на этой неделе совещается в 14:30 также в аудитории 761 или 764. Предполагается обсудить задачи на следующий этап. -- С уважением, Дмитрий Волканов

1 0

Закрытие третьего этапа по ГК 0399 ( НИР Моделирование)
by Dmitry Volkanov 28 Ноя '11

28 Ноя '11

Руслан Леонидович! Коллеги! Сегодня я успешно сдал подписанный отчёт по третьему этапу нашего проекта по ГосКонтракту 0399 (вместе c многочисленными приложениями) заказчику. Таким образом третий этап был успешно сдан в срок. С чем и поздравляю всех руководителей и участников проекта, консультантов, а также всех кто нам помогал! Спасибо всем за самоотверженный труд и чёткое выполнение трудовой дисциплины! Но полностью расслабляться пока не получится. У Василия Балашова было много замечаний по отчёту, которые до конца года желательно будет доработать. Также мне необходимо будет оформить выплаты, зарегистрировать отчёт в ЦИТИСе, а также запатентовать модель РВС РВ. -- С уважением, Дмитрий Волканов

2 1

Ситуация со сдачей проекта
by Dmitry Volkanov 24 Ноя '11

24 Ноя '11

Уважаемые коллеги! Удалось оттянуть сдачу бумажных документов до утра понедельника. Что остаётся сделать. К разделам Владимира Анатольевича, Владислава и Даниила особых вопросов нет. Только будет просьба к Владиславу и Владимиру Анатольевичу забежать сегодня-завтра в 764ую и раписаться там в листе исполнителей. Теперь насчёт разделов Евгения, Василия и Виталия. TimeLine такой: До 20:00 четверга я в очередной раз ваши разделы вычитываю и отправляю Вам на правку. До 14:00 пятницы жду исправлений. В пятницу вечером я отправляю отчёт на вычитку РЛ и Василию Балашову. К середине субботы жду от них замечаний. Также к середине субботы жду лекций. Я в субботу буду в ЛВК. Планирую в субботу распечатать лекции и если удастся оперативно поправить замечания по отчёту сам отчёт, чтобы не оставлять на понедельник. Евгений, Василий и Виталий, если понадобится на кого из Вас я могу рассчитывать 26го в субботу? -- С уважением, Дмитрий Волканов

2 1

Совещания по ГК
by Dmitry Volkanov 21 Ноя '11

21 Ноя '11

Уважаемые коллеги! Напоминаю, что завтра в 10:00 у нас состоится еженедельное совещание по проекту для группы по моделированию на вторник. Как обычно совещание планируется проводить в аудитории 761. Группа верификации на этой неделе совещается в 14:30 также в аудитории 761. -- С уважением, Дмитрий Волканов

1 0

Формат отчёта - правила оформления подразделов
by Dmitry Volkanov 15 Ноя '11

15 Ноя '11

Коллеги! Отчёт уже совсем близок, поэтому нужно заканчивать писать текст. В stage3/report/plan.doc приведена структура разделов отчёта с указанием исполнителей. Предлагаю как и на прошлом не писать весь отчёт в одном гигантском документе, а сделать свой doc в svn на каждый подраздел, в начале имени которого идёт номер подраздела. Например, для подраздела 1.2 я сделал документ 1.2.uml_survey.doc. После того, как документы подразделов будут готовы, мы объединим их в один большой документ. Призываю не забывать использовать шаблон документа stage2/report/section_template.doc, чтобы все документы у нас были написаны в одном стиле. Для заголовков используйте стили "Заголовок *". Для абзацев -- стиль "Обычный с отступом". Ссылки выделяем жёлтым цветом и обозначаем их символьным идентификатором, а в конце вашего файла приводим список статей, на которые вы ссылаетесь. Например, "В данной работе [Смелянский90] рассматривается задача" [Смелянский90] Смелянский Р.Л. Анализ производительности распределенных микропроцессорных вычислительных систем на основе инварианта поведения программ. / Дисс. на соискание ученой степени доктора физико-математических наук. М.:МГУ, 1990. Анологично, у рисунков и таблиц просьба использовать номера подразделов (разделов) в качестве префиксов. Например, [Рисунок 2-1-1] [Таблица 3-15] Просьба тех товарищей, кто ещё не закомитил свои подразделы коммитить их в соответствии с описанными здесь правилами, а остальных просьба поправить свои подразделы в соответствии с правилами оформления -- С уважением, Дмитрий Волканов

1 0

Совещания по ГК
by Dmitry Volkanov 14 Ноя '11

14 Ноя '11

1 0

Совещания по ГК
by Dmitry Volkanov 07 Ноя '11

07 Ноя '11

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Dyana Ноябрь 2011