scholarly journals Model-driven system-level validation and verification on the space software domain

Author(s):  
Aarón Montalvo ◽  
Pablo Parra ◽  
Óscar Rodríguez Polo ◽  
Alberto Carrasco ◽  
Antonio Da Silva ◽  
...  

AbstractThe development process of on-board software applications can benefit from model-driven engineering techniques. Model validation and model transformations can be applied to drive the activities of specification, requirements definition, and system-level validation and verification according to the space software engineering standards ECSS-E-ST-40 and ECSS-Q-ST-80. This paper presents a model-driven approach to completing these activities by avoiding inconsistencies between the documents that support them and providing the ability to automatically generate the system-level validation tests that are run on the Ground Support Equipment and the matrices required to complete the software verification. A demonstrator of the approach has been built using as a proof of concept a subset of the functionality of the software of the control unit of the Energetic Particle Detector instrument on-board Solar Orbiter.

2008 ◽  
pp. 258-283
Author(s):  
Sonya Radenkovic ◽  
Nenad Krdžavac ◽  
Vladan Devedžic

This chapter presents a framework for intelligent analysis of the students’ knowledge in assessment systems, using description logics (DLs) reasoning techniques. The framework is based on Model Driven Architecture (MDA) software engineering standards. It starts from the IMS Question and Test Interoperability (QTI) standard and includes MDA-based metamodel and model transformations for QTI assessment systems. It also specifies an architecture for QTI assessment systems that is reusable, extensible, and facilitates interoperability between its component systems. An implementation of the QTI metamodel and the relevant example of transformations is provided in order to support developments according to the proposed framework.


2010 ◽  
Vol 49 (02) ◽  
pp. 173-185 ◽  
Author(s):  
H. Tanaka

Summary Objectives: Recent important advances in the human genomics and post-genomic “omics” are now bringing about a new medical care which we call “omics-based medicine”. In this article, we investigated the development and future possibilities of omics-based medicine. Methods: We divided the development of omics-based medicine into three generations in order to clarify the main clinical goals and characteristics of informatics method of each generation, together with its future possibilities. Results: The first generation of omics-based medicine started with “genomic medicine” based on the inborn individual differences of genome. It has opened the study of genetic polymorphism of the diseases and promoted the personalized medication based on the pharmacogenetic/pharmacogenomic difference of the drug response. In the second generation of omics-based medicine, owing to the advances in the high-throughput technology, vast amount of the various post-genomic disease omics data containing comprehensive molecular information of diseased somatic cells has become available. It reflects the ongoing state of diseases more closely and enables the predictive medicine such as prognosis prediction of disease by applying the data-driven analysis. Finally, due to the rapidly growing knowledge about the cellular molecular network, system-level understanding of the disease, called systems pathology, becomes possible. It can fully exploit the substantial contents of disease omics and will lead to a comprehensive understanding of disease process by using model-driven analysis. Conclusion: Omics-based medicine and systems pathology will realize a new personalized and predictive medicine.


Author(s):  
Jesús Sánchez Cuadrado ◽  
Javier Luis Cánovas Izquierdo ◽  
Jesús García Molina

Domain Specific Languages (DSL) are becoming increasingly more important with the emergence of Model-Driven paradigms. Most literature on DSLs is focused on describing particular languages, and there is still a lack of works that compare different approaches or carry out empirical studies regarding the construction or usage of DSLs. Several design choices must be made when building a DSL, but one important question is whether the DSL will be external or internal, since this affects the other aspects of the language. This chapter aims to provide developers confronting the internal-external dichotomy with guidance, through a comparison of the RubyTL and Gra2MoL model transformations languages, which have been built as an internal DSL and an external DSL, respectively. Both languages will first be introduced, and certain implementation issues will be discussed. The two languages will then be compared, and the advantages and disadvantages of each approach will be shown. Finally, some of the lessons learned will be presented.


Author(s):  
Yashwant Singh ◽  
Manu Sood

The Model-Driven Architecture approach to software development uses transformation models for transforming Platform-Independent Models (PIM) into Platform-Specific Models (PSM) as its core software development strategy. The Model-Driven Architecture (MDA) approach and corresponding standards of the software development based on models have been initiated by the Object Management Group. In this chapter, the authors analyze the basic models of MDA (i.e., Computational Independent Model [CIM], PIM, and PSM) using a suitable example and formalize the model transformations for transforming PIM into PSM. These transformations have been illustrated through the generation of a Relational Model, an Enterprise Java Bean (EJB) Model, and a Web Model from PIM for the example under consideration, using UML profile, and keeping in mind the property of reusability of models in MDA transformations. The focus has been on the specification and formalization of rules needed to get the Relational PSM, EJB PSM, and Web PSM from PIM. A transformation tool, whose functionality of transformation of PIM into Relational PSM, EJB PSM, and Web PSM, is illustrated in this chapter.


