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

9th International Conference on model and Data engineering (MEDI)

作者： Ponsard, Christophe Darimont, Robert Touzani, Mounir CETIC Res Ctr Charleroi Belgium Respect IT SA Louvain La Neuve Belgium

ISBN: (纸本)9783030320652;9783030320645

model-based system engineering is gaining momentum in the industry. In order to be successful, it requires adequate tooling support. In addition to functional requirements related to model edition, verification and transformation, key non-functional requirements need to be carefully addressed such as versioning, usability/team work, reliability, security, ease of integration. In this paper, we first give an overview of how we dealt with such requirements in the context of the development of a real world platform for a global telecom operator, with a focus on early steps of system modelling. We then present a more detailed design of the tooling architecture and a high availability protocol for accessing a mainstream model repository. The proposed protocol is modelled and verified using the Alloy language and model-checker.

关键词： model-based system engineering Tool support modelling Industrial transfer High availability Alloy model-checking

来源：评论

学校读者我要写书评

暂无评论

A Survey of model-based system engineering Methods to Analyse Complex Supply Chains: A Case Study in Semiconductor Supply Chain 9

A Survey of Model-Based System Engineering Methods to Analys...

引用

9th IFAC/IFIP/IFORS/IISE/INFORMS Conference on Manufacturing modelling, Management and Control (IFAC MIM)

作者： Mousavi, Behrouz Alizadeh Azzouz, Radhia Heavey, Cathal Ehm, Hans Univ Limerick Enterprise Res Ctr Limerick Ireland Infineon Technol AG Neubiberg Germany

model-based system engineering (MB SE) is an increasingly important methodology to support system engineering and has attained a high level of attentiveness in business simulation practices as a conceptual modelling approach. In this paper, we present our results related to the application of MBSE approaches in complex semiconductor manufacturing supply chain planning systems. We investigate system modeling Language (SysML), Web Ontology Language (OWL) and Business Process modeling Notation (BPMN) as different approaches and languages for MB SE. These approaches are surveyed and used to develop conceptual models for the simulation of the order management process inside the supply chain management. This study aims to survey and offer a number of implications for MBSE practice and seeks to stimulate and guide further research in this area. (C) 2019, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.

关键词： model-based system engineering Conceptual modelling Simulation SysML Ontology BPMN Supply chain planning

来源：评论

学校读者我要写书评

暂无评论

model-based system engineering in Practice: Document Generation - MegaM@Rt2 Project Experience 14

Model-Based System Engineering in Practice: Document Generat...

引用

14th CENTRAL AND EASTERN EUROPEAN SOFTWARE engineering CONFERENCE RUSSIA (CEE-SECR)

作者： Sadovykh, Andrey Ashraf, Adnan Bagnato, Alessandra Truscan, Dragos Pierini, Pierluigi Bruneliere, Hugo Avila-Carcia, Orlando Afzal, Wasif Softeam F-75016 Paris France Innopolis Univ Innopolis 420500 Respublika Tata Russia Abo Akad Univ SF-20500 Turku Finland Intecs I-56121 Pisa Italy CNRS IMT Atlantique LS2N F-44000 Nantes France ARMINES F-44000 Nantes France Atos Tenerife 38110 Spain Malardalen Univ Vasteras Sweden

ISBN: (纸本)9781450361767

MegaM@Rt2 project is a collaborative initiative of the ECSEL Joint Undertaking under Horizon 2020 EU programme. The project regroups 26 partners from 6 different European countries who jointly address challenges of engineering modern cyberphysical systems by using model-based engineering methods. Since it is a model-based project, we adopted a similar approach for dealing with requirements analysis, architecture, design, roadmap planning and development status checking. In these tasks, document generation methods were particularly useful to create a set of "live" reference specifications and contractual reports. We believe that these methods perfectly demonstrate relevant benefits of the model-based approach and are applicable to many other contexts. Document generation has several challenges, since the produced documents should address several goals and target different audience. Hence, we describe this approach in detail in this paper in the form of an experience report. In essence, the MegaM@Rt2 project had a rather trivial task to document inception phase of the project. The challenge arises from the scale of the project, we had to deal with hundreds of requirements from completely different users, hundreds of features of 29 tools, which had to be mapped to those requirements in order to analyze a gap and devise a roadmap for a consistent tool chain. With limited resource on technical coordination we had to be extremely efficient and thus we adopted a model-based approach that we describe in this paper. The paper should be helpful to project managers and architects who wish to discuss on model-based approaches from a practical side.

关键词： document generation requirements model-based system engineering model-driven software engineering UML SysML traceability

来源：评论

学校读者我要写书评

暂无评论

A model-based system engineering Approach for aviation system design by applying SysML modeling

A Model-Based System Engineering Approach for aviation syste...

引用

第32届中国控制与决策会议

作者： Xiao Fei Chen Bin Li Rui Hu Shunhua COMAC Shanghai Aircraft Design & Research Institute Delft University of Technology

