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

2nd Annual IEEE International Symposium on systems engineering (ISSE)

作者： Patwari, Puneet Chaudhuri, Subhrojyoti Roy Banerjee, Amar Natarajan, Swaminathan Pandey, Shreya Tata Consultancy Serv Res Pune Maharashtra India

ISBN: (纸本)9781509007936

In system engineering, it is a common practice to start exploring the solution space through usage of design mechanisms such as SysML, a modeling language for expressing system design. The usage of such methodologies allow creating design of target solutions through identification of use cases, components, their interfaces, interaction data models and so on. Since it is a generic language, the concepts in SysML require manual mapping to the concepts in the problem domain so that the target design could be expressed in domain terms. This makes its usage effort-intensive since the process of binding with problem domain is highly dependent on domain experts and their understanding. SysML mitigates this by allowing itself to be extended as reusable profiles incorporating problem domain concepts and patterns. However, the process to support this activity isn't well defined. To solve the process of creating design solutions specific to a domain, we propose an approach which includes defining a design environment that is domain aware. It has been referred to as a Domain Specific engineering Environment (DSEE). DSEE supports the design creation process more holistically by providing support for the various systems engineering life cycle phases other than designing. The developed DSEE is based on the model Driven engineering (MDE) paradigm which enables it to be integrated and viewed in SysML terminology. The environment has support for a Domain Specific modeling Language (DSML) along with suitable graphical representations corresponding to SysML standards, making it easy for SysML users to design systems. DSEE is created as a plug-in in Eclipse platform. This paper discusses about the DSEE.

关键词： model-based system engineering Domain specific language Domain specific engineering environment

来源：评论

学校读者我要写书评

暂无评论

SysML model of Exoplanet Archive Functionality and Activities 7

SysML model of Exoplanet Archive Functionality and Activitie...

引用

Conference on modeling, systems engineering, and Project Management for Astronomy VII

作者： Ramirez, Solange CALTECH NASA Exoplanet Sci Inst 1200 East Calif Blvd Pasadena CA 91125 USA

ISBN: (纸本)9781510602014;9781510602021

The NASA Exoplanet Archive is an online service that serves data and information on exoplanets and their host stars to help astronomical research related to search for and characterization of extra-solar planetary systems. In order to provide the most up to date data sets to the users, the exoplanet archive performs weekly updates that include additions into the database and updates to the services as needed. These weekly updates are complex due to interfaces within the archive. I will be presenting a SysML model that helps us perform these update activities in a weekly basis.

关键词： model-based system engineering SysML Exoplanet Archive

来源：评论

学校读者我要写书评

暂无评论

Guiding the selection of security patterns based on security requirements and pattern classification 15

Guiding the selection of security patterns based on security...

引用

20th European Conference on Pattern Languages of Programs (EuroPLoP)

作者： Motii, Anas Hamid, Brahim Lanusse, Agnes Bruel, Jean-Michel CEA LIST Lab Model Driven Engn Embedded Syst F-91191 Gif Sur Yvette France Univ Toulouse IRIT Inst Rech Informat Toulouse Toulouse France

ISBN: (纸本)9781450338479

Security pattern-based system and software engineering (PBSE) approaches aim at building secure software and systems by capturing and reusing artifacts that encapsulate security expert's knowledge called security patterns. In this context, security patterns are selected by developers based on security requirements. On the other hand, security risk management is an iterative approach that consists of: (1) a risk assessment activity for identifying, analyzing and evaluating security risks and (2) a risk treatment activity to mitigate these risks which result in issuing security requirements. Hence, risk management and security PBSE can be used together. In this context, this paper aims at guiding the selection of security patterns in security PBSE based on security risk management results and pattern classification. For illustration purposes, we consider an example of a SCADA (Supervisory Control And Data Acquisition) system.

关键词： UML SysML Pattern-based system engineering model-based system engineering concrete and abstract security patterns

来源：评论

学校读者我要写书评

暂无评论

General Purpose modeling and Domain Specific Simulation: A Framework for Space Mechanisms Design 9

General Purpose Modeling and Domain Specific Simulation: A F...

引用

9th Annual IEEE International systems Conference (SysCon)

作者： Omiciuolo, Manolo Thiel, Markus Foerster, Klaus-Peter Paetzold, Kristin Foerstner, Roger OHB Syst AG Munich Germany Univ Bundeswehr Munchen Inst Tech Prod Tentwicklung ITPE Munich Germany

ISBN: (纸本)9781479959273