Author(s):  
Pablo Nicolás Díaz Bilotto ◽  
Liliana Favre

Software developers face several challenges in deploying mobile applications. One of them is the high cost and technical complexity of targeting development to a wide spectrum of platforms. The chapter proposes to combine techniques based on MDA (Model Driven Architecture) with the HaXe language. The outstanding ideas behind MDA are separating the specification of the system functionality from its implementation on specific platforms, managing the software evolution, increasing the degree of automation of model transformations, and achieving interoperability with multiple platforms. On the other hand, HaXe is a very modern high level programming language that allows us to generate mobile applications that target all major mobile platforms. The main contributions of this chapter are the definition of a HaXe metamodel, the specification of a model-to-model transformation between Java and HaXe and, the definition of an MDA migration process from Java to mobile platforms.


Author(s):  
Liliana María Favre

The model-driven architecture (MDA) is an approach to model-centric software development. The concepts of models, metamodels, and model transformations are at the core of MDA. Model-driven development (MDD) distinguishes different kinds of models: the computation-independent model (CIM), the platform-independent model (PIM), and the platform-specific model (PSM). Model transformation is the process of converting one model into another model of the same system, preserving some kind of equivalence relation between them. One of the key concepts behind MDD is that models generated during software developments are represented using common metamodeling techniques. In this chapter, we analyze an integration of MDA metamodeling techniques with knowledge developed by the community of formal methods. We describe a rigorous framework that comprises the NEREUS metamodeling notation (open to many other formal languages), a system of transformation rules to bridge the gap between UML/OCL and NEREUS, the definition of MDA-based reusable components, and model/metamodeling transformations. In particular, we show how to integrate NEREUS with algebraic languages using the Common Algebraic Specification Language (CASL). NEREUS focuses on interoperability of formal languages in MDD.


2013 ◽  
Vol 9 (4) ◽  
pp. 63-84 ◽  
Author(s):  
Rachid Dehbi ◽  
Mohamed Talea ◽  
Abderrahim Tragha

The model driven engineering and generative programming are revolutionizing software development just as automation and computerization revolutionized the manufacturing process. The key technologies of these approaches are the model transformations, and development in the XML technologies. In this paper the authors show the contribution of these two techniques in the implementation of LMSGENERATOR, a Multi-target Learning management system generator with a model-driven methodology based on MDA approach coupled with component approach. Based on generative programming, from user specifications (abstract models) and the desired technologies, software bricks will be generated and assembled to produce a complete solution adapted to the area and the users’ needs. This paper focuses on the transformation rules implemented in the LMSGENERATOR cores, in particular the transformation of a detailed UML class diagram, representing a business model, into the LMS Business component. Thus, the authors show the role of programming in model transformations through the use of API manipulating UML diagrams and XML files. Also this work presents a case study to illustrate this proposed plan.


Author(s):  
Brahim Hamid ◽  
Yulin (Huaxi) Zhang ◽  
Jacob Geisel ◽  
David Gonzalez

The conception and design of Resource Constrained Embedded Systems (RCES) is an inherently complex endeavor. Non-functional requirements from security and dependability are exacerbate this complexity. Model-Driven Engineering (MDE) is a promising approach for the design of trusted systems, as it bridges the gap between design issues and implementation concerns. The purpose of process models is to document and communicate processes, as well as reuse them. Thus, processes can be better taught and executed. However, most useful metamodels are activity-oriented, and the required concepts of safety lifecycle, such as validation, cannot be easily modeled. In this paper, the authors propose a safety-oriented process metamodel that extends exiting framework to support all safety control requirements. A new safety lifecycle development processes technique has been built to ease its use in a building process of system/ software applications with safety support. As a proof of concept, the feasibility of the approach has been evaluated with an example. The example is an engineering process for building industry control systems with safety requirements for software and hardware resources. A prototype implementation of the approach is provided and applied to the example of industry control systems in the railway domain.


Sign in / Sign up

Export Citation Format

Share Document