A CSP-Based Approach for Managing the Dynamic Reconfiguration of Software Architecture

2021 ◽  
Vol 14 (1) ◽  
pp. 156-173
Author(s):  
Abdelfetah Saadi ◽  
Youcef Hammal ◽  
Mourad Chabane Oussalah
Keyword(s):  
Dynamic Reconfiguration ◽  
Software Components ◽  
Behavioral Consistency ◽  
Dynamic Nature ◽  
Model Concept ◽  
Software Applications ◽  
Run Time ◽  
And Behavior ◽  
Dynamic Updates ◽  
Complicated Task

Software applications are composed of a set of interconnected software components running on different machines. Most of these applications have a dynamic nature and need to reconfigure structure and behavior at run-time. The dynamic reconfiguration of software is a problem that must be dealt with. Reconfiguring this kind of applications is a complicated task and risks to take software at an undesirable situation. In this paper, the authors present a solution whose objective is to provide a complete support for reconfiguring and formally verifying consistency of dynamic updates of software before performing them. The aim is to provide highly available systems with the ability to safely modify their structure and behavior at run-time. The proposed approach is based mainly on the use of the meta-model concept for reconfiguration structural checking, and the CSP language, refinement technique, and the FDR model checking tool for the verification of reconfiguration behavioral consistency. The authors have also developed a tool prototype that validates and implements their proposals.

scholarly journals Analysis of Machine Learning Approach for the modemodel in SWC Mapping in Automotive Systems

2021 ◽  
Vol 7 (1) ◽  
pp. 16-19
Author(s):  
Owes Khan ◽  
Geri Shahini ◽  
Wolfram Hardt
Keyword(s):  
Machine Learning ◽  
Autonomous Driving ◽  
Learning Approach ◽  
Software Components ◽  
Control Mechanisms ◽  
Learning Approaches ◽  
Software Applications ◽  
Automotive Systems ◽  
Machine Learning Approach ◽  
Development Processes

Automotive technologies are ever-increasinglybecoming digital. Highly autonomous driving togetherwith digital E/E control mechanisms include thousandsof software applications which are called as software components. Together with the industry requirements, and rigorous software development processes, mappingof components as a software pool becomes very difficult.This article analyses and discusses the integration possiblilities of machine learning approaches to our previously introduced concept of mapping of software components through a common software pool.

UML-Based Design and Validation of Intelligent Agents-Based Reconfigurable Embedded Control Systems

2012 ◽  
Vol 1 (1) ◽  
pp. 17-38 ◽  
Author(s):  
Amen Ben Hadj Ali ◽  
Mohamed Khalgui ◽  
Samir Ben Ahmed
Keyword(s):  
Embedded Systems ◽  
Control Systems ◽  
System Architecture ◽  
Production System ◽  
Intelligent Agents ◽  
Dynamic Reconfiguration ◽  
Software Agent ◽  
Software Components ◽  
Embedded Control ◽  
Embedded Control Systems

The paper examines UML-based design and validation of reconfigurable embedded control systems which can have multiple software architectural configurations such that each one is designed by a set of inter-connected software components. To handle dynamic reconfiguration scenarios, the authors define a software agent which interacts with users and applies several forms of reconfiguration at different granularity levels of the system’s architecture. The agent has the ability of monitoring the system’s environment and to apply appropriate and valid reconfiguration scenarios under well-defined constraints. Three architectural levels are defined in order to consider all possible reconfiguration forms of embedded systems. The authors define a set of UML-compliant metamodels to describe the knowledge about the reconfiguration agent, the system architecture, the reconfiguration scenarios, and the reconfiguration events. Validity of reconfigurations scenarios are checked using an UML-based environment which allows evaluating architectural and reconfiguration constraints. The proposed reconfiguration approach is applied to the FESTO production system.

INTERACTION-ORIENTED SOFTWARE DEVELOPMENT

