Automated Method for Assurance Case Construction from System Design Models

2021 ◽  
Author(s):  
Charles Hartsell ◽  
Nagabhushan Mahadevan ◽  
Abhishek Dubey ◽  
Gabor Karsai
Keyword(s):  
System Design ◽  
Design Models ◽  
Automated Method ◽  
Assurance Case

Model-Driven Reverse Engineering of Open Source Systems

2015 ◽  
pp. 1966-1987
Author(s):  
Ricardo Perez-Castillo ◽  
Mario Piattini
Keyword(s):  
Reverse Engineering ◽  
System Design ◽  
Open Source ◽  
Business Processes ◽  
Program Comprehension ◽  
Software Systems ◽  
Design Models ◽  
Model Driven ◽  
Class Diagrams ◽  
Open Source Systems

Open source software systems have poor or inexistent documentation and contributors are often scattered or missing. The reuse-based composition and maintenance of open source software systems therefore implies that program comprehension becomes a critical activity if all the embedded behavior is to be preserved. Program comprehension has traditionally been addressed by reverse engineering techniques which retrieve system design models such as class diagrams. These abstract representations provide a key artifact during migration or evolution. However, this method may retrieve large complex class diagrams which do not ensure a suitable program comprehension. This chapter attempts to improve program comprehension by providing a model-driven reverse engineering technique with which to obtain business processes models that can be used in combination with system design models such as class diagrams. The advantage of this approach is that business processes provide a simple system viewpoint at a higher abstraction level and filter out particular technical details related to source code. The technique is fully developed and tool-supported within an R&D project about global software development in which collaborate two universities and five companies. The automation of the approach facilitates its validation and transference through an industrial case study involving two open source systems.

Function Basis for Mechatronic System Design

2011 ◽  
Vol 284-286 ◽  
pp. 1401-1407
Author(s):  
Yong Xu
Keyword(s):  
Information Processing ◽  
System Design ◽  
Theoretical Basis ◽  
State Transition ◽  
Transformation Function ◽  
Mechatronic System ◽  
Mechatronic Systems ◽  
Design Models ◽  
Functional Description ◽  
Function Transformation

A new function-oriented theoretical basis for mechatronic system design is presented in the paper, with a technology-independent functional description of such aspects in a mechatronic system as 1) relations and distinctions among purpose function, transformation function and state transition and 2) structure of information processing. All discussions are summarized in a set of principles, which consequently form the basis for devising design models and methods for mechatronic systems.

Model-Driven Reverse Engineering of Open Source Systems

2017 ◽  
pp. 1029-1051
Author(s):  
Ricardo Perez-Castillo ◽  
Mario Piattini
Keyword(s):  
Reverse Engineering ◽  
System Design ◽  
Open Source ◽  
Business Processes ◽  
Program Comprehension ◽  
Software Systems ◽  
Design Models ◽  
Model Driven ◽  
Class Diagrams ◽  
Open Source Systems

Open source software systems have poor or inexistent documentation and contributors are often scattered or missing. The reuse-based composition and maintenance of open source software systems therefore implies that program comprehension becomes a critical activity if all the embedded behavior is to be preserved. Program comprehension has traditionally been addressed by reverse engineering techniques which retrieve system design models such as class diagrams. These abstract representations provide a key artifact during migration or evolution. However, this method may retrieve large complex class diagrams which do not ensure a suitable program comprehension. This chapter attempts to improve program comprehension by providing a model-driven reverse engineering technique with which to obtain business processes models that can be used in combination with system design models such as class diagrams. The advantage of this approach is that business processes provide a simple system viewpoint at a higher abstraction level and filter out particular technical details related to source code. The technique is fully developed and tool-supported within an R&D project about global software development in which collaborate two universities and five companies. The automation of the approach facilitates its validation and transference through an industrial case study involving two open source systems.

Didactic Model of eTextbook

