Text
VeriDevOps Research Workshop Series
VeriDevOps Research Workshop III
Time: 9:30-12:40 (CET) Feb.10 2023
Location: Hybrid (online and Mälardalen Univeristy (room R-142), Universitetsplan 1, Västerås, Sweden)
Time | Duration | Topic | Presenter | Organization |
|---|---|---|---|---|
9:30 | 20 Min | VeriDevOps Technical Introduction | Andrey Sadovykh | SOFT |
9:50 | 30 Min | RQCODE - Requirements as Code | Andrey Sadovykh | SOFT |
10:20 | 30 Min | Metamorphic testing with fault localization for ICSs | Dragos Truscan | ABO |
10:50 | 15 Min | Break | / | / |
11:05 | 30 Min | Finding Quality Problems In Security Requirements Using NALABS | Eduard Paul Enoiu | MDU |
11:35 | 30 Min | Software Testing at ABB MP | Filip Sebek/Simon Monié | ABB |
12:05 | 30 Min | Anomaly detection with Explainable AI | Wissam Mallouli | MI |
12:35 | 5 Min | Wrap up | Andrey Sadovykh | VeriDevOps Consortium |
12:40 | End of meeting |
Meet the speakers
Dr. Sadovykh is an innovation consultant and a research project manager in Softeam and an Assistant Professor at Innopolis University. He coordinated SOFTEAM’s research activities of the company covering fields such as model-driven development (MDD) and model-based system engineering (MBSE), Business Process Automation (BPA), Cloud and Big Data in application areas such as eGovernment, eHealth, Space and Agro sectors.
Adj. Prof.Dragos Truscan has obtained his doctoral degree from Åbo Akademi in 2007, with a dissertation titled “Model-Driven Development of Programmable Architectures”. He is currently working as a senior lecturer in Software Engineering at Åbo Akademi University. His research focused on model-based and machine learning based techniques for testing functional and non-functional properties of software intensive systems in industrial settings. Over the years, he participated in several industry-driven national and European level projects.
Dr. Enoiu is a senior lecturer at Mälardalen University in Västerås, Sweden, primarily affiliated with the Software Testing Laboratory and the Formal Modelling and Analysis groups at the Department of Networked and Embedded Systems. His research interests span software engineering and empirical research, especially how to test, maintain, evolve, and assure high-quality software systems.
Filip Sebek is an R&D Engineer at ABB Marines and Ports in Västerås, Sweden. He develops sensor systems for fully automated container cranes including requirement handling, implementation, testing, functional safety, and cyber security. Prior the 14 years in the software industry, he worked for 15 years as a university teacher in Computer Engineering.
Simon Monié is an R&D engineer at ABB Marine and Ports in Västerås, Sweden. He develops the continuous integration and continuous delivery for fully automated container cranes, including requirements handling, implementation, testing, verification and validation, and cyber security. Simon has a M.Sc. in Robotics from MDU and his research interests lie in software development with machine learning in the field of robotics, such as ROS2, path-planning, sensor fusion, perception, and also NLP.
Dr.Mallouli is currently the CTO of Montimage company located in Paris, France. His expertise covers continuous risk management and cyberdefense of critical systems and networks including cloud-based systems, IoT, and 4G/5G networks. He is working on several collaborative European research projects and has more than 50 scientific publications in popular conferences and journals.