skip to main content
10.1145/3629264.3629280acmotherconferencesArticle/Chapter ViewAbstractPublication PagesiccdaConference Proceedingsconference-collections
research-article

Automaton Model Updating Based on the L* Algorithm

Published: 19 December 2023 Publication History

Abstract

When a system is upgraded, it is necessary to update its formal model accordingly. This study proposes an automaton model updating method based on the L* algorithm. Firstly, the observation table with respect to the original model is modified by performing membership queries with the upgraded system. Secondly, the redundancy information in the observation table is deleted. After these operations, the values of the observation table are consistent with the behavior of the new system. Then the observation table is extended in the framework of the L* algorithm. Finally, an automaton model describing the behavior of the new system is obtained. The effectiveness of the proposed algorithm and the impact of system upgrade rate on modeling are studied quantitatively by experiments.
CCS CONCEPTS • •Theory of computation∼Theory and algorithms for application domains∼Machine learning theory∼Active learning

References

[1]
Cassandras, Christos G., and Stéphane Lafortune. 2008. Introduction to discrete event systems. Boston, MA: Springer US, 2008. https://doi.org/10.1007/978-0-387-68612-7_11.
[2]
Belta C, Sadraddini S. 2019. Formal methods for control synthesis: An optimization perspective. Annual Review of Control, Robotics, and Autonomous Systems, 2019, 2: 115-140. https://doi.org/10.1146/annurev-control-053018-023717.
[3]
Wang J. 2022. Patient flow modeling and optimal staffing for emergency departments: A Petri net approach[J]. IEEE Transactions on Computational Social Systems, 2022. https://doi.org/10.1109/TCSS.2022.3186249.
[4]
Mkaouar H, Zalila B, Hugues J, 2020. A formal approach to AADL model-based software engineering. International Journal on Software Tools for Technology Transfer, 2020, 22: 219-247. https://doi.org/10.1007/s10009-019-00513-7.
[5]
Kroll B, Schaffranek D, Schriegel S, 2014. System modeling based on machine learning for anomaly detection and predictive maintenance in industrial plants. Proceedings of the 2014 IEEE emerging technology and factory automation (ETFA). IEEE, 2014: 1-7. https://10.1109/ETFA.2014.7005202.
[6]
Steffen B, Howar F, Merten M. 2011. Introduction to Active Automata Learning from a Practical Perspective. SFM. 2011, 11: 256-296.
[7]
Murphy, Kevin P. 1995. Passively learning finite automata. Santa Fe Institute, 1995.
[8]
Angluin, Dana. Learning regular sets from queries and counterexamples. Information and computation 75.2 (1987): 87-106. https://doi.org/10.1016/0890-5401(87)90052-6.
[9]
Howar F, Steffen B. 2018. Active automata learning in practice: an annotated bibliography of the years 2011 to 2016. Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, pringer International Publishing, 2018: 123-148. https://doi.org/10.1007/978-3-319-96562-8_5
[10]
Bouchekir R, Boukhedouma S, Boukala M C. 2016. Automatic compositional verification of probabilistic safety properties for inter-organisational workflow processes. 2016 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH). IEEE, 2016: 1-10.
[11]
Raffelt H, Merten M, Steffen B, 2009. Dynamic testing via automata learning. International journal on software tools for technology transfer, 2009, 11: 307-324. https://doi.org/10.1007/s10009-009-0120-7.
[12]
Selvaraj Y, Farooqui A, Panahandeh G, 2022. Automatically Learning Formal Models from Autonomous Driving Software. Electronics, 2022, 11(4): 643. https://doi.org/10.3390/electronics11040643.
[13]
Vardhan A, Sen K, Viswanathan M, 2005. Actively learning to verify safety for FIFO automata. FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings 24. Springer Berlin Heidelberg, 2005: 494-505. https://doi.org/10.1007/978-3-540-30538-5_41.
[14]
Bates, Ira Wendell, Ali Karimoddini, and Mohammad Karimadini. Learning a partially-known discrete event system. IEEE Access 8 (2020): 61806-61816. https://doi.org/10.1109/ACCESS.2020.2983074.
[15]
Groce, Alex, Doron Peled, and Mihalis Yannakakis. 2022. Adaptive model checking. International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, Berlin, Heidelberg, 2002. https://doi.org/10.1007/3-540-46002-0_25.
[16]
Campari, Tommaso, 2022. Online Learning of Reusable Abstract Models for Object Goal Navigation. Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition. 2022.
[17]
Tavassoli, Shaghayegh, 2022. Adaptive behavioral model learning for software product lines. Proceedings of the 26th ACM International Systems and Software Product Line Conference-Volume A. 2022. https://doi.org/10.1145/3546932.3546991
[18]
Valiant, Leslie G. 1984. A theory of the learnable. Communications of the ACM. (1984): 1134-1142.
[19]
Isberner M., Howar F., 2014. Steffen B. The TTT algorithm: a redundancy-free approach to active automata learning. Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings 5. Springer International Publishing, 2014: 307-322. https://doi.org/10.1007/978-3-319-11164-3_26.
[20]
Huistra D, Meijer J, van de Pol J. 2020. Adaptive learning for learn-based regression testing. Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2020, Maynooth, Ireland, September 3-4, 2020, Proceedings 23. Springer International Publishing, 2020: 162-177. https://doi.org/10.1007/978-3-030-00244-2_11.
[21]
Chow, Tsun S. 1978. Testing software design modeled by finite-state machines. IEEE transactions on software engineering 3 (1978): 178-187. https://doi.org/10.1109/TSE.1978.231496
[22]
Muškardin, Edi, 2022. AALpy: an active automata learning library. Innovations in Systems and Software Engineering 18.3 (2022): 417-426. https://doi.org/10.1007/s11334-022-00449-3

Index Terms

  1. Automaton Model Updating Based on the L* Algorithm
        Index terms have been assigned to the content through auto-classification.

        Recommendations

        Comments

        Information & Contributors

        Information

        Published In

        cover image ACM Other conferences
        ICCDA '23: Proceedings of the 2023 7th International Conference on Computing and Data Analysis
        September 2023
        137 pages
        ISBN:9798400700576
        DOI:10.1145/3629264
        Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        Published: 19 December 2023

        Permissions

        Request permissions for this article.

        Check for updates

        Author Tags

        1. L* Algorithm
        2. automaton model
        3. discrete-event system
        4. model updating

        Qualifiers

        • Research-article
        • Research
        • Refereed limited

        Conference

        ICCDA 2023

        Contributors

        Other Metrics

        Bibliometrics & Citations

        Bibliometrics

        Article Metrics

        • 0
          Total Citations
        • 16
          Total Downloads
        • Downloads (Last 12 months)12
        • Downloads (Last 6 weeks)3
        Reflects downloads up to 17 Feb 2025

        Other Metrics

        Citations

        View Options

        Login options

        View options

        PDF

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader

        HTML Format

        View this article in HTML Format.

        HTML Format

        Figures

        Tables

        Media

        Share

        Share

        Share this Publication link

        Share on social media