Modeling and Verification of Real-time Systems (Nicolas Navet).

Книга "Моделирование и верификация систем реального времени" посвящена представлению ключевых концепций и методов описания систем реального времени и анализа их поведения с целью обеспечения гарантий временной корректности для разработчика. В ней рассматриваются математические модели систем реального времени и связанные с ними формальные методы верификации, такие как проверка модели, вероятностное моделирование и верификация, языки программирования и описания, а также подходы к проверке на основе тестирования. С участием авторов, являющихся экспертами в своих областях, книга предоставляет читателю современное состояние формальной верификации систем реального времени и обзор доступных программных инструментов.

Эта книга посвящена изложению некоторых основных понятий и методов для описания систем реального времени и анализа их поведения с тем, чтобы позволить разработчику гарантировать временную корректность. Среди обсуждаемых тем математические модели систем реального времени, и связанные с этим методы формальной верификации, такие как проверка моделей, вероятностное моделирование и верификация, программы и языки описания и подходы к валидации на основе тестирования. По включающий вклад авторов, которые являются экспертами в своих сферах, она предоставит читателю современное состояние в формальной верификции систем реального времени.