Figure 19 - uploaded by Bran Selic
Content may be subject to copyright.
Protocol change class model Figure 20 shows a class model of Interface Change. The model associates Interface Change with System Signature and with Component to indicate that, driven by a change to a system's Behavioral Signature, the effect of Interface Change is a change to the Provided Services or Required Services of the Components of the system. Again, Global and Local Consistency is managed through the system's Behavioral Signature.
Source publication
Change types of dynamic system reconfiguration are presented in this paper. A system under evolution implements one or more of these general types within the context of the conditions that motivated the change and the concrete representations of that system. As a set, the types of change represent a comprehensive capability of how a component-based...
Citations
... Among the model-based approaches investigated in the literature, the approaches presented in (Gogniat et 18 al., 2013;Meyer et al., 2013;Walsh et al., 2005Walsh et al., , 2006 are interesting as they propose models describing the reconfiguration process at a high level of abstraction. ...
... From our literature review, we identified several ontologies that have been developed to support system reconfiguration (Ali et al., 2011;Bermejo-Alonso et al., 2011, 2016Gogniat et al., 2013;Hernández et al., 2015;Krichen and Zalila, 2011;Meyer et al., 2013;OMG, 2010;Walsh et al., 2005Walsh et al., , 2006Witt et al., 2013). ...
... Several studies have discussed reconfiguration data (Ali et al., 2011;Bermejo-Alonso et al., 2011, 2016Gogniat et al., 2013;Hernández et al., 2015;Krichen and Zalila, 2011;Meyer et al., 2013;OMG, 2010;Walsh et al., 2005Walsh et al., , 2006Witt et al., 2013). These data models were developed to support system reconfiguration in various domains: 1) software systems and computing domains (Gogniat et al., 2013;Meyer et al., 2013;Walsh et al., 2005Walsh et al., , 2006, 2) embedded systems (Ali et al., 2011;Krichen and Zalila, 2011;OMG, 2010;Witt et al., 2013), 3) autonomous systems (Bermejo-Alonso et al., 2011, 2016Hernández et al., 2015). ...
System evolutions have to be managed to ensure system effectiveness and efficiency through its whole lifecycle, particularly when it comes to complex systems that take years of development and dozens of years of usage. System Reconfiguration is key in complex systems management, as it is an enabler of system flexibility and adaptability regarding system evolutions. System reconfiguration ensures operational effectiveness and increases system qualities (e.g., reliability, availability, safety, and usability).This research has been conducted in the context of a large international aerospace, space, ground transportation, defense, and security company. This research aims at supporting system reconfiguration during operations.First, we conducted a descriptive study based on a field study and a literature review to identify the industrial challenges related to system reconfiguration. The main issue lies in the development of reconfiguration support. More specifically, challenges related to data identification and integration were identified.In this thesis, we present the OSysRec ontology, which captures and formalizes the reconfiguration data. The ontology synthesizes the structure, dynamics, and management aspects necessary to support the system reconfiguration process in an overall manner.Furthermore, we present a model-based method (MBSysRec) that integrates system reconfiguration data and bridges both the engineering and the operational phases. MBSysRec is a multidisciplinary method that involves combinatorial configuration generation and a multi-criteria decision-making method for configuration evaluation and selection.This thesis is a step towards a model-based approach for system reconfiguration of evolving systems, ensuring their flexibility and adaptability
... There are several approaches that propose a categorization of reconfigurable control systems. As previously stated, while some approaches classify the RCS with a focus on the characteristics that can be changed (Valls, Lopez & Villar, 2013;Dennis et al. 2014;Walsh et al. 2006), others propose a classification according to the type of reconfiguration in the environmental context (Zhang and Jiang, 2008). Table 1 describes these approaches, taking into consideration both the changes and the expectations within the change. ...
Discrete-event control systems have the opportunity to resolve significant challenges of modern society. In particular, these represent a fundamental solution to manage and control the new technological advances in compliance to the increased consciousness of sustainable development. The parameterization, configuration and decision-making of these control systems are critical aspects that impact the performance and productivity required. Dynamic control architecture approaches, such as reconfigurable control systems, have been proposed for modelling such systems. However, such approaches have failed to address the recovery of the reconfiguration process as these focus on the continuity of execution rather than on the optimisation of the reconfiguration. This dissertation proposes a reference architecture for a reconfigurable control system, named Pollux, designed to manage and adjust optimally and in real time the architecture of a control system, either to guide operational execution or to respond to a system perturbation. Considering a proposed framework of an optimal configuration of control architectures based on shared governance, this proposed approach aims to orchestrate a flexible and customizable decisional entity, a representation that characterize the unique configuration and control solution of the control architecture, and a three-module reconfiguration mechanism that integrates the optimality-based principles into the reconfiguration process, to ensure a recovery of global performance and/or minimise the degradation caused by perturbations. Our approach is applied in the manufacturing domain and is validated in a simulation and a real flexible manufacturing system cell located at the University of Valenciennes, France. The validation conducted in three experimental scenarios verified the benefits of our approach and encourage us to continue research in this direction.
... The following is a review of a financial analysis system case study first presented in [4] and more fully reported on in [3]. The case study is an applicationspecific example of changing global and local properties leading to comprehensive change. ...
Dynamic system reconfiguration techniques are presented that can enable the systematic evolution of software systems due to unanticipated changes in specification or requirements. The methodological approach is based upon a domain analysis, which identifies a set of concepts that reflect the types of reconfigurations possible and the system integrity characteristics that must be maintained during such reconfigurations, a domain design, which is expressed using the Unified Modeling Language (UML) as a constraint-driven representation of the domain analysis, and a domain implementation, which uses a programming environment that supports explicit metaclass programming to realize an executable model of the analysis and design. It was learned that explicit metaclass programming can effectively be used to encode the constrained model, as a static representation, at the metalevel. With respect to dynamic reconfiguration, it was learned that a base-level object could be an instance of a property metaclass that is unique to that base-level object. Through a mixin mechanism, emergent run-time properties could be dynamically applied just to that object. The set of available mixins should also be adjusted dynamically. This is the subject of future work. Index Terms—Component-based systems, Dynamic reconfiguration, Feature modeling, Model-driven development, Service-oriented Architecture, Software evolution, System integrity, UML
... The following is a review of a financial analysis system case study first presented in [3] and more fully reported on in [1]. The case study is a domain-specific example of changing global and local properties leading to comprehensive change. ...
Explicit metaclass programming techniques are presented that enable domain-specific objects to dynamically change their run-time properties. The domain-specific objects are instantiations of a domain model of dynamic system reconfiguration. The domain model is the product of a model-based domain analysis that identified a set of concepts that reflect the types of reconfigurations possible and the system integrity characteristics that must be maintained during such reconfigurations. It is expressed using the Unified Modeling Language (UML) as a constrained representation of the domain-level specification and then realized as an executable model using a programming environment that supports explicit metaclass programming
System reconfiguration is essential in complex systems management, as it is an enabler of system flexibility and adaptability. It ensures system operation and increases reliability, availability, maintainability, testability, safety, and reuse of system entities and technologies. For the reconfiguration of a system in use, it is necessary to assess, in continuity, the system's state with regard to its context. Identifying data supporting system reconfiguration represents a major industrial challenge and is linked directly to the development of industrial reconfiguration tools. Reconfiguration tools are based on a data model, also called ontology, which represents key concepts of system reconfiguration and their relationships. A particular difficulty of developing the data model is the multi‐domain nature of reconfiguration. Furthermore, it needs to address a considerable diversity of system types. Few publications propose an ontology supporting data identification and tool development for the entire process. Hence, in this paper we propose to formalize the system reconfiguration process and propose an overarching ontology, which we call OSysRec. This ontology considers data at the management, dynamics, and structure level. The proposed ontology has been developed based upon expert knowledge and several industrial uses cases. The OSysRec ontology allowed a better understanding of the reconfiguration process, and hence it can be deployed for developing efficient and effective reconfiguration tools at the industrial scale. The ontology has been tested on an industrial case study to validate the proposed approach.
System reconfiguration (SR) is essential in system management, as it is an enabler for system flexibility and adaptability, attendant ilities being reliability, availability, maintainability, testability, safety, and reuse of system entities and technologies. Within current industrial practice, the development of reconfiguration tools is a real challenge. The development of these tools demand clear identification of reconfiguration data. In this paper, key concepts of the reconfiguration process, and relations among them, are represented in the form of the OSysRec ontology. These concepts are applied to the integrated modular avionics case study to test the proposed ontology within the aerospace domain.
A domain analysis of dynamic system reconfiguration is presented in this paper. The intent is to provide a comprehensive conceptual
framework within which to systematically and consistently address problems and solutions related to dynamically reconfigurable
systems. The analysis identifies and categorizes the various types of change that may be required, the relationship between
those types, and the system integrity characteristics that need to be considered when such changes take place. A system model
is employed to describe each change type using examples of global and local properties in the context of a financial analysis
system. A rigorous formal methodology, based on the Alloy language and tools, is employed to specify precisely and formally
the detailed relationships between various parts of the model. Based upon these descriptions, the types of change of dynamic
system reconfiguration are presented as a series of UML class models.