2001 ◽  
Vol 11 (03) ◽  
pp. 259-279 ◽  
Author(s):  
MICHAEL N. HUHNS
Keyword(s):  
Software Engineering ◽  
Software Development ◽  
Software Components ◽  
New Approach ◽  
Reusable Software ◽  
Current State ◽  
Computational Paradigm ◽  
And Behavior

This paper describes a new approach to the production of robust software. We first motivate the approach by explaining why the two major goals of software engineering — correct software and reusable software — are not being addressed by the current state of software practice. We then describe a methodology based on active, cooperative, and persistent software components, i.e., agents, and show how the methodology produces robust and reusable software. We derive requirements for the structure and behavior of the agents, and report on preliminary experiments on applications based on the methodology. We conclude with a roadmap for development of the methodology and ruminations about uses for the new computational paradigm.

scholarly journals Spatial Navigation: Implications for Animal Models, Drug Development and Human Studies

2014 ◽  
pp. S237-S249 ◽  
Author(s):  
A. STUCHLIK ◽  
S. KUBIK ◽  
K. VLCEK ◽  
K. VALES
Keyword(s):  
Animal Models ◽  
Moving Objects ◽  
Declarative Memory ◽  
Spatial Navigation ◽  
Interdisciplinary Approach ◽  
Screening Tests ◽  
Therapeutic Approaches ◽  
Dynamic Nature ◽  
Natural Settings ◽  
And Behavior

Spatial navigation and memory is considered to be a part of the declarative memory system and it is widely used as an animal model of human declarative memory. However, spatial tests typically involve only static settings, despite the dynamic nature of the real world. Animals, as well as people constantly need to interact with moving objects, other subjects or even with entire moving environments (flowing water, running stairway). Therefore, we design novel spatial tests in dynamic environments to study brain mechanisms of spatial processing in more natural settings with an interdisciplinary approach including neuropharmacology. We also translate data from neuropharmacological studies and animal models into development of novel therapeutic approaches to neuropsychiatric disorders and more sensitive screening tests for impairments of memory, thought, and behavior.

scholarly journals General guidelines for biomedical software development

F1000Research ◽  
2017 ◽  
Vol 6 ◽  
pp. 273 ◽  
Author(s):  
Luis Bastiao Silva ◽  
Rafael C. Jimenez ◽  
Niklas Blomberg ◽  
José Luis Oliveira
Keyword(s):  
Software Development ◽  
Biomedical Applications ◽  
Development Process ◽  
Software Components ◽  
Specific Topic ◽  
Software Developers ◽  
Vast Number ◽  
Software Applications ◽  
New Strategies

Most bioinformatics tools available today were not written by professional software developers, but by people that wanted to solve their own problems, using computational solutions and spending the minimum time and effort possible, since these were just the means to an end. Consequently, a vast number of software applications are currently available, hindering the task of identifying the utility and quality of each. At the same time, this situation has hindered regular adoption of these tools in clinical practice. Typically, they are not sufficiently developed to be used by most clinical researchers and practitioners. To address these issues, it is necessary to re-think how biomedical applications are built and adopt new strategies that ensure quality, efficiency, robustness, correctness and reusability of software components. We also need to engage end-users during the development process to ensure that applications fit their needs. In this review, we present a set of guidelines to support biomedical software development, with an explanation of how they can be implemented and what kind of open-source tools can be used for each specific topic.

scholarly journals The MOVE Framework: Meanings, Observations, Viewpoints, and Experiences in processes of Social Change

2020 ◽  
Vol 24 (4) ◽  
pp. 321-334 ◽  
Author(s):  
Séamus A. Power ◽  
Gabriel Velez
Keyword(s):  
Lived Experiences ◽  
Social Economic ◽  
Meaning Making ◽  
Psychological Research ◽  
Social Psychological ◽  
Dynamic Nature ◽  
Psychological Science ◽  
Social Psychological Research ◽  
And Behavior ◽  
Over Time

