Model-driven engineering applied to the development of embedded software for B-mode ultrasound imaging systems - A case study

2014 ◽  
Author(s):  
Haroldo Jose Onisto ◽  
Tiago de Moraes Machado ◽  
Ramon Cravo Fernandes ◽  
Johannes Dantas de Medeiros ◽  
Iliezer Tamagno ◽  
...  
Keyword(s):  
Ultrasound Imaging ◽  
Embedded Software ◽  
Imaging Systems ◽  
Model Driven Engineering ◽  
Model Driven

scholarly journals Using MDE to Develop Suitable User Interfaces for Older Adults: A Case Study

Proceedings ◽  
2018 ◽  
Vol 2 (19) ◽  
pp. 1201
Author(s):  
Yonatan Pineda Olarte ◽  
Fáber D. Giraldo ◽  
William J. Giraldo ◽  
Sergio F. Ochoa ◽  
Ramón Hervás
Keyword(s):  
Older Adults ◽  
User Interfaces ◽  
Emotional Support ◽  
Development Process ◽  
Model Driven Engineering ◽  
Adult Care ◽  
Model Driven ◽  
Software Applications ◽  
Important Challenge

Software applications have been identified as potentially suitable tools to assist older adults in several aspects of their lives, like healthcare, emotional support and personal security. However, developing usable and useful applications for this population represents an important challenge, given that no systematic solutions have been proposed to support such a process. This article hypothesizes that a model-driven engineering (MDE) approach can help generate suitable user interfaces for elderly people, making the development process repeatable and allowing the systematic reuse of design knowledge about products for these end-users. To determine the validity of such hypothesis, the article presents the results of a case study where a healthcare supporting system for older adults, developed by using an MDE approach, was evaluated in four older adult care centers. The results obtained were highly positive, showing MDE as a possible path to address systematically the development of these applications.

Evolution in Model-Driven Software Product-Line Architectures

2009 ◽  
pp. 102-132 ◽  
Author(s):  
Gan Deng ◽  
Douglas C. Schmidt ◽  
Aniruddha Gokhale ◽  
Jeff Gray ◽  
Yuehua Lin ◽  
...  
Keyword(s):  
Model Transformation ◽  
Product Line ◽  
Domain Model ◽  
Modeling Language ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Transformation Rules ◽  
Domain Evolution ◽  
Software Product

This chapter describes our approach to model-driven engineering (MDE)-based product line architectures (PLAs) and presents a solution to address the domain evolution problem. We use a case study of a representative software-intensive system from the distributed real-time embedded (DRE) systems domain to describe key challenges when facing domain evolution and how we can evolve PLAs systematically and minimize human intervention. The approach uses a mature metamodeling tool to define a modeling language in the representative DRE domain, and applies a model transformation tool to specify modelto- model transformation rules that precisely define metamodel and domain model changes. Our approach automates many tedious, time consuming, and error-prone tasks of model-to-model transformation, thus significantly reducing the complexity of PLA evolution.

scholarly journals Application of Platform Models in Model Driven Engineering of Embedded Software

2015 ◽  
Vol 11 (12) ◽  
pp. 1075-1081
Author(s):  
Inali Wisniewski Soares ◽  
Luciane Telinski Wiedermann Agner ◽  
Paulo Cézar Stadzisz ◽  
Jean Marcelo Simão
Keyword(s):  
Embedded Software ◽  
Model Driven Engineering ◽  
Model Driven

scholarly journals Applying Model-Driven Engineering to Stimulate the Adoption of DevOps Processes in Small and Medium-Sized Development Organizations

2021 ◽  
Vol 2 (6) ◽  
Author(s):  
Jonas Sorgalla ◽  
Philip Wizenty ◽  
Florian Rademacher ◽  
Sabine Sachweh ◽  
Albert Zündorf
Keyword(s):  
Secondary Analysis ◽  
Software Components ◽  
Model Driven Engineering ◽  
Architectural Style ◽  
Model Driven ◽  
Technological Complexity ◽  
Development Organizations ◽  
Api Documentation ◽  
Microservice Architecture

AbstractMicroservice architecture (MSA) denotes an increasingly popular architectural style in which business capabilities are wrapped into autonomously developable and deployable software components called microservices. Microservice applications are developed by multiple DevOps teams each owning one or more services. In this article, we explore the state of how DevOps teams in small and medium-sized organizations (SMOs) cope with MSA and how they can be supported. We show through a secondary analysis of an exploratory interview study comprising six cases, that the organizational and technological complexity resulting from MSA poses particular challenges for small and medium-sized organizations (SMOs). We apply model-driven engineering to address these challenges. As results of the second analysis, we identify the challenge areas of building and maintaining a common architectural understanding, and dealing with deployment technologies. To support DevOps teams of SMOs in coping with these challenges, we present a model-driven workflow based on LEMMA—the Language Ecosystem for Modeling Microservice Architecture. To implement the workflow, we extend LEMMA with the functionality to (i) generate models from API documentation; (ii) reference remote models owned by other teams; (iii) generate deployment specifications; and (iv) generate a visual representation of the overall architecture. We validate the model-driven workflow and our extensions to LEMMA through a case study showing that the added functionality to LEMMA can bring efficiency gains for DevOps teams. To develop best practices for applying our workflow to maximize efficiency in SMOs, we plan to conduct more empirical research in the field in the future.

scholarly journals A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems

2021 ◽  
Vol 22 (2) ◽  
Author(s):  
Raida Elmansouri ◽  
Said Meghzili ◽  
Allaoua Chaoui
Keyword(s):  
Model Transformation ◽  
Integrated Approach ◽  
Software Systems ◽  
Sequential Process ◽  
Model Checker ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Activity Diagrams ◽  
Uml 2.0

This paper proposes an approach integrating UML 2.0 Activity Diagrams (UML2-AD) and Communicating Sequential Process (CSP) for modeling and verication of software systems. A UML2-AD is used for modeling a software system while CSP is used for verication purposes. The proposed approach consists of another way of transforming UML2-AD models to Communicating Sequential Process (CSP) models. It focuses also on checking the correctness of some properties of the transformation itself. These properties are specified using Linear Temporal Logic (LTL) and verified using the GROOVE model checker. This approach is based on Model Driven Engineering (MDE). The meta-modelling is realized using AToMPM tool while the model transformation and the correctness of its properties are realized using GROOVE tool. Finally, we illustrated this approach through a case study.

Sign in / Sign up

Export Citation Format

Share Document