Architecture-Level Configuration of Large-Scale Embedded Software Systems

in ACM Transactions on Software Engineering and Methodology (2014), 23(3),

Configuration in the domain of integrated control systems (ICS) is largely manual, laborious, and error-prone. In this paper, we propose a model-based configuration approach that provides automation ... [more ▼]

Configuration in the domain of integrated control systems (ICS) is largely manual, laborious, and error-prone. In this paper, we propose a model-based configuration approach that provides automation support for reducing configuration effort and the likelihood of configuration errors in the ICS domain. We ground our approach on componentbased specifications of ICS families. We then develop a configuration algorithm using constraint satisfaction techniques over finite domains to generate products that are consistent with respect to their ICS family specifications. We reason about the termination and consistency of our configuration algorithm analytically. We evaluate the effectiveness of our configuration approach by applying it to a real subsea oil production system. Specifically, we have rebuilt a number of existing verified product configurations of our industry partner. Our experience shows that our approach can automatically infer up to 50% of the configuration decisions, and reduces the complexity of making configuration decisions. [less ▲]

Automated Model-in-the-Loop Testing of Continuous Controllers using Search

in 5th Symposium on Search-Based Software Engineering (SSBSE 2013), Springer Lecture Notes in Computer Science (2013, August)

The number and the complexity of software components embedded in today’s vehicles is rapidly increasing. A large group of these components monitor and control the operating conditions of physical devices ... [more ▼]

The number and the complexity of software components embedded in today’s vehicles is rapidly increasing. A large group of these components monitor and control the operating conditions of physical devices (e.g., components controlling engines, brakes, and airbags). These controllers are known as continuous controllers. In this paper, we study testing of continuous controllers at the Model-in-Loop (MiL) level where both the controller and the environment are represented by models and connected in a closed feedback loop system.We identify a set of common requirements characterizing the desired behavior of continuous controllers, and develop a search-based technique to automatically generate test cases for these requirements. We evaluated our approach by applying it to a real automotive air compressor module. Our experience shows that our approach automatically generates several test cases for which the MiL level simulations indicate potential violations of the system requirements. Further, not only do our approach generates better test cases faster than random test case generation, but we also achieve better results than test scenarios devised by domain experts. [less ▲]

PWWM: A Personal Web Workflow Methodology

in Chignell, M.; Cordy, J.; Kealey, R. (Eds.) et al The Personal Web (2013)

Model-Based Automated and Guided Configuration of Embedded Software Systems

in European Conference on Modeling Foundations and Applications (2012)

Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing

in 15th ACM/IEEE International Conference on Model Driven Engineering Languages & Systems (2012)

Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering

in 15th ACM/IEEE International Conference Model Driven Engineering Languages and Systems (2012)