The TIPS'19 workshop will feature the following invited talks.
Conformance Testing as a Tool for Designing Connected Vehicle Functions
Connected and Autonomous Vehicles (CAV) are taking a central position in the landscape of intelligent mobility and their rigorous verification and validation is one of the main challenges in their public adoption and social acceptance. Conformance testing is a rigorous verification technique that has been widely tried in various critical applications. In this talk, we examine the adaptations and extensions of the notions of conformance and model-based testing techniques to the domain of cyber-physical systems that make them suitable for application in the CAV domain. We present how the extended techniques can be used in the design of connected vehicle functions and verify various design decisions.
Mohammad Mousavi holds the chair of Data-Driven Software Engineering at the School of Informatics, University of Leicester. Prior to that he has held positions at Eindhoven University of Technology, Reykjavik University, Delft University of Technology, Halmstad University, and Chalmers / University of Gothenburg. Mohammad's main research area is in model-based testing, particularly applied to software product lines and cyber-physical systems. He has been leading several research initiatives and industrial collaboration projects on healthcare and automotive systems regarding their validation, verification, and safety analysis.
Partial-Order Reduction for Synthesis and Performance Analysis of Supervisory Controllers
One of the main challenges in the synthesis and analysis of supervisory controllers is the impact of state-space explosion caused by concurrency. The main bottleneck is often the memory needed to store the composition of plant and requirement automata and the resulting supervisor. Partial-order reduction is a well-established technique in the field of model checking that alleviates this issue. It does so by exploiting redundancy in the model with respect to the properties that are considered. In the context of controller synthesis these properties are nonblockingness, controllability, and least-restrictiveness. For performance analysis of controllers, we consider throughput and latency. We propose an on-the-fly partial-order reduction on the input model that preserves both synthesis and performance properties in the synthesized supervisory controller. This improves scalability of both the synthesis and performance analysis steps. Experiments show the effectiveness of the method on a set of realistic manufacturing system models.
Michel Reniers received his master and PhD from the Department of Mathematics and Computer Science of Eindhoven University of Technology, in 1994 and 1999, respectively. After a short postdoc in the Systems Engineering group at CWI (the national research institute for mathematics and computer science in the Netherlands), he took up a position as an assistant professor in the Department of Mathematics and Computer Science. From 2010 he continued as an assistant professor in the Department of Mechanical Engineering, first in the group Manufacturing Networks and later in the group Control Systems Technology.
Michel Reniers is currently an Associate Professor in model-based engineering of supervisory control at the department of Mechanical Engineering at TU/e. He has authored over 100 journal and conference papers. His research portfolio ranges from model-based systems engineering and model-based validation and testing to novel approaches for supervisory control synthesis. Applications of this work are mostly in the areas of high-tech systems and cyber-physical systems.
MARTE2.0: towards a key OMG standard in the model-based development processes for real-time and embedded systems
Since its initial adoption by the OMG in 2009, the UML Profile for modelling and analysis of real-time embedded systems (MARTE) has been used in, and adapted to several application domains and analysis approaches. After this time, new areas, tools, technologies, and related specifications have emerged around it, suggesting the need for its adaptation to the modern practitioners’ environments. This talk elaborates over the various requirements for an enhanced version of MARTE, which shall lead to a formal Request for Proposals that claim for extensions, additional functionality, and modeling needs.
Julio Medina graduated as Electronics Engineer from Universidad Nacional de Ingeniería, Perú, in 1987. He obtained the Master in Real-Time Systems (1993) and the Doctorate in Telecommunications Engineering (2005) from Universidad de Cantabria, Spain. He developed electronics and embedded software for nuclear instrumentation in the Peruvian Nuclear Research Center. After moving to Spain he worked as assistant professor in electronics instrumentation and software engineering and did research on distributed real-time systems. During the doctorate period, he concentrated on the modelling of real-time systems developed with object-oriented techniques, being later co-author of the UML Profile for MARTE of the OMG in a post-doctorate research at the Commissariat à l'Energie Atomique in France. Currently, he is associate professor in the Universidad de Cantabria and does research in several European projects. His main research topics include the modelling of real-time distributed systems for schedulability analysis and dependability, the UML standards for the representation of such models, and their usage for modular and component-based development software engineering strategies.