Xiaohong Chen, ECNU, China

“Automatically Detecting Inconsistencies in Safety Requirements for Railway Systems”

Abstract: Consistency verification of safety requirements is an important but still challenging task for safety-critical systems such as rail transit systems. That is mainly because safety requirements are typically written in natural language and with strong time constraints. Driven by the practical need for railway interlocking systems from industry, we propose a systematic approach to specify safety requirements in a quasi natural language and automatically verify their consistency. In this talk, I will introduce three verification methods, Z3 based bounded model checking, conflict patterns based match, and causality clock graph based circular dependency search. The last two methods offer efficient solutions to detect and locate inconsistencies using static analysis. 

Antonio Bucchiarone, Fondazione Bruno Kessler- IRST, Italia

“Requirements@Runtime: The Case of Gameful Systems”

Abstract: When the goal is to keep users involved in certain activity and/or to modify an initial behavior, often, gameful systems are exploited. The power of these systems relies on the usage of game-like elements,such as awarding points, submitting challenges, and fostering competition and cooperation with other players. In these applications, it is crucial to keep players engaged. Submitting a challenge which requires an inappropriate level of effort – either because it is too easy or too difficult – would make the game goals fail. Thus, setting up the aspects of a game can become tedious and error-prone, especially when dealing with a lot of users and the game combining multiple, interacting challenges. In this paper, we describe our  framework to support a game designer in the definition of gamification requirements, from their design to their deployment and runtime adaptation.