2015 ◽  
pp. 154-174
Keyword(s):  
Knowledge Management ◽  
System Design ◽  
Cognitive Activity ◽  
Instructional System ◽  
Future Research ◽  
Instructional System Design ◽  
Design Models ◽  
Digital Textbook ◽  
The Core ◽  
Effective Design

This chapter analyses the issue of effective design based on cross-principles. Based on theoretical-practical data, it proposes a new didactical model that reflects both the digital textbook' structure and the processes triggered by the digital textbook. It is argued that there are many instructional system design models, but the didactic model is a conceptualisation of processes based on postmodernism philosophy. The core of the didactical model is the processes for and of cognitive activity, designed as a pedagogical scenarios and managed through externalization, internalization, intermediation and cognition. At all knowledge management phases the personalisation of the digital content can be made on cognitive, affective and psychomotor levels. Conclusions and future research are provided at end.

Model-Driven Reverse Engineering of Open Source Systems

2014 ◽  
pp. 139-160
Author(s):  
Ricardo Perez-Castillo ◽  
Mario Piattini
Keyword(s):  
Reverse Engineering ◽  
System Design ◽  
Open Source ◽  
Business Processes ◽  
Program Comprehension ◽  
Software Systems ◽  
Design Models ◽  
Model Driven ◽  
Class Diagrams ◽  
Open Source Systems

Open source software systems have poor or inexistent documentation and contributors are often scattered or missing. The reuse-based composition and maintenance of open source software systems therefore implies that program comprehension becomes a critical activity if all the embedded behavior is to be preserved. Program comprehension has traditionally been addressed by reverse engineering techniques which retrieve system design models such as class diagrams. These abstract representations provide a key artifact during migration or evolution. However, this method may retrieve large complex class diagrams which do not ensure a suitable program comprehension. This chapter attempts to improve program comprehension by providing a model-driven reverse engineering technique with which to obtain business processes models that can be used in combination with system design models such as class diagrams. The advantage of this approach is that business processes provide a simple system viewpoint at a higher abstraction level and filter out particular technical details related to source code. The technique is fully developed and tool-supported within an R&D project about global software development in which collaborate two universities and five companies. The automation of the approach facilitates its validation and transference through an industrial case study involving two open source systems.

Transformation from System Design Models in SysML to Executable IEC 61499 Function Block Models

2021 ◽  
Author(s):  
Yue Cao ◽  
Yusheng Liu ◽  
Bo Huang ◽  
Ganming Huang ◽  
Xiaoping Ye
Keyword(s):  
System Design ◽  
Design Models ◽  
Function Block ◽  
Block Models ◽  
Iec 61499

Evolving Design Model Synchronization for System Health Management Using Laplace Approximation

2014 ◽  
Author(s):  
Pingfeng Wang ◽  
Adebayo O. Adewunmi ◽  
Zequn Wang
Keyword(s):  
System Design ◽  
Model Updating ◽  
Health Management ◽  
High Reliability ◽  
Laplace Approximation ◽  
Design Model ◽  
Model Parameters ◽  
Design Models ◽  
Model Synchronization ◽  
Engineered Systems

Lifecycle health management plays an increasingly important role in realizing resilience of aging complex engineered systems since it detects, diagnoses, and predicts system-wide effects of adverse events, therefore enables a proactive approach to deal with system failures. To address an increasing demand to develop high-reliability low-cost systems, this paper presents a new platform for operational stage system health management, referred to as Evolving Design Model Synchronization (EDMS), which enables health management of aging engineered systems by efficiently synchronizing system design models with degrading health conditions of actual physical system in operation. A Laplace approximation approach is employed for the design model updating, which can incorporate heterogeneous operating stage information from multiple sources to update the system design model based on the information theory, thereby increases the updating accuracy compared with traditionally used Bayesian updating methodology. The design models synchronized over time using sensory data acquired from the system in operation can thus reflect system health degradation with evolvingly updated design model parameters, which enables the application of failure prognosis for system health management. One case study is used to demonstrate the efficacy of the proposed approach for system health management.

Sign in / Sign up

Export Citation Format

Share Document