Uniscon 2009 Keynotes

Chair of the session: Ralf-D. Kutsche

	Model-based design - a chance for good quality products and services by integrating intelligence.
Professor András Pataricza Technical University of Budapest

Abstract:

Frequently, model-based computing is looked at as a good paradigm increasing productivity by allowing an increase in the design level, thus in productivity and reusability similar to that what happened several decades ago when software technology changed from machine near assembly programming to high-level languages.

However, model-based design (and operation) opens new opportunities to drastically increase the quality of the IT products and the services delivered by them. During the design phase one of the main drivers of the advanced support by the design environment originates in the opportunity of integrating sophisticated mathematics into the design workflow. Formal methods embedded into design workflow may support not only a continuous checking of the conformance to the design rules (which may be specific to the application area by introducing domain specific languages into the design tool-chain) but they can support the design process by deliberating the designer from tedious routine tasks. Another option is offer in the form of helping the designer in complex situations by means of integrated multiaspect optimization.

The talk will present the new opportunities based on the toolchain developed for safety critical embedded systems at the Budapest University of Technology and OptXware, respectively. At first, it introduces an approach supporting the introduction of domain specific technique in a controlled way into the entire toolchain (covering the creation, model transformation based manipulation, semi-automated synthesis and formal verification). Subsequently, a concept is introduced for the supporting technologies relying on tool integration and information fusion in which the main concepts of service oriented architectures are complemented with a model transformation based semantic model and data integration.

Finally, the exploitation of the existence of the requirement and design models for supporting the operation and maintenance phases is addressed.

Bio:

Professor András Pataricza received his diploma in Electrical Engineering in 1977 from the Technical University Budapest, his PhD and Doctor of the HungarianAcademy of Sciences degree in 1988 and 2008, respectively. Since 1977 he is with the Department of Measurement and Information Systems. He is the leader of the Fault-Tolerant Systems Research Group. He was a visiting professor at the University of Erlangen-Nuremberg between 1993 and 1994, and in 2003. He is the author, co-author or editor of 13 books, 7 book chapters, 25 journal articles and 110 conference papers. He has been the Hungarian project leader of several EU projects (HIDE, HIDENETS, RESIST, SENSORIA, GENESYS and DECOS) and many academic and industrial research projects. He was PC member of DSN, EDCC, DDECS, ISAS, FTCS etc. conference series and SC member, general co-chair and program co-chair of EDCC, ISAS and DDECS conference series. He is founder and president of a spin-off company named OptXware established together with the members of his Research Group in order to promote model-based computing with a special emphasis of the aspects and consolidation of dependability.