3,158 Hits in 8.1 sec

MDA Compliant Concept for Maintaining Embedded Multifunction Displays

Q. Zhang, A. Karcher
2014 Lecture Notes on Software Engineering  
This article provides a holistic concept for a Model-Driven Architecture (MDA) compliant embedded multifunction display (MFD) development addressing the challenges of MFD SW maintenance.  ...  Current development models for embedded systems encourage partitioning the systems into further (sub-)systems and designing them independently from each other for parallel and time-saving development.  ...  A current method for developing embedded systems is the "3 Phasen V-Modell" of K. Bender [11] , a modified V-model [12] for embedded systems.  ... 
doi:10.7763/lnse.2014.v2.124 fatcat:xvjw4wkgdnccvjykhb3sdeubrq

Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework [chapter]

Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi
2007 Lecture Notes in Computer Science  
For this aim, Computation Independent, Platform Independent and Platform Specific Models are also defined in the non-functional domains taken into consideration, that are performance and reliability. 1  ...  We consider the Non-Functional MDA framework (NFMDA) that, beside the typical MDA model transformations for code generation, embeds new types of model transformations that allow the generation of quantitative  ...  In [17] , MDA is viewed as a suitable framework to incorporate various analysis techniques into the development process of distributed systems.  ... 
doi:10.1007/978-3-540-71289-3_6 fatcat:po2wd5urc5dxreodpwxxn2gsa4

Model Driven Middleware [chapter]

Aniruddha Gokhale, Douglas C. Schmidt, Balachandran Natarajan, Jeff Gray, Nanbor Wang
2005 Middleware for Communications  
MDA is a development paradigm that applies domain-specific modeling languages systematically to engineer computing systems, ranging from small-scale real-time and embedded systems to large-scale distributed  ...  The (abstract) metamodel of a DSML is translated into a (concrete) domain-specific modeling paradigm, which is a particular approach to creating domain models supported by a custom modeling tool.  ... 
doi:10.1002/0470862084.ch7 fatcat:ikms32okz5hvdmjghyu5bwshnm

From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain [chapter]

