Спецификации требований к автономным системам

Разработка автономных систем, таких как самоуправляемые автомобили и роботы, требует абсолютной точности для обеспечения безопасности и надежности. Традиционные требования к программному обеспечению часто не удовлетворяют потребностям, связанным со сложными и непредсказуемыми условиями реального мира. Этот текстовый курс поможет вам освоить основные понятия написания и формального моделирования спецификаций требований для автономных систем. Вы перейдете от разработки базовых требований к естественному языку к структурированию точных, проверяемых спецификаций, обеспечивающих безопасность системы. В ходе этого курса вы: 1. Понимание основных принципов автономных систем, имеющих решающее значение для безопасности, и их уникальных инженерных задач. 2. Преобразование неоднозначных требований, сформулированных на естественном языке, в четкие структурированные технические спецификации. 3. Изучение методов формального моделирования для математического определения поведения системы и пределов безопасности. 4. Применять основные концепции временной логики для определения временно зависимых поведения в автоматизированных системах. 5. Согласование требований с современными стандартами безопасности, такими как ISO 2626-2 и UL 4600. 6. Практика выявления и смягчения пограничных случаев в автономных транспортных средствах и робототехнических системах. Вы начнете с основной терминологии и основ системной безопасности, прежде чем перейти к практическим рамкам моделирования и сценариям спецификаций в реальном мире. Этот курс предназначен для начинающих системных инженеров, разработчиков программного обеспечения и энтузиастов робототехники, которые хотят изучить основы инженерии требований без предварительного опыта формальных методов. Начните читать сегодня, чтобы овладеть искусством определения надежных, безопасных и надежных автономных систем.