SAM 2019 Programme

Monday September 16, 2019

Final programme to be confirmed.

09:00 – 09-15: Opening

09:15 -10:30: Keynote 1 - Antoni Guasch i Petit (Universitat Politècnica de Catalunya)

Title: Conceptual Modeling using Petri Nets

Abstract: Petri nets have proved to be a successful tool for modeling logistic and manufacturing systems thanks to a series of properties, including the conciseness with which they embody static structure and dynamics, the availability of mathematical analysis techniques, and the clear graphical nature. Furthermore, Petri nets are very suitable for modeling and visualizing patterns of behavior comprising concurrency, synchronization and resource sharing, which are key factors in optimizing system performance. The main objective of this presentation is to introduce Petri nets as a formalism for the conceptual modeling of discrete event systems. The discussion will be put in the context of logistic, transportation and manufacturing industrial simulation processes in which the conceptual modelling is an important phase of the simulation project life cycle.

Biography

Born in 1958, Dr. Antoni Guasch is a research engineer focusing on modelling, simulation and optimization of dynamic systems, especially continuous and discrete-event simulation of industrial processes. He received his Ph.D. from the UPC in 1987. After a postdoctoral period at the State University of California (USA), he becomes a professor of the UPC (www.upc.edu ). He is now professor in the department of "Ingeniería de Sistemas, Automática e Informática Industrial" in the UPC where he is teaching Modeling, Simulation and Optimization courses. Since 1990, Prof Guasch has lead 45 industrial projects related with modelling, simulation and optimization of nuclear, aerospace, textile, transportation, intermodality, car manufacturing, beer, water, steel, pharmaceutical, health and banking processes.

Prof. Guasch has also been the Scientific Co-ordinator and researcher in 7 scientific projects. He has participated in 4 EU projects, with the role of partner leader in two of them. He has also been involved in the organization of local and international simulation conferences.

10:30 – 11:00: Coffee break

Tuesday September 17, 2019

Final program to be confirmed.

09:00 -10:30: Keynote 2 - Thomas Weigert (Chief Technology Officer and Vice President at UniqueSoft)

Title: Does model-driven engineering have a future in commercial software development?

Abstract: To be confirmed.

Biography:

Thomas Weigert is Chief Technology Officer and a founder of Uniquesoft where he directs research and development. Previously, he held positions as Professor of Computer Science and St. Clair Endowed Chair of Software Engineering at the University of Missouri at Rolla; as Motorola Fellow and Vice President with Motorola Global Software Group where he was responsible for the development environment, including processes, methods, tools, as well as the quality and engineering computing infrastructures, deployed in 19 software factories in 14 countries with over 7500 software engineers; and as Assistant Professor of Mathematics at the Johannes Kepler University in Linz. He held visiting research positions at the Electrotechnical Laboratories, Tsukuba, and Argonne National Laboratories, Argonne.

He is the author of a text book, seven international standards, as well as over seventy book chapters and refereed articles in international journals and conferences on the application of artificial intelligence techniques to the development of product software, in particular for real-time distributed systems. His research contributions have been in the areas of modeling languages, the derivation of efficient programs from design models, and the use of automated theorem proving in program generation and verification. He and his team have developed innovative tools supporting the software development life cycle and have demonstrated one of the first commercial embedded software products with the complete code automatically generated from high-level specifications as early as the late eighties. He holds 6 US patents pertaining to the generation and testing of software using automated techniques.

He received his Ph.D., M.S., and M.A. degrees from the University of Illinois, and an M.B.A. from Northwestern University.

10:30 – 11:00: Coffee break

Home About Us Join us What's New

Page last modified on: