Professor Pangiotis Katsaros of the Aristotle University of Thessaloniki
will give a talk on Correct-by-construction Model-based Design of Reactive Streaming Software
for Multi-cores.

Abstract
A model-based design approach towards correct-by-construction multi-core implementations of reactive streaming software will be presented. A system's implementation is derived from a high-level process network model by applying semantics-preserving model transformations. The so-called Fixed Priority Process Networks (FPPNs) are programmed independently from the execution platform and combine streaming and reactive control behavior with task parallelism for utilizing multi-core processing. Applications are rendered such that, for any given test stimuli, a deterministic output response is expected. A model transformation framework allows deriving
executable implementations of FPPNs on the BIP (Behavior - Interaction - Priority) runtime environment, ported on multi-core platforms. Schedulability is established by static analysis of the FPPN and it is guaranteed by construction. Thus, the developers do not explicitly program low-level real-time OS services (e.g. for task management) and applications are amenable to testing, as opposed to if their outputs would depend on the timing behavior. We have successfully ported a
guidance-navigation and control application of a satellite system, onto a multi-core platform and we explored various implementation scenarios for efficiently utilizing the HW resources.
Panagiotis Katsaros, Aristotle University of Thessaloniki (AUTh), Greece joint work with F. Gioulekas (AUTh), P. Poplavko (Mentor) and S. Bensalem (Verimag)

Bio (web page: http://delab.csd.auth.gr/~katsaros)
Panagiotis Katsaros is a Professor in the School of Informatics of the Aristotle Un. of Thessaloniki in Greece working on research problems related to the formal verification and the rigorous design of systems, software and security mechanisms. He has published over 95 articles in international journals and conference proceedings and he has coordinated funded research programs at a national and international level. Prof. Katsaros worked as Visiting Professor in Stony Brook University and maintains close collaboration with Distinguished Professor Scott Smolka on
the problem of Model Repair, which is seen as an extension of Model Checking. In April 2018, Prof. Katsaros hosted in Greece and was the General Chair of the 21 st edition of the European Joint
Conferences on Theory and Practice of Software (ETAPS).