Challenges when using Model Driven Architecture in the development of Safety Critical Software

2007 ◽  
Author(s):  
Philippa Conmy ◽  
Richard F. Paige
Keyword(s):  
Model Driven Architecture ◽  
Safety Critical ◽  
Model Driven

Use of Business Models within Model Driven Architecture

2009 ◽  
Vol 38 (38) ◽  
pp. 119-130
Author(s):  
Erika Asnina
Keyword(s):  
Business Models ◽  
Business Processes ◽  
Use Cases ◽  
Separation Of Concerns ◽  
Model Driven Architecture ◽  
Model Driven ◽  
Development Processes ◽  
Business Requirements ◽  
Complex Computer ◽  
Independent Model

Use of Business Models within Model Driven Architecture Model Driven Architecture is a framework dedicated for development of large and complex computer systems. It states and implements the principle of architectural separation of concerns. This means that a system can be modeled from three different but related to each other viewpoints. The viewpoint discussed in this paper is a Computation Independent one. MDA specification states that a model that shows a system from this viewpoint is a business model. Taking into account transformations foreseen by MDA, it should be useful for automation of software development processes. This paper discusses an essence of the Computation Independent Model (CIM) and the place of business models in the computation independent modeling. This paper considers four types of business models, namely, SBVR, BPMN, use cases and Topological Functioning Model (TFM). Business persons use SBVR to define business vocabularies and business rules of the existing and planned domains, BPMN to define business processes of both existing and planned domains, and use cases to define business requirements to the planned domain. The TFM is used to define functionality of both existing and planned domains. This paper discusses their capabilities to be used as complete CIMs with formally defined conformity between planned and existing domains.

scholarly journals Model‐driven architecture based security analysis

2021 ◽  
Author(s):  
Saoussen Mili ◽  
Nga Nguyen ◽  
Rachid Chelouah
Keyword(s):  
Security Analysis ◽  
Model Driven Architecture ◽  
Model Driven

scholarly journals C2AADL_Reverse: A model-driven reverse engineering approach for development and verification of safety-critical software

2021 ◽  
pp. 102202
Author(s):  
Zhibin Yang ◽  
Zhikai Qiu ◽  
Yong Zhou ◽  
Zhiqiu Huang ◽  
Jean-Paul Bodeveix ◽  
...  
Keyword(s):  
Reverse Engineering ◽  
Safety Critical ◽  
Model Driven ◽  
Engineering Approach

scholarly journals Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report.

2019 ◽  
Vol 18 (2) ◽  
pp. 1:1 ◽  
Author(s):  
Romina Eramo ◽  
Florent Marchand de Kerchove ◽  
Maximilien Colange ◽  
Michele Tucci ◽  
Julien Ouy ◽  
...  
Keyword(s):  
System Development ◽  
Experience Report ◽  
Critical System ◽  
Safety Critical ◽  
Model Driven ◽  
Safety Critical System

scholarly journals Formalism Challenges of the Cougaar Model Driven Architecture

2004 ◽  
pp. 57-71 ◽  
Author(s):  
Shawn A. Bohner ◽  
Boby George ◽  
Denis Gračanin ◽  
Michael G. Hinchey
Keyword(s):  
Model Driven Architecture ◽  
Model Driven

scholarly journals Productivity Evaluation of Self-Adaptive Software Model Driven Architecture

2014 ◽  
pp. 191-210
Author(s):  
Basel Magableh ◽  
Stephen Barrett
Keyword(s):  
Dynamic Decision Making ◽  
Development Effort ◽  
Model Driven Architecture ◽  
Model Driven ◽  
Software Model ◽  
Source Line ◽  
Formal Procedure ◽  
Context Dependent ◽  
Application Requirements ◽  
Self Adaptive

Anticipating context changes using a model-based approach requires a formal procedure for analysing and modelling context-dependent functionality and stable description of the architecture which supports dynamic decision-making and architecture evolution. This article demonstrates the capabilities of the context-oriented component-based application model-driven architecture (COCA-MDA) to support the development of self-adaptive applications; the authors describe a state-of-the-art case study and evaluate the development effort involved in adopting the COCA-MDA in constructing the application. An intensive analysis of the application requirements simplified the process of modelling the application’s behavioural model; therefore, instead of modelling several variation models, the developers modelled an extra-functionality model. COCA-MDA reduces the development effort because it maintains a clear separation of concerns and employs a decomposition mechanism to produce a context-oriented component model which decouples the applications’ core functionality from the context-dependent functionality. Estimating the MDA approach’s productivity can help the software developers select the best MDA-based methodology from the available solutions. Thus, counting the source line of code is not adequate for evaluating the development effort of the MDA-based methodology. Quantifying the maintenance adjustment factor of the new, adapted, and reused code is a better estimate of the development effort of the MDA approaches.

Sign in / Sign up

Export Citation Format

Share Document