The process of writing requirements specifications, designing, developing, and verifying high precision pointing space mechanisms currently relies on a domain specific simulation-centric approach extensively applied since the very early stages of a project. Space mechanisms requirements specifications often are driven by domain specific features, with many significant uncertainties, and requirements conflicts due to the lack of a holistic perspective. Specific domain simulations are run repeatedly under the given conditions. Such a process is highly inefficient for a company that either writes a requirements specification (manages subcontractors) or designs space mechanisms itself. A general purpose modeling method is proposed to accompany domain specific simulation methods. The resulting framework is proposed to be applied to high precision mechanisms of scientific space missions. Survey of the stakeholders and comparison of methodologies during the conceptual identification of the framework foster an object oriented model-based system engineering methodology and the general purpose SysML modeling languages as the basis for the general purpose modeling part of the framework. The domain specific simulation part is based on the implementation of existing tools under the overall supervision of the general purpose models.

关键词： space mechanisms design generic purpose modeling methodology model-based system engineering domain specific simulation requirements specification stakeholders

来源：评论

学校读者我要写书评

暂无评论

Simulating SysML models: Overview and Challenges 10

Simulating SysML Models: Overview and Challenges

引用

10th system of systems engineering Conference (SoSE)

作者： Nikolaidou, Mara Kapos, George-Dimitrios Tsadimas, Anargyros Dalakas, Vassilios Anagnostopoulos, Dimosthenis Harokopio Univ Athens Dept Informat & Telemat Athens Greece

ISBN: (纸本)9781479976119

SysML language, proposed by OMG, is a commonly accepted standard to model and study systemsof-systems (SoS). It provides the means to depict SoS components and their behavior in a multi-layer fashion and explore alterative architectures for their design. To validate SysML models in terms of performance criteria, simulation is usually the preferred method employed. To this end, different SysML diagrams are utilized, while numerous simulation methodologies and tools are employed. There are many efforts targeting simulation code generation from SysML models. model-based system engineering concepts are adopted in most of them to generate simulation models from SysML models. Nevertheless, this process is not standardized, although most of current approaches tend to follow the same steps, even if they employ different tools. The scope of this paper is to provide a comprehensive understanding of the similarities and differences of existing approaches and identify current challenges in fully automating SysML models simulation process.

关键词： SysML simulation automated code generation model transformation model-based system engineering

来源：评论

学校读者我要写书评

暂无评论

Approach to Capability-based system-of-systems Framework in Support of Naval Ship Design

Approach to Capability-Based System-of-Systems Framework in ...

引用

8th Annual IEEE systems Conference (SysCon)

作者： Olivier, Jacques P. Balestrini-Robinson, Santiago Briceno, Simon Royal Canadian Navy Ottawa ON Canada GTRI Elect Syst Lab Atlanta GA USA Georgia Inst Technol IAerospace Syst Design Lab Atlanta GA USA

ISBN: (纸本)9781479920860

This paper represents the latest instantiation of a series of evolving work attempting to improve the methods and techniques used for designing and supporting the acquisition of complex military systems, with an immediate application to naval surface combatants. Ship design provides an ideal proof-of-concept as traditional methods may have been restrictively anchored by designing ships within intrinsic ship systems capabilities as opposed to designing ships as an element of a SoS. The postulation is that modern naval ship design should consider the systems of interest as components subsumed by a holistic environment encompassing assets and capabilities inorganic to a naval platform. This position paper propose a starting point approach intended to provide a more defined means of establishing and improving the ship design process as part of a multi-layered maritime domain warfare enterprise. The paper will first explore the applications of SoS theories in the naval context and offer foundational definitions to better explain what is meant by capability-based framework. The proposed methodology provides a structured and cohesive approach for identifying and assessing ship capability portfolio with traceable and better known impacts on mission effectiveness, affordability and risk, in the early stages of ship design within the scope of a naval system-of-systems.

关键词： naval ship design model-based system engineering capability-based planning systems engineering system-of-systems

来源：评论

学校读者我要写书评

暂无评论

model-based Safety Assessment: Rational and Trends 10

Model-Based Safety Assessment: Rational and Trends

引用

10th France-Japan and the 8th Europe-Asia Congress on Mechatronics

作者： Rauzy, Antoine Bleriot-Fabre, Chaire Ecole Cent Paris Lab Genie Ind Chatenay Malabry France

ISBN: (纸本)9781479957170

In this article, we discuss rational and trends of model-based Safety Assessment of complex systems. We start by explaining why classical modeling methodologies are not sufficient to tackle today's industrial challenges. Then, we sketch the main features of AltaRica 3.0, a high level modeling language which aims at overcoming these difficulties. Finally, we suggest some ideas to better integrate safety engineering with other system engineering disciplines.

关键词： high level languages safety-critical software systems engineering AltaRica 3.0 high level modeling language complex systems model-based safety assessment model-based system engineering Computational modeling Fault trees Mathematical model Probabilistic logic Reliability engineering Risk management Safety high level language(hll) Reliability engineering Fault trees safety-critical software Probabilistic logic Complex systems systems engineering Safety assessment Computational modeling Risk Management Mathematical model Consumer safety safety systems engineering and theory Rational number

