• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Семинары 2021-2022 уч.г.

15.09 Overview of real-time models

Speaker: Evgenii Vinarskii, PAIS Lab Research Assistant 

This presentation is devoted to the current deals in studying real-time models. We consider the classical Timed Automaton (TA) model. Then we move to the Timed Finite State Machines (TFSM) model. There are three main TFSM models: (i) TFSM with timed guards, (ii) TFSM with timeouts (iii) TFSM with timed guards and timeouts. We consider equivalence relation between various real-time models and bisimulation relation between timed and untimed models.

08.09 Studying the properties of timed finite state machines

Speaker: Evgenii Vinarskii, PAIS Lab Research Assistant 

Sequential reactive systems are formal models of programs that interact with the environment by receiving inputs and producing corresponding outputs. The behavior of a reactive system depends not only on the flow of input data, but also on the time the input data arrive and the delays that occur when generating responses. To capture these aspects, a timed finite state machine (TFSM) is used. TFSM is an extension of finite state machine (FSM) which is used for modelling and analysis of real-time reactive systems. 

This presentation is devoted to refined semantics ofTFSMs, this gives us an opportunity to model more complex real-time systems.For example, we show how to represent the behavior of Software Defined Networking (SDN) Controller via TFSM. Then we discuss how the verification methods for the refined TFSM change compared with classical one.


 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.