Conference paper

Comparative Analysis of Methods and Tools for Formal Modelling and Verification for Embedded Systems. Probabilistic Approach

M. Golonka (AGH Univ. of Science and Techn., Poland)

Research is focused on approximation modeling and analysis of software correctness. Part of research include gathering informations about methods such as Markov Chain, Markov Process, stochastic Petri net, Probabilistic Timed Automata and software tools which allows to presents formal modelling for embedded systems examples. This article describe short introductions to aforementioned methods and software tools which are intended to help researchers during process of analysis and design of real time systems. Additionally article describe recent state of art of few example articles for formal modelling usage.

Download one page abstract

Receipt of papers:

March 15th, 2021

Notification of acceptance:

May 11th, 2021

Registration opening:

May 17th, 2021

Final paper versions:

May 31th, 2021