检索结果-内蒙古大学图书馆

27th IEEE International Symposium on software Reliability engineering (ISSRE)

作者： Russo, Stefano Scippacercola, Fabio Univ Napoli Federico II DIETI Via Claudio 21 I-80125 Naples Italy

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-based engineering 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.

关键词： model-based software engineering model-Driven engineering model-Driven Architecture software Certification

来源：评论

学校读者我要写书评

暂无评论

model-based software engineering: Methodologies for model-Code Synchronization in Reactive System Development

Model-Based Software Engineering: Methodologies for Model-Co...

引用

作者： Van Cam Pham Universite Paris-Saclay

学位级别：博士

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-based software 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

关键词： UML model-based software engineering architecture model UML state machines composite structures component-based architecture model-code synchronization code generation reverse engineering software architects programmers

来源：评论

学校读者我要写书评

暂无评论

Contents for a model-based software engineering Body of Knowledge

引用

software AND SYSTEMS modelING 2019年第6期18卷 3193-3205页

作者： Burgueno, Loli Ciccozzi, Federico Famelis, Michalis Kappel, Gerti Lambers, Leen Mosser, Sebastien Paige, Richard F. Pierantonio, Alfonso Rensink, Arend Sala, Rick Taentzer, Gabriele Vallecillo, Antonio Wimmer, Manuel UOC Barcelona Spain CEA LIST Paris France Malardalen Univ Vasteras Sweden Univ Montreal Dept Comp Sci & Operat Res Montreal PQ Canada Univ Montreal GEODES Software Engn Res Team Montreal PQ Canada TU Wien CDP Vienna Austria Hasso Plattner Inst Potsdam Germany Univ Quebec Montreal Software Engn Montreal PQ Canada McMaster Univ Software Engn Hamilton ON Canada Univ Aquila Comp Sci Laquila Italy Univ Twente Chair Software Modelling Transformat & Verificat Enschede Netherlands Univ Toronto Toronto ON Canada Philipps Univ Marburg Software Engn Marburg Germany Univ Malaga Software Engn Malaga Spain Univ Malaga Atenea Res Grp Malaga Spain JKU Linz Linz Austria

Although model-based software engineering (MBE) is a widely accepted software engineering (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 Body of Knowledge Core concepts Education

来源：评论

学校读者我要写书评

暂无评论

ADVANCED model-based software engineering TECHNOLOGIES FOR software DEFINED RADIO CONFIGURATION

ADVANCED MODEL-BASED SOFTWARE ENGINEERING TECHNOLOGIES FOR S...

引用

MILCOM Military Communications Conference

作者： Liu, William C. McNeill, Kevin M. Cook, Michael Krikeles, Basil BAE Syst Technol Solut Cyber Operat & Networking Div Arlington VA 22209 USA BAE Syst Technol Solut Adv Decis Syst Div Burlington MA USA

ISBN: (纸本)9781424481804

model based technologies can be used to reduce the cost of development and maintenance software intensive systems and to enable additional capabilities such as load time configuration and run time adaptation. Such systems include complex communications systems based on software defined radios that have adaptive or cognitive capabilities. Advanced methodologies and tools for developing adaptive software are needed to build such systems at an acceptable cost while maintaining safety and correctness. We have developed such methodologies and tools and have used two experimental platforms to validate them in realistic domains: 1) Flight control and vehicle management software and 2) software defined radios. The overall goal is to demonstrate a 90% (10 X) savings in software development time and cost compared to conventional, non-model based technologies. In this presentation we will describe our application of model-based techniques to the dynamic configuration of software defined radios in the field according to mission context, environmental conditions and resource constraints.

关键词： software Producibility model-based software engineering software Defined Radio

来源：评论

学校读者我要写书评

暂无评论

Verification and Validation Approaches for model-based software engineering 22

Verification and Validation Approaches for Model-based Softw...

引用

ACM/IEEE 22nd International Conference on model Driven engineering Languages and Systems Companion (modelS-C)

作者： Schumann, Johann Goseva-Popstojanova, Katerina SGT Inc NASA Ames Res Ctr Moffett Field CA 94035 USA West Virginia Univ Lane Dept Comp Sci & Elect Engn Morgantown WV 26506 USA

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 V&V automatic code generation

来源：评论

学校读者我要写书评

暂无评论

The Theory and Practice of Modern modeling Language Design for model-based software engineering 11

The Theory and Practice of Modern Modeling Language Design f...

引用

10th International Conference on Aspect-Oriented software Development (AOSD)

作者： Selic, Bran Malina Software Corp Nepean ON Canada

This is a half-day tutorial dealing with the relatively new field of modeling language design.

ISBN: (纸本)9781450305563

This is a half-day tutorial dealing with the relatively new field of modeling language design.

关键词： modeling languages metamodeling computer language design model-based software engineering

来源：评论

学校读者我要写书评

暂无评论

Towards a Body of Knowledge for model-based software engineering 18

Towards a Body of Knowledge for Model-Based Software Enginee...

引用

21st ACM/IEEE International Conference on model Driven engineering Languages and Systems (modelS)

作者： Ciccozzi, Federico Famelis, Michalis Kappel, Gerti Lambers, Leen Mosser, Sebastien Paige, Richard F. Pierantonio, Alfonso Rensink, Arend Salay, Rick Taentzer, Gabi Vallecillo, Antonio Wimmer, Manuel Malardalen Univ Vasteras Sweden Univ Montreal Montreal PQ Canada TU Wien CDP Vienna Austria Hasso Plattner Inst Potsdam Germany Univ Cote dAzur CNRS I3S Sophia Antipolis France Univ York York N Yorkshire England Univ Aquila Laquila Italy Univ Twente Enschede Netherlands Univ Toronto Toronto ON Canada Philipps Univ Marburg Marburg Germany Univ Malaga Malaga Spain TU Wien CDL MINT Vienna Austria

ISBN: (纸本)9781450359658

model-based software engineering (MBSE) is now accepted as a software engineering (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 Body of Knowledge

来源：评论

学校读者我要写书评

暂无评论

Verification and validation approaches for model-based software engineering 19

Verification and validation approaches for model-based softw...

引用

Proceedings of the 22nd International Conference on model Driven engineering Languages and Systems

作者： Johann Schumann Katerina Goseva-Popstojanova SGT Inc West Virginia University

ISBN: (纸本)9781728151250

关键词： automatic code generation model-based software engineering V&V

来源：评论

学校读者我要写书评

暂无评论

Special section on uncertainty, modeling, CPSs and AI: honoring Prof. Antonio Vallecillo

引用

software AND SYSTEMS modelING 2025年 1-6页

作者： Troya, Javier Pierantonio, Alfonso Univ Malaga ITIS Software Malaga Spain Univ Aquila DISIM Laquila Italy

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 software engineering 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.

关键词： model-based software engineering modeling foundations Uncertainty modeling CPS Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Uncertainty-aware Simulation of Adaptive Systems

引用

ACM TRANSACTIONS ON modelING AND COMPUTER SIMULATION 2023年第3期33卷 1-19页

作者： Jezequel, Jean-Marc Vallecillo, Antonio Univ Rennes CNRS INRIA Campus Beaulieu F-35042 Rennes France Univ Malaga ITIS Software Bulevar Louis Pasteur 35 Malaga 29071 Spain

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.

关键词： model-based software engineering control systems self-adaptive systems uncertainty

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：