model-based software engineering (MBSwE) and the use of automatic code generation has become popular for safety-critical aerospace applications. For these applications, verification and validation (V&V) is of utmo...
详细信息
ISBN:
(纸本)9781728151250
model-based software engineering (MBSwE) and the use of automatic code generation has become popular for safety-critical aerospace applications. For these applications, verification and validation (V&V) is of utmost importance. With models as another layer of artifacts, however, V&V can become more complex in general, as V&V tasks can be carried out at the model level or at the code level. In this short paper, we present a V&V architecture specifically designed for MBSwE, which reflects the interrelationships between the different levels, tasks and tools, and which aims to provide a clear picture on the V&V approaches for MBSwE. We illustrate the architecture with a detailed analysis of two NASA missions and discuss their approaches to model use and understanding, automatic code generation, V&V, and model synchronization.
Although model-based software engineering (MBE) is a widely accepted softwareengineering (SE) discipline, no agreed-upon core set of concepts and practices (i.e., a Body of Knowledge) has been defined for it yet. Wit...
详细信息
Although model-based software engineering (MBE) is a widely accepted softwareengineering (SE) discipline, no agreed-upon core set of concepts and practices (i.e., a Body of Knowledge) has been defined for it yet. With the goals of characterizing the contents of the MBE discipline, promoting a global consistent view of it, clarifying its scope with regard to other SE disciplines, and defining a foundation for the development of educational curricula on MBE, this paper proposes the contents for a Body of Knowledge for MBE. We also describe the methodology that we have used to come up with the proposed list of contents, as well as the results of a survey study that we conducted to sound out the opinion of the community on the importance of the proposed topics and their level of coverage in the existing SE curricula.
model-based software engineering (MBSwE) and the use of automatic code generation has become popular for safety-critical aerospace applications. For these applications, verification and validation (V&V) is of utmo...
详细信息
ISBN:
(纸本)9781728151250
model-based software engineering (MBSwE) and the use of automatic code generation has become popular for safety-critical aerospace applications. For these applications, verification and validation (V&V) is of utmost importance. With models as another layer of artifacts, however, V&V can become more complex in general, as V&V tasks can be carried out at the model level or at the code level. In this short paper, we present a V&V architecture specifically designed for MBSwE, which reflects the interrelationships between the different levels, tasks and tools, and which aims to provide a clear picture on the V&V approaches for MBSwE. We illustrate the architecture with a detailed analysis of two NASA missions and discuss their approaches to model use and understanding, automatic code generation, V&V, and model synchronization.
model-based software engineering (MBSE) has been proposed as a promising software development methodology to overcome limitations of traditional programming- based methodology in dealing with the complexity of embedde...
详细信息
model-based software engineering (MBSE) has been proposed as a promising software development methodology to overcome limitations of traditional programming- based methodology in dealing with the complexity of embedded systems. MBSE promotes the use of modeling languages for describing systems in an abstract way and provides means for automatically generating different development artifacts, e. g. code and documentation, from models. The development of a complex system often involves multiple stakeholders who use different tools to modify the development artifacts, model and code in particular in this thesis. Artifact modifications must be kept consistent: a synchronization process needs to propagate modifications made in one artifact to the other artifacts. In this study, the problem of synchronizing Unified modeling Language (UML)-based architecture models, specified by UML composite structure (UML-CS) and UML state machine (UML-SM) elements, and object-oriented code is presented. UML-CSs are used for describing the component-basedsoftware architecture and UML-SMs for discrete event- driven behaviors of reactive systems. The first challenge is to enable a collaboration between software architects and programmers producing model and code by using different tools. This raises the synchronization problem of concurrent artifact modifications. In fact, there is a perception gap between diagram-based languages (modeling languages) and text-based languages (programming languages). On the one hand, programmers often prefer to use the more familiar combination of a programming language and an Integrated Development Environment. On the other hand, software architects, working at higher levels of abstrac- tion, tend to favor the use of models, and therefore prefer diagram-based languages for describing the architecture of the system. The second challenge is that there is a signif- icant abstraction gap between the model elements and the code elements: UML-CS and UML-SM elem
model-based software engineering (MBSE) is now accepted as a softwareengineering (SE) discipline and is being taught as part of more general SE curricula. However, an agreed core of concepts, mechanisms and practices...
详细信息
ISBN:
(纸本)9781450359658
model-based software engineering (MBSE) is now accepted as a softwareengineering (SE) discipline and is being taught as part of more general SE curricula. However, an agreed core of concepts, mechanisms and practices - which constitutes the Body of Knowledge of a discipline - has not been captured anywhere, and is only partially covered by the SE Body of Knowledge (SWEBOK). With the goals of characterizing the contents of the MBSE discipline, promoting a consistent view of it worldwide, clarifying its scope with regard to other SE disciplines, and defining a foundation for a curriculum development on MBSE, this paper provides a proposal for an extension of the contents of SWEBOK with the set of fundamental concepts, terms and mechanisms that should constitute the MBSE Body of Knowledge.
model-based software engineering methodologies, languages, standards, technologies, and tools are in place since many years. While they proved to be effective in several application sectors, e.g. for embedded systems,...
详细信息
ISBN:
(纸本)9781509036011
model-based software engineering methodologies, languages, standards, technologies, and tools are in place since many years. While they proved to be effective in several application sectors, e.g. for embedded systems, empirical studies show that their use in industries pursues a variety of goals and that often they are only partially applied, so it is still not clear to what extent they are actually adopted in the engineering practice and whether they achieve the claimed advantages. Notwithstanding this, model-based techniques are being increasingly advocated for use in critical systems engineering. As critical systems have to undergo certification, the question raised to what extent model-basedengineering supports certification. While this is not a new issue, the literature is still at the beginning. We examine key aspects in this respect, and identify some open issues.
Complex assistive systems providing human behavior support independent of the age or abilities of users are broadly used in a variety of domains including automotive, production, aviation, or medicine. Current researc...
详细信息
Complex assistive systems providing human behavior support independent of the age or abilities of users are broadly used in a variety of domains including automotive, production, aviation, or medicine. Current research lacks a common understanding of which architectural components are needed to create assistive systems that use models at runtime. Existing descriptions of architectural components are focused on particular domains, consider only some parts of an assistive system, or do not consider models at runtime. We have analyzed common functional requirements for such systems to be able to propose a set of reusable components, which have to be considered when creating assistive systems that use models. Such components constitute a reference architecture that we propose within this paper. To validate the proposed architecture, we have expressed the architectures of two assistive systems from different domains, namely assistance for elderly people and assistance for operators in smart manufacturing in terms of compliance with such architecture. The proposed reference architecture will facilitate the creation of future assistive systems.
The methodology under the term model-based software engineering (MBSE) gained importance already around 20 years ago, after the publication of the model-Driven Architecture (MDA) initiative by the Object Management Gr...
详细信息
The methodology under the term model-based software engineering (MBSE) gained importance already around 20 years ago, after the publication of the model-Driven Architecture (MDA) initiative by the Object Management Group (OMG). This development methodology continues to evolve, giving rise to recent proposals such as low-code or no-code. . Something that has not changed, as recent surveys point out, is the need for powerful testing approaches and tools for these new methodologies. In MBSE, test inputs are models, so it is key to have frameworks for model generation. However, the main shortcomings of existing model-generation frameworks are their performance limitations and the need for domain-specific knowledge, which seriously hampers their industrial adoption. In this paper, we present the Yekta low-code framework that allows to generate models in a simple way through the application of metaheuristic algorithms.
This special section contains high-quality papers in the topics of Prof. Antonio Vallecillo's research. This set of papers has been compiled in appreciation to Prof. Vallecillo's career and his contributions t...
详细信息
This special section contains high-quality papers in the topics of Prof. Antonio Vallecillo's research. This set of papers has been compiled in appreciation to Prof. Vallecillo's career and his contributions to the softwareengineering community in general and the modeling community in particular. After his recent retirement, this special section opens with a hindsight to Prof. Vallecillo's fruitful and varied career, where he made contributions in several different dimensions. Then, a set of selected papers in the fields of uncertainty, modeling, CPSs and AI to honor Prof. Vallecillo's contributions is presented.
Adaptive systems manage and regulate the behavior of devices or other systems using control loops to automatically adjust the value of some measured variables to equal the value of a desired set-point. These systems n...
详细信息
Adaptive systems manage and regulate the behavior of devices or other systems using control loops to automatically adjust the value of some measured variables to equal the value of a desired set-point. These systems normally interact with physical parts or operate in physical environments, where uncertainty is unavoidable. Traditional approaches to manage that uncertainty use either robust control algorithms that consider bounded variations of the uncertain variables and worst-case scenarios or adaptive control methods that estimate the parameters and change the control laws accordingly. In this article, we propose to include the sources of uncertainty in the system models as first-class entities using random variables to simulate adaptive and control systems more faithfully, including not only the use of random variables to represent and operate with uncertain values but also to represent decisions based on their comparisons. Two exemplar systems are used to illustrate and validate our proposal.
暂无评论