Podstawy modelowania systemów dla weryfikacji formalnej

We współczesnej inżynierii znalezienie błędów systemu na późnym etapie rozwoju jest niezwykle kosztowne.Formalna weryfikacja pozwala matematycznie udowodnić, że system zachowuje się poprawnie, ale wszystko zaczyna się od zbudowania odpowiedniego modelu systemu. Ten kurs tekstowy przeprowadzi Cię przez podstawowe zasady modelowania systemów sprzętowych i programowych do automatycznej analizy.Będziesz przechodzić od zrozumienia podstawowych specyfikacji systemu do struktury złożonych modeli, które zapobiegają wadom projektowym wcześnie. Czego się nauczysz: Zrozumienie podstawowych pojęć weryfikacji funkcjonalnej i sprawdzania modelu; Reprezentuj zachowania sprzętu i oprogramowania za pomocą precyzyjnych formalizmów modelowania; Zastosuj systemy przejścia stanu do przechwytywania stanów i przejść systemu; Definiuj właściwości bezpieczeństwa i żywotności za pomoca podstawowych koncepcji logiki czasowej; Analizuj system Zacznij od podstawowej terminologii, systemów przejściowych i podstawowych koncepcji weryfikacji.Zapoznaj się z podstawowymi pojęciami, takimi jak: równowaga, równoległe, synchroniczne, ciągłe, przejście, bezpieczeństwo, łączność, mechanizm, konstrukcja, język, schematy, kompozycje i modele komunikacyjne dla procesów współbieżnych;Praktyka tłumaczenia wymagań projektowych na weryfikowalne reprezentacje poprzez ćwiczenia pisemne. Stamtąd dowiesz się, jak modelować kontrole zależne od danych i obsługiwać jednoczesne systemy z różnymi wzorcami komunikacji. Ten kurs jest przeznaczony dla początkujących inżynierów oprogramowania, projektantów sprzętu i architektów systemów. Nie jest wymagane wcześniejsze doświadczenie z formalną weryfikacją.