М.Б. Насыров, А.А. Егоров
Разработчики современных промышленных систем и программного обеспечения для гражданской и оборонной отраслей, должны создавать гибкие и удобные приложения. В то же самое время необходимо удовлетворять задачи отраслевых стандартов и соблюдать строгие требования сертифицирующих органов. В дополнение, разработчики обязаны учитывать стоимость проекта и его ключевые аспекты. Это сложная задача, требующая применения правильного инструментария.
Ключевые слова: модельно-ориентированная разработка, ANSYS, SCADE, Esterel Technologies, IEC 61508, IEC 60880, EN 13849, автоматизированная генерация кода, детерминизм, формализм, трассируемость, тестовое покрытие, сертификация, автоматизированная генерация документация, системная инженерия.
Контактная информация: E-mail: Marat.Nasyrov@ansys.com, E-mail: alexander_egorov@bk.ru
Стр. 09-13. |