Aviation systems are characterized by the synergic interaction between their components from different technological *** interactions enable the system to achieve more functionalities than the sum of the functionalities of its components considered ***,model-based systems engineering(MBSE) is an interdisciplinary approach for handling complexity during product ***,the generic methodology guides the engineers toward a specific model-based system design is ***,it still calls for efforts on investing in a specific case *** overcomes the gaps,this paper proposes a generic model-based system engineering methodology to conduct the mission and system-specific design for aviation systems development.

关键词： model-based system engineering SysML Design Methodology Aviation system

来源：评论

学校读者我要写书评

暂无评论

Obtaining a cross-engineering collaborative environment via transition to a model-based system engineering (MBSE) approach

引用

JOURNAL OF DEFENSE modelING AND SIMULATION-APPLICATIONS METHODOLOGY TECHNOLOGY-JDMS 2018年第4期15卷 461-469页

作者： Bachman, Jane T. US Navy Ctr Surface Warfare Dahlgren Div Dahlgren VA 22448 USA

The integrated defense acquisition, technology, and logistics (IDAT&L) life cycle management system (LCMS) is currently a document-centric process, i.e., the IDAT&L LCMS process is a document-based approach where engineering strategies, plans, and design documents are manually generated, maintained, and sustained. This approach causes unnecessary time spent on correlating and managing interrelated system documentation. In addition, a change to the system could easily be miscommunicated or not relayed to another engineering group, e.g., test and evaluation. Hence the program experiences delay in the schedule and additional cost occurs due to test plan and execution rework as a result of test criteria not met. This paper addresses benefits of applying a model-based system engineering approach to the IDAT&L LCMS process and how it promotes a cross-engineering collaborative environment.

关键词： Integrated defense acquisition technology and logistics life cycle management system model-based system engineering modeling simulation systems engineering

来源：评论

学校读者我要写书评

暂无评论

model-based system engineering in Practice: Document Generation - [email protected] Project Experience 18

Model-Based System Engineering in Practice: Document Generat...

引用

Proceedings of the 14th Central and Eastern European Software engineering Conference Russia

作者： Andrey Sadovykh Adnan Ashraf Alessandra Bagnato Dragos Truscan Pierluigi Pierini Hugo Bruneliera Orlando Avila-Carcia Wasif Afzal Softeam Paris France and Innopolis University Innopolis Respublika Tatarstan Russia Åbo Akademi University Turku Finland Softeam Paris France Intecs Pisa Italy IMT Atlantique LS2N (CNRS) & ARMINES Nantes France Atos Tenerife Spain Mälardalen University Sweden

ISBN: (纸本)9781450361767

[email protected] project is a collaborative initiative of the ECSEL Joint Undertaking under Horizon 2020 EU programme. The project regroups 26 partners from 6 different European countries who jointly address challenges of engineering modern cyber-physical systems by using model-based engineering methods. Since it is a model-based project, we adopted a similar approach for dealing with requirements analysis, architecture, design, roadmap planning and development status checking. In these tasks, document generation methods were particularly useful to create a set of "live" reference specifications and contractual reports. We believe that these methods perfectly demonstrate relevant benefits of the model-based approach and are applicable to many other contexts. Document generation has several challenges, since the produced documents should address several goals and target different audience. Hence, we describe this approach in detail in this paper in the form of an experience *** essence, the [email protected] project had a rather trivial task to document inception phase of the project. The challenge arises from the scale of the project, we had to deal with hundreds of requirements from completely different users, hundreds of features of 29 tools, which had to be mapped to those requirements in order to analyze a gap and devise a roadmap for a consistent tool chain. With limited resource on technical coordination we had to be extremely efficient and thus we adopted a model-based approach that we describe in this paper. The paper should be helpful to project managers and architects who wish to discuss on model-based approaches from a practical side.

关键词： SysML model-driven software engineering model-based system engineering document generation traceability UML requirements

来源：评论

学校读者我要写书评

暂无评论

Simulation of dynamically structured systems in a model-based system engineering approach applied to reconfigurable hardware

Simulation of dynamically structured systems in a model-base...

引用

作者： Min Zhu UNIVERSITE TOULOUSE 3 PAUL SABATIER (UT3 PAUL SABATIER)

学位级别：博士

As partially reconfigurable technologies develop for embedded systems, the need for a proper model to describe its behavior emerges. Most academic and industrial tools available on the market does not address dynamic struc- ture modeling. The arising of discrete-event modeling, in particular, Discrete Event system Specification (DEVS), propose formal tools for representing and simulating models. DEVS has already extension which handles the dynamic structure modeling. However, the capacities of these existing formalism have limitations. Notably, they do not address the components context aspect. Also, the existing formalisms have not integrated the system engineering approach. system engineering brings beneficial procedures, notably model- driven architecture which proposes to separate the system description from its execution target. A platform-specific model is formed from a platform- description model coupled with a platform independent model. To address these needs, we propose a model description formalism which takes into consideration these two aspects: dynamic structure modeling and system engineering. This formalism is based on DEVS and called Partially Reconfigurable Discrete Event system Specification (PRDEVS). PRDEVS al- lows to represent dynamic-structure models independently from the simulation platform. The presented approach can be applied to different types of targets, such as software and reconfigurable hardware. This thesis addresses these two kinds of platforms, demonstrating the suitability of the abstract formalism to actual platforms.

