Abstract
In this paper a method for engineering supervisory controllers for product lines with dynamic feature configuration is proposed. The variability in valid configurations is described by a feature model. Behavior of system components is achieved using (extended) finite automata and both behavioral and dynamic configuration constraints are expressed by means of requirements as is common in supervisory control theory. Supervisory control synthesis is applied to compute a behavioral model in which the requirements are adhered to. For the challenges that arise in this setting, multiple solutions are discussed. Some of these solutions are exemplified in the ClF tool set using a wiper system model.
Highlights
In present day development of systems and products, reuse of both software and hardware components is sought to reduce development and production costs, and shorten time-to-market
The variability in valid configurations is described by a feature model
The approaches that are used for guaranteeing a proper functioning SPL are verification technologies such as theorem provers [6], model checkers [7], and correct-by-construction approaches such as supervisory control synthesis [8]
Summary
In present day development of systems and products, reuse of both software and hardware components is sought to reduce development and production costs, and shorten time-to-market. The goal of Software/System Product Line Engineering (SPLE) is to facilitate reuse throughout all phases of systems engineering [1] Adoption of this paradigm requires identification of the core assets of the products in the domain in order to exploit their commonality and manage their variability, often defined in terms of features. In [8], for the first time supervisory control synthesis has been considered for constructing supervisory controllers for an SPL described by a feature model. A number of challenges arise when dealing with dynamic configuration: For most of these challenges there are multiple solutions and it depends on the case at hand which one is most appropriate. The contribution of this paper is a model-based approach for engineering supervisory controllers for SPLs with dynamic feature configuration. Supervisory controller synthesis is known to suffer from scalability problems [10], synthesis for this larger case study was completed within seconds
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