Jérôme Hugues, Laurent Pautet, Bechir Zalila
2008 Lecture Notes in Computer Science  
We see a current trend to extend and reuse existing specification and modeling techniques for embedded systems under the "Model Driven Architecture" approach (MDA).  ...  In this paper, we take a very pragmatic position and illustrate how building Distributed Real-Time systems (DRE) for the High-Integrity domain in a Model Driven Development (MDD) process may fail to address  ...  From this success, several specializations of CORBA and UML emerged to address the specific requirements of DRE systems: RT-CORBA (real-time concerns), CORBA/e (downsizing of CORBA for embedded targets  ... 
doi:10.1007/978-3-540-77419-8_3 fatcat:24qgpptcdrdcbb6nadvdrnnhlm

Model Driven High-Level Power Estimation of Embedded Operating Systems Communication Services

Saadia Dhouib, Eric Senn, Jean-Philippe Diguet, Johann Laurent, Dominique Blouin
2009 2009 International Conference on Embedded Software and Systems  
This paper presents a System level Model Driven Architecture (MDA) approach for power estimation of real time operating system (RTOS) communication and synchronization services at early design phases.  ...  Operating system services are considered as components in the MDA approach in order to take them into account in the estimation methodology.  ...  In the context of the European project ITEA SPICES (Support for Predictable Integration of mission Critical Embedded Systems) [4] , we have integrated AADL in the Model Driven Architecture (MDA) approach  ... 
doi:10.1109/icess.2009.94 dblp:conf/icess/DhouibSDLB09 fatcat:25z42gkvqbgsvp7lmm5lzc62by

Aspect-Oriented Development Method for Non-Functional Characteristics of Cyber Physical Systems Based on MDA Approach

Lichen Zhang
2012 Journal of Software  
OCL formal language is used to restrict the model in every stages of MDA, and the real-time extension of OCL formal language is made to describe the timing constraints of cyber physical systems.  ...  A case study illustrates the aspect oriented MDA development of cyber physical systems.  ...  Domain-specific aspect model weavers can integrate these different modeling aspects into composite models that can be further refined by incorporating system and platform-specific properties.  ... 
doi:10.4304/jsw.7.3.608-619 fatcat:u7tsi5jpnfb37pn5xc5simd5mm

Trends in Embedded Software Engineering

Peter Liggesmeyer, Mario Trapp
2009 IEEE Software  
Acknowledgments We thank Thomas Kuhn for his comments and contribution to this article. We also thank the reviewers and editors for their comments, which helped us improve this article's quality.  ...  Model-driven architecture (MDA; www.omg. org/mda) is the primary driver for MDD of IT systems.  ...  Although domain-specific modeling simplifies system specification, the modeling language is limited to a specific class of problems.  ... 
doi:10.1109/ms.2009.80 fatcat:tpfekrh74zhijlqoygvvgqgww4

Engineering Air Traffic Control Systems with a Model-Driven Approach

Gabriella Carrozza, Mauro Faella, Francesco Fucci, Roberto Pietrantuono, Stefano Russo
2013 IEEE Software  
Testing software in Air Traffic Control (ATC) systems costs much more than building them. This is basically true in every domain producing software-intensive critical systems.  ...  Kept promises and failed expectations of model-driven engineering are still debated today; we report our experience in trying to take the model-driven best achievements and, at the same time, to fill its  ...  The work of Dr. Pietrantuono and Fucci is supported by the project Embedded Systems in Critical Domains (CUP B25B09000100007) within the framework of POR Campania FSE 2007-2013.  ... 
doi:10.1109/ms.2013.20 fatcat:jpibls7i3vejzcvgnx7o5ikbiy

Seamless Integration between Real-time Analyses and Systems Engineering with the PST Approach

Francoise Caron, Dominique Blouin, Paolo Crisafulli, Cristian Maxim
2020 2020 IEEE International Systems Conference (SysCon)  
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not.  ...  L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche  ...  integrating analyses of the real-time embedded systems domain into systems engineering processes.  ... 
doi:10.1109/syscon47679.2020.9275907 fatcat:r5nuwsqhgzgcvbaq3rjea2n6am

Model driven architecture: Principles and practice

Alan W. Brown
2004 Journal of Software and Systems Modeling  
This paper addresses that need by providing an analysis of how modeling is used in industry today, the relevance of MDA to today's systems, a classification of MDA tooling support, and examples of its  ...  The paper concludes with a set of recommendations for how MDA can be successful in practice.  ...  The ideas discussed here reflect the thinking of a broad team at IBM including Ben Amba, Grady  ... 
doi:10.1007/s10270-004-0061-2 fatcat:fp222p7ay5fd7lltlzw6zdemri

Improving Software Quality in Safety-Critical Applications by Model-Driven Verification

Anders Henriksson, Uwe Aßman, James Hunt
2005 Electronical Notes in Theoretical Computer Science  
In this way, model-checking for real-time designs is integrated into the model-driven development process and allows for early verification.  ...  As an instance of the method, we present the MDA-based tool environment of the HIDOORS project [10] . In this environment, a real-time model checker is interpreted as a platform in the sense of MDA.  ...  Unfortunately for verification-aware application domains, in particular, embedded and real-time software, little attention has been payed to integrate the required verification techniques into MDA.  ... 
doi:10.1016/j.entcs.2004.08.060 fatcat:zvvdmqbp6bexbmxsarq2gydrjq

An MDE methodology for the development of high-integrity real-time systems

S. Mazzini, S. Puri, T. Vardanega
2009 2009 Design, Automation & Test in Europe Conference & Exhibition  
One of the main axes of investigation concerned HRT-UML/RCM, an advanced method and integrated tool for the model-driven development of embedded real-time software systems.  ...  CONTRIBUTION HRT-UML/RCM, an integrated method and infrastructure for the development of embedded real-time software systems, whose acronym stands for "Hard Real-Time UML for the Ravenscar Computational  ...  (Intecs) for their vast contribution to the materials presented in this paper.  ... 
doi:10.1109/date.2009.5090837 dblp:conf/date/MazziniPV09 fatcat:g6bbytghbbbatbt5iaqsexayyq

Computer-Aided Warehouse Engineering (CAWE): Leveraging MDA and ADM for the Development of Data Warehouses

Christian Kurze, Peter Gluchowski
2010 Americas Conference on Information Systems  
We show the works already available, outline further research directions and give hints for implementation of Computer-Aided Warehouse Engineering systems.  ...  The paper at hand adopts the concepts of Model Driven Architecture (MDA) and Architecture Driven Modernization (ADM) taken from the software engineering discipline to the data warehousing discipline.  ...  MDA framework for forward-engineering of data warehouses Furthermore, the whole framework is embedded into a model management (Bernstein, 2003; Bernstein and Rahm, 2000) box.  ... 
dblp:conf/amcis/KurzeG10 fatcat:rgjfeqsb7rfq7isszy7naxl7le

Model-Based Development of Integrated Computer Systems: Modeling the Execution Platform

Bernhard Huber, Roman Obermaisser
2007 2007 Fifth Workshop on Intelligent Solutions in Embedded Systems  
The DECOS architecture provides a framework for integrating multiple application systems within a single distributed computer system.  ...  In this paper we outline the overall model-based development process of integrated computer systems based on the DECOS architecture with a strong focus on the modeling of the DECOS execution platform.  ...  Model-Based Design in DECOS The DECOS integrated architecture [4] offers a framework for the development of distributed embedded real-time systems integrating multiple application subsystems with different  ... 
doi:10.1109/wises.2007.4408502 dblp:conf/wises/HuberO07 fatcat:vgfrquiznjhfnftq3otrnich2m

Model-Driven Methodology for Rapid Deployment of Smart Spaces Based on Resource-Oriented Architectures

Iván Corredor, Ana M. Bernardos, Josué Iglesias, José R. Casar
2012 Sensors  
sensor and actuator devices with two major objectives: (i) to integrate sensing and actuating functionalities into everyday objects, and (ii) to easily allow a diversity of devices to plug into the Internet  ...  At the same time, software paradigms such as Internet of Things (IoT) and Web of Things (WoT) are motivating the creation of technology to support the development and deployment of web-enabled embedded  ...  Acknowledgments This work has been supported by the Spanish Ministry of Economy and Competitiveness through the CDTI CENIT THOFU Programme and under grant TIN2011-28620-C02-02, and by the Government of  ... 
doi:10.3390/s120709286 pmid:23012544 pmcid:PMC3444102 fatcat:iukwhls54vcwnaj5grb76wvcnm
« Previous Showing results 1 — 15 out of 3,158 results