Previous Convide Lectures

Kristof Meixner (TU Wien): Product Lines Beyond Software - How Cyber-Physical Production Systems Challenge Software Product Line Approaches

Talk took place Tuesday, 9 July 2024, 3:45 - 5:15 pm

Kristof Meixner

Abstract: The integration of digital technologies with physical manufacturing has introduced complex challenges in the planning and configuration of Cyber-Physical Production Systems (CPPS). Software Product Line (SPL) engineering approaches provide ideas on how to tackle these challenges, but often fall short in addressing the unique demands of CPPS. This talk explores the challenges of CPPS engineering using a real-world use case and shows approaches that go beyond common SPL methods to improve flexibility, efficiency, and adaptability in production settings. For instance, it highlights domain-specific modeling techniques that derive well-established variability models for products, processes, and resources and how those models are integrated into a automated configruation process to generate essential CPPS artifacts like control codes. The talk will illustrate still unsolved challenges in CPPS engineering and potential new research directions and industry practices in the domain.

 

Shriram Krishnamurthi (Brown University): The Human Factors of Formal Methods

Talk took place Thursday, 13 June 2024, 3:45 - 5:15 pm

Shriram Krishnamurthi

Abstract: As formal methods improve in expressiveness and power, they create new opportunities for non-expert adoption. In principle, formal tools are now powerful enough to enable developers to scalably validate realistic systems artifacts without extensive formal training. However, realizing this potential for adoption requires attention to not only the technical but also the human side—which has received extraordinarily little attention from formal-methods research. This talk presents some of our efforts to address this paucity. We apply ideas from cognitive science, human-factors research, and education theory to improve the usability of formal methods. Along the way, we find misconceptions suffered by users, how technically appealing designs that experts may value may fail to help, and how our tools may even mislead users.