关键词： Reconfigurable hardware systems modeling Discrete event simulation model-based system engineering model-driven architecture

来源：评论

学校读者我要写书评

暂无评论

Civil Aircraft Landing Gear Brake system Development and Evaluation Using model based system engineering 36

Civil Aircraft Landing Gear Brake System Development and Eva...

引用

第36届中国控制会议

作者： Xiaohang Hai Shaojie Zhang Xiaodong Xu College of Automation Engineering Nanjing University of Aeronautics and Astronautics State Key Laboratory of civil aircraft flight simulation

ISBN: (纸本)9781538629185

Civil aircraft landing gear brake system development and evaluation using model based system engineering is proposed in this *** paper describes the process of civil aircraft landing gear brake system development by model based system engineering（MBSE）,and implementation using IBM Rational Rhapsody,a SysML Language Software *** case,function flow,and state-machine of system are set up by model and to describe the requirement analysis and architecture design of highly complex system in civil *** demonstrates how to integrate a SysML modeling tool with Simulink to validate system *** integration enables users to validate the behavior by simulating the overall composition.

关键词： model-based system engineering Simulation SysML Aircraft Landing Gear Brake system

来源：评论

学校读者我要写书评

暂无评论

X-SEM: A modeling and simulation-based system engineering methodology

引用

JOURNAL OF MANUFACTURING systemS 2024年 74卷 198-221页

作者： Gu, Pengfei Chen, Zhen Zhang, Lin Zhang, Yuteng Xie, Kunyu Zhao, Chun Ye, Fei Tao, Yiran Beihang Univ Sch Automat Sci & Elect Engn 37 Xueyuan Rd Beijing 100191 Peoples R China State Key Lab Intelligent Mfg Syst Technol Yongding Rd 51 Haidian 100854 Beijing Peoples R China Minist Educ Sch Reliabil & Syst Engn Complex Syst Engn Ctr Xueyuan Rd 37 Beijing 100191 Peoples R China Beijing Informat Sci & Technol Univ BISTU Courtyard 1Jiuxianqiao Sixth St Chaoyang 100101 Beijing Peoples R China

model-based systems engineering (MBSE) is an effective approach that facilitates complex systems' collaborative research and development. The prevalent MBSE methodologies rely heavily on the system modeling Language (SysML). However, SysML, characterized as a semi -formal language, presents challenges in facilitating the modeling and simulation of the physical characteristics of complex systems. Consequently, current MBSE methodologies encounter difficulties in integrating the modeling and simulation of complex systems' logical architecture and physical characteristics, limiting the effective application of MBSE in the early stages of system design. This paper proposes a modeling and simulation-based system engineering methodology (X -SEM) to address this limitation. Leveraging the X language, X -SEM establishes an integrated system development process for complex systems, enabling comprehensive modeling and simulation of systems requirements, functions, logical architecture, and physical characteristics across four perspectives and three domains of system development. Additionally, X -SEM, a methodology integrating system design and system simulation, ensures the integration of critical physical characteristics based on established logical architecture, allowing for timely error correction and collaborative verification of functional and non-functional requirements, as well as system optimization in the early stages of system design. Finally, this paper showcases the design process for a straight-line driving scenario of the electric vehicle based on X -SEM, thereby exemplifying the effectiveness and potential of the proposed methodology.

关键词： model-based system engineering X language Methodology Simulation

来源：评论

学校读者我要写书评

暂无评论

Designing the database for a reliability aware model-based system engineering process

引用

RELIABILITY engineering & system SAFETY 2013年 111卷 171-182页

作者： Cressent, Robin David, Pierre Idasiak, Vincent Kratz, Frederic ENSI Bourges IRAuS EA4229 PRISME F-18000 Bourges France Grenoble INP CNRS G SCOP UMR5272 F-38031 Grenoble France

This article outlines the need for a reliability database to implement model-based description of components failure modes and dysfunctional behaviors. We detail the requirements such a database should honor and describe our own solution: the Dysfunctional Behavior Database (DBD). Through the description of its meta-model, the benefits of integrating the DBD in the system design process is highlighted. The main advantages depicted are the possibility to manage feedback knowledge at various granularity and semantic levels and to ease drastically the interactions between system engineering activities and reliability studies. The compliance of the DBD with other reliability database such as FIDES is presented and illustrated. (C) 2012 Elsevier Ltd. All rights reserved.

关键词： Reliability database model-based system engineering SysML Feedback management

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：