来源：评论

学校读者我要写书评

暂无评论

Advanced modelling, Simulation and Verification for Future Traffic Regulation Optimisation 6

Advanced Modelling, Simulation and Verification for Future T...

引用

6th International Workshop on Software engineering for Resilient systems (SERENE)

作者： Iliasov, Alexei Palacin, Roberto Romanovsky, Alexander Newcastle Univ Sch Comp Sci Newcastle Upon Tyne NE1 7RU Tyne & Wear England Newcastle Univ NewRail Ctr Newcastle Upon Tyne Tyne & Wear England

ISBN: (纸本)9783319122410;9783319122403

This paper introduces a new project supported by the UK Technical Strategy Leadership Group (TSLG) to contribute to its vision of Future Traffic Regulation Optimisation (FuTRO). In this project Newcastle University will closely cooperate with Siemens Rail Automation on developing novel modelling, verification and simulation techniques and tools that support and explore in an integrated approach to efficient dynamic improvement of capacity and energy consumption of railway networks and nodes while ensuring whole systems safety. The SafeCap+ (or SafeCap for FuTRO) project builds on the two previous projects (SafeCap and SafeCap Impact) which have developed a novel modelling environment that helps signalling engineers to design nodes (stations or junctions) in a way that guarantees their safety and allows engineers to explore different design options to select the ones that ensure the improved node capacity.

关键词： Railway signalling safety capacity energy ERTMS ETCS tool support verification traffic management GPU formal methods domainspecific languages model-based system engineering

来源：评论

学校读者我要写书评

暂无评论

Constraint based approach for the steady-state simulation of complex systems: Application to ship control

引用

engineering APPLICATIONS OF ARTIFICIAL INTELLIGENCE 2013年第1期26卷 499-514页

作者： Larroude, Vincent Chenouard, Raphael Yvars, Pierre-Alain Millet, Dominique Supmeca LISMMA F-83000 Toulon France Supmeca LISMMA F-93407 St Ouen France LUNAM Univ Ecole Cent Nantes IRCCyN UMR CNRS 6597 F-44000 Nantes France

When the steady states are largely predominant with respect to transitional phases, steady-state simulation seems sufficient to predict the behavior of a complex system. Over the past 20 years, different modeling languages and dedicated tools have been developed to improve steady state simulation. In this paper, focus is made on steady-state simulation for system control and design. A model combining an emission sub-model with a ship propulsion sub-model was implemented in a constraint programming (CP) approach. It will help to determine the efficiency (i.e. the ability to model and solve the problem) and complexity of implementation (i.e. difficulties encountered during the implementation) of this approach. First, requirements for the steady-state simulation of complex systems are defined. Then, CP approach is shown to be able to answer these issues through experiments. This approach is then compared to one of the main simulation languages: modelica. Although the two approaches (i.e modelica and CP) are able to reverse models, the study shows that the use of modelica principles for steady-state simulation involves some crippling limitations, such as the nonmanagement of under/over-constrained systems, or inequalities. This study also shows that the constraint programming approach permits to meet some needs for steady-state simulation not yet covered by current approaches. (C) 2012 Elsevier Ltd. All rights reserved.

关键词： Constraint programming modelica Steady-state simulation model-based system engineering Multi-physics modeling

来源：评论

学校读者我要写书评

暂无评论

SysGrid: IEC 61850/IEC 61499 based engineering Process for Smart Grid Automation Design

SysGrid: IEC 61850/IEC 61499 Based Engineering Process for S...

引用

11th IEEE International Conference on Industrial Informatics (INDIN)

作者： Zhabelova, Gulnara Yang, Chen-Wei Vyatkin, Valeriy Univ Auckland Dept Comp Syst Engn Auckland 1 New Zealand Lulea Univ Technol Dept CS Elect & Space Engn Lulea Lulea Sweden

ISBN: (纸本)9781479907526

The paper proposes a novel computer-aided model-based system engineering process for Smart Gird applications. The process is supported by the SysGrid tool that plays the roles of system configurator and device configurator. The design process starts with single line diagrams which are automatically transformed to executable function block specifications. The process is based on the Smart Grid control architecture that is a heterogeneous network of controllers communicating in a peer to peer manner. This "artificial nervous system" of the Smart Grid will be capable of self-healing and dynamic adaptation to renewable generation and ever-changing loads. The tool supports system-level design of automation logic in the form of function block networks with compliancy to IEC 61499. The capabilities of SysGrid are demonstrated through the process of designing a distributed protection application.

关键词： component IEC 61850 IEC 61499 SysGrid Function Blocks SCL Intelligent Logical Node Co-Simulation model-based system engineering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：