Formal Methods Applied to Complex Systems - 9781848217096

tej książce przedstawiono rzeczywiste przykłady technik formalnych w kontekście przemysłowym. Obejmuje metody formalne, takie jak metoda SCADE i/lub metoda B, w różnych dziedzinach, takich jak kolejnictwo, aeronautyka i przemysł motoryzacyjny. Celem tej książki jest przedstawienie podsumowania doświadczeń w zakresie stosowania metod formalnych (opartych na technikach formalnych, takich jak dowód, interpretacja abstrakcyjna i sprawdzanie modeli) w przemysłowych przykładach złożonych systemów, w oparciu o doświadczenia osób obecnie zajmujących się tworzenie i ocena oprogramowania systemowego o znaczeniu krytycznym dla bezpieczeństwa. Zaangażowanie osób z branży pozwala autorom uniknąć typowych problemów związanych z poufnością, które mogą się pojawić, a tym samym umożliwia im dostarczenie nowych przydatnych informacji (zdjęcia, plany architektury, prawdziwe przykłady itp.).