B
Betty H. C. Cheng
Researcher at Michigan State University
Publications - 234
Citations - 10165
Betty H. C. Cheng is an academic researcher from Michigan State University. The author has contributed to research in topics: Formal specification & Software system. The author has an hindex of 46, co-authored 228 publications receiving 9635 citations. Previous affiliations of Betty H. C. Cheng include Wayne State University & University of Illinois at Urbana–Champaign.
Papers
More filters
Proceedings ArticleDOI
Evolution of robust data distribution among digital organisms
TL;DR: The results of experiments demonstrate that populations of digital organisms are capable of evolving to distribute data in a network, and that through the application of different selective pressures, these digital organisms can overcome communication obstacles such as message loss, limited bandwidth, and node failure.
Proceedings Article
Applying formal methods and object-oriented analysis to existing flight software
TL;DR: Three objectives of the project were to demonstrate the use of formal methods on a shuttle application, facilitate the incorporation and validation of new requirements for the system, and verify the safety-critical properties to be exhibited by the software.
Proceedings ArticleDOI
Applying evolution and novelty search to enhance the resilience of autonomous systems
TL;DR: The ability to identify and characterize input speed signals that cause the existing controller to perform poorly enables development of a control system capable of handling a wider range of conditions by autonomously switching among controller modes that are optimized for different conditions.
Proceedings ArticleDOI
i2MAP: an incremental and iterative modeling and analysis process
TL;DR: i2MAP, an iterative and incremental goal-driven process for constructing an analysis-level UML model of an embedded system model for an adaptive light control system, is presented.
Proceedings ArticleDOI
MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems
Michael Austin Langford,Kenneth H. Chan,Jonathon Emil Fleck,Philip K. McKinley,Betty H. C. Cheng +4 more
TL;DR: In this paper, a model-driven approach is proposed to manage self-adaptation of a learning-enabled system (LES) to account for run-time contexts for which the learned behavior of LECs cannot be trusted.