hero image
Betty Cheng - Michigan State University. East Lansing, MI, US

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:

Model-based Development of High-Assurance Dynamically Adaptive Systems - Betty H.C. Cheng

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

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 Conference

Chad 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.

view more

Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412)

Dagstuhl Reports

Betty 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.

view more

On the Globalization of Domain-Specific Languages

Globalizing Domain-Specific Languages

Betty 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.

view more