Купить книгу AADL на практике: станьте экспертом в моделировании и анализе программной архитектуры на русском [PDF, EPUB, FB2, MOBI]
#2590400
AADL In Practice: Become an expert in software architecture modeling and analysis (B071WHRJY3)
Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI
Julien Delange | #1487: Компьютеры и технологическое образование
Создание критически важных для безопасности встроенных систем реального времени — сложная задача. Традиционные методы не подходят и больше не масштабируются: мы регулярно сталкиваемся с проблемами безопасности в критически важных системах (таких как авионика, медицинские, аэрокосмические или автомобильные системы). За последние годы были предложены новые технологии и методы разработки. Среди них подход, основанный на моделировании (Model-Based Engineering), фокусируется на использовании моделей для управления процессом разработки от проектирования до внедрения.
Язык анализа и проектирования архитектуры (AADL) — это стандартизированный язык моделирования с четким синтаксисом и семантикой, поддерживающий проектирование, анализ и реализацию систем, критически важных для безопасности. Он успешно используется во всем мире уже более 10 лет.
Книга «AADL на практике» знакомит с языком AADL, его возможностями моделирования и анализа и предназначена для инженеров-программистов, желающих изучить этот язык и применять или расширять его возможности в своих проектах. Книга состоит из четырех частей:
1. Введение в инженерное проектирование на основе моделей.
2. Введение в основные концепции AADL: рассматриваются синтаксис языка, семантика, определение модели и т. д.
3. Возможности анализа AADL: рассматривается моделирование характеристик производительности и безопасности в архитектурной модели программного обеспечения, а также выполнение анализа задержек и безопасности с помощью OSATE.
4. Расширение языка и разработка плагина OSATE: рассматривается, как расширить возможности языка с помощью свойств и приложений, а также как создать собственный плагин анализа OSATE.
Книга написана таким образом, чтобы ею могли легко пользоваться инженеры всех уровней. В книге мы используем пример из практики (с участием беспилотного автомобиля), чтобы объяснить каждый аспект языка. Реальный пример легко понять, его можно адаптировать и использовать повторно. Исходный код примера также доступен публично, так что читатели могут скачать его и самостоятельно изучить.
Язык анализа и проектирования архитектуры (AADL) — это стандартизированный язык моделирования с четким синтаксисом и семантикой, поддерживающий проектирование, анализ и реализацию систем, критически важных для безопасности. Он успешно используется во всем мире уже более 10 лет.
Книга «AADL на практике» знакомит с языком AADL, его возможностями моделирования и анализа и предназначена для инженеров-программистов, желающих изучить этот язык и применять или расширять его возможности в своих проектах. Книга состоит из четырех частей:
1. Введение в инженерное проектирование на основе моделей.
2. Введение в основные концепции AADL: рассматриваются синтаксис языка, семантика, определение модели и т. д.
3. Возможности анализа AADL: рассматривается моделирование характеристик производительности и безопасности в архитектурной модели программного обеспечения, а также выполнение анализа задержек и безопасности с помощью OSATE.
4. Расширение языка и разработка плагина OSATE: рассматривается, как расширить возможности языка с помощью свойств и приложений, а также как создать собственный плагин анализа OSATE.
Книга написана таким образом, чтобы ею могли легко пользоваться инженеры всех уровней. В книге мы используем пример из практики (с участием беспилотного автомобиля), чтобы объяснить каждый аспект языка. Реальный пример легко понять, его можно адаптировать и использовать повторно. Исходный код примера также доступен публично, так что читатели могут скачать его и самостоятельно изучить.