Active automata learning is emerging as an effective technique for obtaining state machine models of software and hardware systems. In this talk, I will present an overview of work in my group in which we used automata learning to find standard violations and security vulnerabilities in implementations of network protocols such as TCP, TLS, and SSH. Also, I will discuss the application of automata learning to support refactoring of legacy embedded control software, and the theoretical challenges that we face to further scale the application of automata learning techniques.
Industrial systems are in general subject to deterioration, ultimately leading to failure, and therefore require maintenance. Due to increasing possibilities to monitor, store, and analyze conditions, condition-based maintenance policies are gaining popularity. The most detailed approach for modeling condition parameters is by using continuous-time continuous-state stochastic processes. However, the resulting analysis can be quite difficult, and therefore simulation is often used. We describe an approach for discretizing continuous-time continuous-state non-decreasing deterioration processes, resulting in discrete-time Markov chains. Furthermore, we show how standard matrix algebra can be used to optimize condition-based maintenance policies, taking into account a required planning time for carrying out maintenance.
On the 10th of September, the Scientific Meeting of the PrimaVera project took place. During this half-day session, researchers involved in all the different work packages presented their recent accomplishments and results, leading to interesting and fruitful discussions. The next academic meeting will take place on November 26th.
In this presentation, Alieh will first present the important aspects of Asset Management and how predictive maintenance strategies will influence these aspects. Then, she will present the steps required for vibration analysis of the bearings in rotary machines (based on Mobius Institute books). In the end, she will briefly explain the structure for the deliverable document for PrimaVera.