Szoftvertechnológiai Fórum

2015. december 11-én, pénteken 10 órától a NJSZT Újklub, a MTA-BME Lendület 2015 Kiberfizikai Rendszerek Kutatócsoport és az ELTE Informatikai Kar Szoftvertechnológiai Fórumotszervez.

Előadást tart Prof. Bernhard Schätz (Technische Universität Munchen/fortiss), valamint Ráth István Zoltán és Horváth Ákos (BME VIK) közösen.

Előzetes regisztráció szükséges: www.inf.elte.hu/szoftvertechreg

Időpont: 2015. december 11. péntek 10 óra (regisztráció a helyszínen 9 órától).

Helyszín: ELTE Informatikai Kar, 1117 Budapest, Pázmány Péter sétány 1/C., 0-803 Szabó József előadó

Minden érdeklődőt szeretettel várunk!

Az előadók rövid ismertetése és az előadások kivonata

Prof. Bernhard Schätz: Model-Based Development and Cyber-Physical Systems — New Challenges and Possible Solutions

Bernhard Schätz received his Ph.D. and Habilitation degree in Informatics from the Technische Unversität München. At fortiss, he leads the research department "Software & Systems Engineering". Besides his scientific activities, he acts as Lecturer at the Technische Unversität München, he is co-founder and member of the advisory board of the Validas AG, and works as a consultant (incl. BW, Bosch, Eurocopter) in the field of Software Engineering.

Fields of interest:

Specification and verification of reactive computing systems, especially distributed systems. Different specification paradigms for distributed systems (CSP, CSS, stream processing functions, temporal logics, traces), Methodological aspects of correct distributed systems design, Model-Based Systems Development of Embedded Systems, Service-Based Software and Systems Engineering, Computer-aided/tool-supported design and verification of distributed systems.

Cyber-Physical Systems (CPS) are often understood as networked embedded systems. However, characteristics — as, e.g., identified in the CyPhERS Roadmap Europe — of CPS highlight challenges, which illustrate a real shift of paradigm compared to those systems.

The presentation identifies — starting from the state-of-the-art to the tool-supported technologies of model-based development as found in the automotive domain, and following the characterization of CPS provided in CyPhERS — three principles, which present new dimensions of system complexity. Furthermore, the presentation illustrates model-based approaches to address these dimensions, using networked energy systems as an example.

István Ráth – Ákos Horváth: Incremental Queries and Transformations for Engineering Critical Systems

Ákos Horváth received his PhD in Software engineering from the Budapest University of Technology and Economics. He is an accomplished researcher with strong background on the application of model-driven technologies for the design and optimization of complex systems with more than 40 peer-reviewed papers and several IEEE/Springer best paper awards under his belt.

He has been involved in several European Union research projects such as SENSORIA, DIANA and CONCERTO and large-scale industrial projects with companies like Embraer and IBM. As a distinguished achievement, Ákos was part of the Progile team, a cooperation with IBM Data Storage Systems, which won the Supply Chain Technology Award at the 2012 European Supply Chain & Logistic Summit.

In addition to his Research Fellow position at the Budapest University of Technology and Economics, Ákos Horváth also serves IncQuery Labs as one of its Managing Directors since its founding and has contributed significantly to putting the company on the right track for growth. Within the company, Ákos acts as a project coordinator and responsible for boosting productivity and morale.

István Ráth received both his MSc in Computer Engineering and his PhD in Software Engineering from the Budapest University of Technology and Economics. His main interest is model-driven systems development with a special focus on domain-specific languages and model transformations. Since 2006, he is a regular participant of European Union research projects such as SENSORIA, MOGENTES, SecureChange and MONDO. He co-authored more than 50 peer-reviewed papers, won multiple ACM/Springer Best Paper Awards, and he is the winner of the Pro Scientia Award of the Hungarian National Organization for Scientific Students’ Associations. In 2010, he was a visiting scholar at the University of Waterloo. As a Research Fellow of the University, he is a long-time contributor of Eclipse open source projects, serving as the chief technological architect of the VIATRA model transformation tool and the co-lead of the EMF-IncQuery model query framework. Before co-founding IncQuery Labs, he has been actively involved in several large-scale industrial R&D projects. He is a skilled trainer and consultant in software development, model-driven development and Eclipse technologies. Within IncQuery Labs, he serves as one of the Managing Directors in charge of innovation, responsible for leading both internal and external software R&D projects, and coordinating technology transfer from academic research to industrial practice.

Model-driven engineering (MDE) is widely used nowadays in the design of embedded systems, such as in the automotive, avionics or telecommunication domains. Behind the scenes, design and verification tools frequently exploit advanced model query and transformation techniques to support various rich tool features. The rapid increase in the size and complexity of system models has drawn significant attention to incremental model query and transformation approaches, which enable fast and incremental reactions to model changes caused by systems engineers or automated design steps. In this presentation, we overview two open source Eclipse projects, IncQuery and VIATRA, which have been actively used as a basis for developing various academic and industrial tools for critical systems.