Enhancing Learning-Enabled Software Systems to Address Environmental Uncertainty

被引:11
|
作者
Langford, Michael Austin [1 ]
Cheng, Betty H. C. [1 ]
机构
[1] Michigan State Univ, Dept Comp Sci & Engn, E Lansing, MI 48824 USA
关键词
machine learning; artificial neural networks; evolutionary computation; novelty search; search-based software engineering; software assurance; uncertainty;
D O I
10.1109/ICAC.2019.00023
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
An overarching problem with Learning-Enabled Systems (LES) is determining whether training data is sufficient to ensure the LES is resilient to environmental uncertainty and how to obtain better training data to improve the system's performance when it is not. Automated methods can ease the burden for developers by augmenting real-world data with synthetically generated data. We propose an evolution-based method to assist developers with the assessment of learning-enabled systems in environments not covered by available datasets. We have developed Enki, a tool that can generate various conditions of the environment in order to discover properties that lead to diverse and unique system behaviors. These environmental properties are then used to construct synthetic data for two purposes: (1) to assess a system's performance in an uncertain environment and (2) to improve system resilience in the presence of uncertainty. We show that our technique outperforms a random generation method when assessing the effect of multiple adverse environmental conditions on a Deep Neural Network (DNN) trained for the commonly-used CIFAR-10 benchmark.
引用
收藏
页码:115 / 124
页数:10
相关论文
共 50 条
  • [1] Machine Learning-Enabled Adaptation of Information Fusion Software Systems
    Fry, Gerald
    Samawi, Tameem
    Lu, Kenny
    Pfeffer, Avi
    Wu, Curt
    Marotta, Steve
    Reposa, Mike
    Chong, Stephen
    2019 22ND INTERNATIONAL CONFERENCE ON INFORMATION FUSION (FUSION 2019), 2019,
  • [2] Learning-enabled Networked Systems
    Zuo J.
    Performance Evaluation Review, 2024, 51 (03): : 66 - 69
  • [3] MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty
    Michael Austin Langford
    Kenneth H. Chan
    Jonathon Emil Fleck
    Philip K. McKinley
    Betty H. C. Cheng
    Software and Systems Modeling, 2023, 22 : 1543 - 1563
  • [4] MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty
    Langford, Michael Austin
    Chan, Kenneth H. H.
    Fleck, Jonathon Emil
    McKinley, Philip K.
    Cheng, Betty H. C.
    SOFTWARE AND SYSTEMS MODELING, 2023, 22 (05): : 1543 - 1563
  • [5] The Environmental Cost of Engineering Machine Learning-Enabled Systems: A Mapping Study
    Chadli, Kouider
    Botterweck, Goetz
    Saber, Takfarinas
    PROCEEDINGS OF THE 2024 4TH WORKSHOP ON MACHINE LEARNING AND SYSTEMS, EUROMLSYS 2024, 2024, : 200 - 207
  • [6] Component-based Approach to Software Engineering of Machine Learning-enabled Systems
    Indykov, Vladislav
    PROCEEDINGS 2024 IEEE/ACM 3RD INTERNATIONAL CONFERENCE ON AI ENGINEERING-SOFTWARE ENGINEERING FOR AI, CAIN 2024, 2024, : 250 - 252
  • [7] Dependable learning-enabled multiagent systems
    Huang, Xiaowei
    Peng, Bei
    Zhao, Xingyu
    AI COMMUNICATIONS, 2022, 35 (04) : 407 - 420
  • [8] RM4ML: requirements model for machine learning-enabled software systems
    Yang, Yilong
    Zeng, Bingjie
    Gao, Juntao
    REQUIREMENTS ENGINEERING, 2024, : 1 - 33
  • [9] Machine Learning-Enabled Smart Sensor Systems
    Ha, Nam
    Xu, Kai
    Ren, Guanghui
    Mitchell, Arnan
    Ou, Jian Zhen
    ADVANCED INTELLIGENT SYSTEMS, 2020, 2 (09)
  • [10] Formal Specification for Learning-Enabled Autonomous Systems
    Bensalem, Saddek
    Cheng, Chih-Hong
    Huang, Xiaowei
    Katsaros, Panagiotis
    Molin, Adam
    Nickovic, Dejan
    Peled, Doron
    SOFTWARE VERIFICATION AND FORMAL METHODS FOR ML-ENABLED AUTONOMOUS SYSTEMS, FOMLAS 2022, NSV 2022, 2022, 13466 : 131 - 143