Lionel C. Briand
Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg
Bio: Lionel C. Briand is professor and FNR PEARL chair in software verification and validation at the SnT centre for Security, Reliability, and Trust, University of Luxembourg. He also acts as vice-director of the centre.
Lionel started his career as a software engineer in France (CS Communications & Systems) and has conducted applied research in collaboration with industry for more than 20 years. Until moving to Luxembourg in January 2012, he was heading the Certus center for software verification and validation at Simula Research Laboratory, where he was leading applied research projects in collaboration with industrial partners. Before that, he was on the faculty of the department of Systems and Computer Engineering, Carleton University, Ottawa, Canada, where he was full professor and held the Canada Research Chair (Tier I) in Software Quality Engineering. He has also been the software quality engineering department head at the Fraunhofer Institute for Experimental Software Engineering, Germany, and worked as a research scientist for the Software Engineering Laboratory, a consortium of the NASA Goddard Space Flight Center, CSC, and the University of Maryland, USA.
Lionel was elevated to the grade of IEEE Fellow for his work on the testing of object-oriented systems. He was recently granted the IEEE Computer Society Harlan Mills award and the IEEE Reliability Society engineer-of-the-year award for his work on model-based verification and testing. His research interests include: software testing and verification, model-driven software development, search-based software engineering, and empirical software engineering. Lionel has been on the program, steering, or organization committees of many international, IEEE and ACM conferences. He is the coeditor-in-chief of Empirical Software Engineering (Springer) and is a member of the editorial boards of Systems and Software Modeling (Springer) and Software Testing, Verification, and Reliability (Wiley). More details can be found on: http://people.svv.lu/briand/
Title: Scalable Software Testing and Verification of Real-Time and Embedded Systems Through Metaheuristic Search and Optimization
Summary: Testing and verification problems in real-time and embedded systems come in many different forms, due to significant differences across domains and contexts. But one common challenge is scalability, the capacity to test and verify increasingly large, complex systems. Another concern relates to practicality. Can the inputs required by a given technique be realistically provided by engineers? This talk reports on 10 years of research tackling verification and testing as a search and optimization problem, usually relying on abstractions and models of the system under test. Our observation is that most of the problems we faced could be re-expressed so as to make use of appropriate search and optimization techniques to automate a specific testing or verification strategy. One significant advantage of such an approach is that it often leads to solutions that scale in large problem spaces and that are less demanding in terms of the level of detail and precision required in models and abstractions. Their drawback, as heuristics, is that they are not amenable to proof and need to be thoroughly evaluated by empirical means. However, in the real world of software development, proof is usually not an option, even for smaller and critical systems. In practice, testing and verification is a means to reduce risk as much as possible given available resources and time. Concrete examples of problems we have addressed and that I will cover in my talk include schedulability analysis, stress/load testing, CPU usage analysis, robustness testing, and testing dynamic controllers. Most of these projects have been performed in industrial contexts and solutions were validated on industrial systems.
University of Leuven, Belgium
Bio: Dr. Bruyninckx (http://people.mech.kuleuven.be/~bruyninc/) obtained the Masters degrees in Mathematics (Licentiate, 1984), Computer Science (Burgerlijk Ingenieur, 1987) and Mechatronics (1988), all from the Katholieke Universiteit Leuven, Belgium. In 1995 he obtained his Doctoral Degree in Engineering from the same university, with a thesis entitled ``Kinematic Models for Robot Compliant Motion with Identification of Uncertainties.''
He is full-time Professor at the KU Leuven, and held visiting research positions at the Grasp Lab of the University of Pennsylvania, Philadelphia (1996), the Robotics Lab of Stanford University (1999), and the Kungl Tekniska Hogskolan, Stockholm (2002). Between 2007 and 2015, he was leading the European robotics community, first as Coordinator of the European Robotics Research Network EURON and from 2012 as the Vice-President Research of the euRobotics AISBL association.
His current research interests are on-line Bayesian estimation of model uncertainties in sensor-based robot tasks, kinematics and dynamics of robots and humans, and the software engineering of large-scale robot control systems. In 2001, he started the Free Software ("open source") project Orocos (http://www.orocos.org), to support his research interests, and to facilitate their industrial exploitation.
Bayesian estimation is his core research activity, and has its focus on "realtime" design: the raw sensor measurements must be processed and interpreted in the context of the motion and interaction models fast enough in order to use them in the feedback control of the robot. The sensors and models used in the "interactions" are mostly force sensors, distance sensors and cameras. The focus of the research activities shifts from the traditional industrial robotics applications to more biomechanical "robotic devices", looking for new application domains of the robotics signal processing and control expertise of the research group.
Title: Mobile Manipulation: Doing It Badly Makes It Better
Summary: Mobile manipulator hardware becomes more and more affordable, starting from platforms like the KUKA youBot to wheelchairs equipped with Jako arms. But we are still controlling them as CNC machines, with lots of degrees of freedom. The result is that these devices are overdoing their motion control, which not only leads to more costs but paradoxically also to poorer behaviour. The reason is that the mainstream control of these devices is way too "stiff" for the purposes, so that physical interactions with the environment (or humans...) are still more of a "bug" instead of a "feature". This talk explains our research towards changing the approach of programming and controlling mobile manipulation tasks, which, especially in industrial service robotics context, can lead to a revolutionary step change in applications.