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

11th International Conference on Control, Mechatronics and Automation (ICCMA)

作者： Castaing, Hugo Tang, Gilbert Chacin, Marco Bonnefoi, Fabien Cranfield Univ SATM Cranfield Beds England AIRBUS Automat Robot & Assembly Technol R&D Stevenage Herts England IPSA Comp Sci Paris France

ISBN: (纸本)9798350315684

Traditional system engineering methods have shown their limits when applied to highly complex systems such as rovers. In parallel, the digitalisation of the industry and the democratisation of the use of models in engineering force the system engineering field to adapt and change its practices by adopting a new approach: model-based system engineering. This project aimed to provide a comprehensive example of an MBSE approach applied to a planetary rover design case study. The MathWorks MBSE toolchain is used to reverse engineer the NASA Sojourner rover. As a result, the defined requirements, and functional and logical architectures are implemented and dynamically linked together. Additionally, a multi-physical simulation model of the rover's power and mobility system is implemented. Requirements, architectures, and physical models are linked together to form a unique and comprehensive knowledge base, providing a vertical model-centric approach. The results of the simulation are used to conduct a trade study and deduct a design change for the system. The results presented in this study form the basis for a discussion aimed at evaluating the benefits and limitations of the MBSE approach mentioned in the scientific literature.

关键词： model-based system engineering system engineering Planetary rover Multi-physical simulation modelling Simulink

来源：评论

学校读者我要写书评

暂无评论

Robust Design of a Collaborative Platform for model-based system engineering: Experience from an Industrial Deployment 9th

Robust Design of a Collaborative Platform for Model-Based Sy...

引用

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 - [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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

32nd Chinese Control And Decision Conference (CCDC)

作者： Xiao Fei Chen Bin Li Rui Hu Shunhua Room 510 Bldg 6525 Yuanjiang Rd Shanghai 201109 Peoples R China COMAC Shanghai Aircraft Design & Res Inst Shanghai 201210 Peoples R China Delft Univ Technol NL-2629 HS Delft Netherlands

ISBN: (数字)9781728158556

ISBN: (纸本)9781728158556

Aviation systems are characterized by the synergic interaction between their components from different technological domains. These interactions enable the system to achieve more functionalities than the sum of the functionalities of its components considered independently. Recently, model-based systems engineering (MBSE) is an interdisciplinary approach for handling complexity during product development. However, the generic methodology guides the engineers toward a specific model-based system design is lacking. Besides, it still calls for efforts on investing in a specific case study. To 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

来源：评论

学校读者我要写书评

暂无评论

Use of model-based system engineering methodology and tools for disruption analysis of supply chains: A case in semiconductor manufacturing

引用

JOURNAL OF INDUSTRIAL INFORMATION INTEGRATION 2022年 28卷

作者： Mousavi, Behrouz Alizadeh Heavey, Cathal Azzouz, Radhia Ehm, Hans Millauer, Chirine Knobloch, Randolph Univ Limerick Confirm Ctr Limerick V94 T9PX Ireland Infineon Technol AG Supply Chain Innovat Dept Munich Germany Infineon Technol AG Campeon 1-15 D-85579 Neubiberg Germany Infineon Technol Ireland Ltd Fumbally SqSecond FloorFumbally LaneNew St Dublin D08 XYA5 8 Ireland

In the age of complex and large-scale systems, model-based system engineering (MBSE) is increasingly becoming a sine qua non in industry due in large part to a wider use of software applications and an increased move towards standardization. In this study, we research the application of the MBSE methodology (definition, design, analysis, and synthesis) to disruption management with a specific focus on a semiconductor supply chain case study. Within this methodology we use three MBSE tools, namely OWL, BPMN, and SysML, with the main focus being on definition of the problem to ensure that the "correct'' problem is solved. The article does not report on any new research into the MBSE tools, but applies the available tools. Many of these tools have limitations, especially in the area of analysis and synthesis, that have been overcome if not widely adopted, in the area of product design (i.e., finite element analysis and simulation, etc.), which is a limitation in the type of systems studied here, i.e., a supply chain system which is a discrete event system. Through the application of the MBSE methodology and the application of the three MBSE tools, a comparison is provided that highlights further opportunities and obstacles, but which ultimately demonstrates a positive proof that the MBSE methodology is necessary for revealing sources of systematic disruptions within a complex integrated industrial information system.

关键词： model-based system engineering Disruption management Complex system system modeling Simulation analysis

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

SCV2: A model-based Validation and Verification approach to system-of-systems engineering 10

SCV2: A Model-based Validation and Verification approach to ...

引用

10th system of systems engineering Conference (SoSE)

作者： Baddour, Rami Paspaliaris, Alkiviadis Herrera, Daniel Solis Univ Svizzera Italiana ALaRI Lugano Switzerland

ISBN: (纸本)9781479976119

model-based systems engineering provides an effective methodology for designing complex systems and system-of-systems. More importantly, such an approach opens the possibility to automatically generate executable simulators from system modules using model-to-code transformations, in order to verify the system model's completeness and validate design requirements. However, the user may still need to write code segments to describe the detailed functionality of system components. In this paper, we present the SCV2 tool, which allows the simulation of big size heterogeneous/multiple-class systems and system-of-systems, imposes code-model consistency and aided statechart design through reverse code-to-model transformations, and provides query-based requirement validation and functionality verification through an intuitive user interface. Finally, we present a use-case showing the utilization of the tool in the WiBRATE FP7 project for early-stage validation of system requirements.

关键词： model-based system engineering system-of-systems SoSE Validation and Verification Automated Code Generation SysML Statecharts

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：