Abstract
Applying Model-Driven Engineering can improve development efficiency. But gaining such benefits for legacy software requires models, and creating them manually is both laborious and error prone. Active automata learning has the potential to make it cost-effective, but practitioners face practical challenges applying it to software components of industrial cyber-physical systems. To overcome these challenges, we present a framework to learn the behavior of component-based software with a client/server architecture, focusing on interfacing isolated component code with an active learning tool. An essential part of the framework is an interfacing protocol that provides a structured way of handling the (a)synchronous communications between the component and learning tool. Our main contribution is the systematic derivation of such interfacing protocols for component-based software, which we demonstrate on the software architecture of ASML, a leading company in developing lithography machines. Through several practical case studies we show that our semi-automatic approach enables setting up a learning environment to learn component behaviors within hours. The protocol’s responsibilities and the way it handles different communication types apply to component-based software in general. Our framework could thus be adapted for companies with similar software architectures.
| Original language | English |
|---|---|
| Title of host publication | Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering |
| Subtitle of host publication | 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II |
| Editors | Tiziana Margaria, Bernhard Steffen |
| Publisher | Springer Science and Business Media Deutschland GmbH |
| Pages | 216-236 |
| Number of pages | 21 |
| Volume | 2 |
| ISBN (Electronic) | 9783031197567 |
| ISBN (Print) | 9783031197550 |
| DOIs | |
| Publication status | Published - 2022 |
| Event | 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 - Rhodes, Greece Duration: 22 Oct 2022 → 30 Oct 2022 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 13702 LNCS |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 |
|---|---|
| Country/Territory | Greece |
| City | Rhodes |
| Period | 22/10/22 → 30/10/22 |
Bibliographical note
Funding Information:Keywords: Active automata learning · Component-based systems · Industrial application D. Hendriks—This research is carried out as part of the Transposition project under the responsibility of ESI (TNO) in co-operation with ASML. The research activities are supported by the Netherlands Ministry of Economic Affairs and TKI-HTSM. K. Aslam—This research was supported by the Eindhoven University of Technology and ASML Netherlands B.V., carried out as part of the IMPULS II project.
Funding Information:
The authors would like to thank ASML for making this work possible and supporting it, and Mladen Skelin for his contributions to this work, in particular the implementation.
Publisher Copyright:
© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.
Keywords
- Active automata learning
- Component-based systems
- Industrial application