Social psychologists are often criticized for failing to capture the dynamic nature of psychological processes. We present a novel framework to address this problem. The MOVE framework contends that to comprehend complex, contradictory, and divergent patterns of thought, affect, and behavior within changing, real-world contexts, it is necessary to undertake ecologically valid research that is attentive to the lived experiences and meaning-making processes of culturally embedded individuals over time. A focus on meanings, observations, viewpoints, and experiences is essential for social psychological research that holistically captures how people construct, understand, respond, position, and act over time within changing social, economic, and political contexts. To illustrate the utility of our proposition, we draw on classic social psychological studies and multimethod fieldwork during a period of rapid social and political change in Colombia during the peace process (2012–2017). We argue the MOVE framework has the potential to advance psychological understandings of, and contributions to, individuals embedded in real, dynamic social and political contexts. We discuss the implications of this extended social psychological paradigm for advancing psychological science.

Parental Efficacy in Nursing Practice: A Concept Analysis and Derivation

2014 ◽  
Vol 18 (4) ◽  
pp. 7-13
Author(s):  
Vanessa M. Manila,
Keyword(s):  
Nursing Care ◽  
Growth And Development ◽  
Nursing Practice ◽  
Concept Analysis ◽  
The Self ◽  
Dynamic Nature ◽  
Parental Efficacy ◽  
Culturally Congruent ◽  
Parenting Role ◽  
And Behavior

This paper clarifies and develops the meaning of parental efficacy in nursing practice using Walker and Avant’s method of concept analysis. Analysis of the concept revealed various terms used to mean parental efficacy with common attributes such as perception, judgment, belief, capability, and behavior toward parenting role. Parental efficacy is a concept derived from the self-efficacy theory of Bandura. Construct limitations and the dynamic nature of nursing justified efforts to develop the concept to become applicable to the practice of nursing. The meaning of efficacy with the inclusion of components of transcultural caring theory by Leininger was performed. A conceptual derivation of parental efficacy in nursing practice meant an outcome of a culturally congruent nursing care where parents accomplish certain tasks beneficial to the state of health, growth, and development of the child. A model and contrary case explicates the attributes of the concept.

Component-based software development for integrated construction management software applications

2001 ◽  
Vol 15 (2) ◽  
pp. 173-187 ◽  
Author(s):  
FENIOSKY PEÑA-MORA ◽  
SANJEEV VADHAVKAR ◽  
SIVA KUMAR DIRISALA
Keyword(s):  
Software Development ◽  
Construction Management ◽  
Design Patterns ◽  
Development Process ◽  
Software Components ◽  
Design Rationale ◽  
Software Development Process ◽  
Software Application ◽  
Software Applications ◽  
Specific Implementation

This paper presents a framework and a prototype for designing Integrated Construction Management (ICM) software applications using reusable components. The framework supports the collaborative development of ICM software applications by a group of ICM application developers from a library of software components. The framework focuses on the use of an explicit software development process to capture and disseminate specialized knowledge that augments the description of the ICM software application components in a library. The importance of preserving and using this knowledge has become apparent with the recent trend of combining the software development process with the software application code. There are three main components in the framework: design patterns, design rationale model, and intelligent search algorithms. Design patterns have been chosen to represent, record, and reuse the recurring design structures and associated design experience in object-oriented software development. The Design Recommendation and Intent Model (DRIM) was extended in the current research effort to capture the specific implementation of reusable software components. DRIM provides a method by which design rationale from multiple ICM application designers can be partially generated, stored, and later retrieved by a computer system. To address the issues of retrieval, the paper presents a unique representation of a software component, and a search mechanism based on Reggia's setcover algorithm to retrieve a set of components that can be combined to get the required functionality is presented. This paper also details an initial, proof-of-concept prototype based on the framework. By supporting nonobtrusive capture as well as effective access of vital design rationale information regarding the ICM application development process, the framework described in this paper is expected to provide a strong information base for designing ICM software.

Sign in / Sign up

Export Citation Format

Share Document