Home Search AAA
COURSE MENU
 
MAIN MENU
 
 
ANALYSIS AND SYNTHESIS OF REAL-TIME SYSTEMS
Code: 11446
ECTS: 6
Lecturers in charge: izv. prof. dr. sc. Bruno Blašković
English level:

1,1,1

All teaching activities in the course will be held on English. This level includes courses with multiple groups (i.e., all teaching will be held strictly in Croatian for Croatian groups, and strictly in English for English groups).
Description:
Real-Time system as a set of communicating processes. Formal description methods. Comunicating algebras, automata, Petri nets and logic models. Synthesis, specification and verification of reactive systems. UML, SDL and synchronous languages. Analysis and synthesis with model transformations. Algorithms for synthesis, reachability algorithms, theorem proving. Synthesis as a constraint satisfaction problem. Scheduling and allocation. Tools. Examples: concurrent reactive systems, protocols, parallel algorithms, model extraction.
Literature:
  1. K. Schneider: Verification of Reactive Systems, Springer 2004.
  2. G. Holzmann: The SPIN model checker, Addison-Wesley, 2003.
  3. M. Bernardo, F. Corradini (ur.): Formal Methods for the Design of Real-Time Systems, LNCS 3185, Springer, 2004.
Consultations schedule:
NEWS
FORUM
Sort by: title | last reply time | thread opened time
Title Replies Last reply
FREQUENTLY ASKED QUESTIONS
REPOSITORY
 
Repository is empty
REPOSITORY
 
Repository is empty
POLL
 
No polls currently selected on this page!