Betty Cheng
Professor of Computer Science and Engineering | Michigan State University
East Lansing, MI, UNITED STATES
An expert in safety and security of high-assurance computing systems
Media
Publications:
Documents:
Photos:
Videos:
Audio/Podcasts:
Biography
Dr. Cheng's research and teaching interests include formal methods for software engineering, component-based software development, object-oriented analysis and design, embedded systems development, dynamically-adaptive systems, visualization, and distributed computing. She is a co-founder of the Software Engineering and Network Systems Laboratory that currently supports 6 faculty members and their graduate students. Her research has been funded by NSF, DARPA, NASA, ONR, EPA, USDA, and numerous industrial organizations.
Industry Expertise (6)
Computer Software
Computer Hardware
Research
Education/Learning
Computer Networking
Energy
Areas of Expertise (5)
Dynamically-Adaptive Systems
Medical and automotive information systems
Computer systems safety
Homeland Security
Distribution Computing
Education (3)
University of Illinois-Urbana Champaign: Ph.D., Computer Science
University of Illinois-Urbana Champaign: M.S., Computer Science
Northwestern University: B.S., Computer Science
Links (1)
Journal Articles (3)
An Approach to Mitigating Unwanted Interactions between Search Operators in Multi-Objective Optimization
Proceedings of the 2015 on Genetic and Evolutionary Computation ConferenceChad Michael Byers, Betty H.C. Cheng
2015 At run time, software systems often face a myriad of adverse environmental conditions and system failures that cannot be anticipated during the system's initial design phase. These uncertainties drive the need for dynamically adaptive systems that are capable of providing self-* properties (e.g., self-monitoring, self-adaptive, self-healing, etc.). Prescriptive techniques to manually preload these systems with a limited set of configurations often result in brittle, rigid designs that are unable to cope with environmental uncertainty. An alternative approach is to embed a search technique capable of exploring and generating optimal reconfigurations at run time. Increasingly, DAS applications are defined by multiple competing objectives (e.g., cost vs. performance) in which a set of valid solutions with a range of trade-offs are to be considered rather than a single optimal solution. While leveraging a multi-objective optimization technique, NSGA-II, to manage these competing objectives, hidden interactions were observed between search operators that prevented fair competition among solutions and restricted search from regions where valid optimal configurations existed. In this follow-on work, we demonstrate the role that niching can play in mitigating these unwanted interactions by explicitly creating favorable regions within the objective space where optimal solutions can equally compete and co-exist.
Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412)
Dagstuhl ReportsBetty H. C. Cheng and Benoit Combemale and Robert B. France and Jean-Marc Jezequel and Bernhard Rumpe
2015 This report documents the program and the outcomes of the Dagstuhl Seminar 14412 "Globalizing Domain-Specific Languages" held in October 2014. Complex, data-intensive, cyper-physical, cloud-based etc. systems need effective modeling techniques, preferably based on DSLs to describe aspects and views. Models written in heterogeneous languages however need to be semantically compatible and their supporting individual tools need to be interoperable. This workshop discusses possible and necessary forms of interoperation their benefits and drawbacks and in particular whether there is a general pattern on coordination, composition and interoperation possible. Main goal was to establish a research programme towards such techniques.
On the Globalization of Domain-Specific Languages
Globalizing Domain-Specific LanguagesBetty HC Cheng, Benoit Combemale, Robert B France, Jean-Marc Jézéquel, Bernhard Rumpe
2015 In the software engineering community, research on domain-specific languages (DSLs) is focused on providing technologies for designing languages and tools that enable domain experts to develop system solutions efficiently. Unfortunately, the current lack of support to explicitly relate concepts expressed in different DSLs makes it difficult for software and system engineers to reason about information distributed across models or programs describing different system aspects, at different levels of abstraction. Supporting the coordinated use of DSLs is what we call the globalization of DSLs. In this chapter, we introduce a grand challenge of the globalization of DSLs, and we present a few motivating scenarios for such a grand challenge.
