UNIVERSITY OF HERTFORDSHIRE
	     COMPUTER SCIENCE RESEARCH COLLOQUIUM

			    presents


         "Static Deadlock Analysis of Process Networks 
              with Synchronous Interface Automata"

			Simon Maurer
    (School of Computer Science, University of Hertfordshire)

		  29 March 2017 (Wednesday)
			   1 - 2 pm


		  Hatfield, College Lane Campus
			Seminar Room D102

		  Everyone is Welcome to Attend

		  Refreshments will be available


Abstract:

The interaction of concurrent systems in general is fragile in the sense
that unwanted blocking can occur. Especially in the domain of critical
systems it is important to ensure that a system is free of permanent
blocking.
  In this work, we present an analysis to detect permanent blocking
in systems of concurrent processes where the interaction is based
on synchronous communication. We introduce *synchronous interface
automata* (SIA) to model the input and output behaviour of each concurrent
process. Based on the semantics of SIA, we define the meaning of permanent
blocking between two or more concurrent processes. We identify the
two possible types of permanent blocking, namely lonely blocking and
deadlocks. Finally, we present an analysis that is able to identify both
types of permanent blocking between two or more concurrent processes. This
blocking analysis can be also used in modular form where it allows to
merge two processes by folding their SIAs. The modular analysis variant
can be applied incrementally in arbitrary order to detect permanent
blocking between multiple processes.


The Speaker:

   Simon Maurer is a 3rd year PhD student in Computer Science at the
University of Hertfordshire. He is a member  of the research group Compiler
Technology and Computer Architecture (CTCA), and his research focus lies
on coordination languages for cyber-physical systems.



---------------------------------------------------
Hertfordshire Computer Science Research Colloquium
http://cs-colloq.cs.herts.ac.uk