662 Hits in 4.8 sec

Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems [chapter]

Huascar Espinoza, Daniela Cancila, Bran Selic, Sébastien Gérard
2009 Lecture Notes in Computer Science  
Using model-based approaches for designing embedded systems helps abstract away unnecessary details in a manner that increases the potential for easy validation and verification, and facilitates reuse  ...  In this paper, we assess possible strategies for combining the SysML and MARTE profiles in a common modelling framework, while avoiding specification conflicts.  ...  The work presented here is partially carried out within the Sys-tem@tic competitiveness cluster projects Lambda and IMOFIS.  ... 
doi:10.1007/978-3-642-02674-4_8 fatcat:no2rhodqtjb7rakujw4glsjkf4

Formal Performance Analysis and Simulation of UML/SysML Models for ESL Design

A. Viehl, T. Schonwald, O. Bringmann, W. Rosenstiel
2006 Proceedings of the Design Automation & Test in Europe Conference  
UML2 and SysML try to adopt techniques known from software development to systems engineering.  ...  However, the focus has been put on modeling aspects until now and quantitative performance analysis is not adequately taken into account in early design stages of the system.  ...  The application of UML in the system level design process demands for an early exploration of designs, the verification of constraints and the recognition of violations of the specification.  ... 
doi:10.1109/date.2006.244110 dblp:conf/date/ViehlSBR06 fatcat:crrkgirwrrg63lz7acxifx264e

SysML-based design chain information modeling for variety management in production reconfiguration

Dazhong Wu, Linda L. Zhang, Roger J. Jiao, Roberto F. Lu
2011 Journal of Intelligent Manufacturing  
Based on a model-based systems engineering approach, this paper applies the Systems Modeling Language (SysML) to model design chain information.  ...  A case study of switchgear enclosure production reconfiguration system demonstrates that SysML-based information modeling excels in conducting requirements, structural, behavioral and constraints analysis  ...  Huangming Wu is also acknowledged for assistance in conducting case studies and implementing the prototype system.  ... 
doi:10.1007/s10845-011-0585-6 fatcat:qnndohql5ncbvkigkf73qz6gci

Automated change impact analysis between SysML models of requirements and design

Shiva Nejati, Mehrdad Sabetzadeh, Chetan Arora, Lionel C. Briand, Felix Mandoux
2016 Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016  
An important activity in systems engineering is analyzing how a change in requirements will impact the design of a system.  ...  We ground our approach on the Systems Modeling Language (SysML) due to SysML's increasing use in industrial applications.  ...  This TIM is consistent with both the existing literature on systems engineering modeling [15] , and also the SysML/UML metamodel [10, 11] .  ... 
doi:10.1145/2950290.2950293 dblp:conf/sigsoft/NejatiS0BM16 fatcat:opanjlqpunem3hbtzazyym7dc4

From Document Centric Approach to MBSE Approach: BPMN, UML, SysML and Wire Framing Implementation [chapter]

David Schumacher
2018 Complex Systems Design & Management  
analysis, architecture, design, and verification & validation activities.  ...  So, we will discuss an example of a framework implementation based on: BPMN, UML, SysML and wire framing in order to tempt to improve of collaboration, to improve impact assessments and to share the understanding  ...  analysis, architecture, design, and verification & validation activities.  ... 
doi:10.1007/978-3-030-04209-7_20 dblp:conf/csdm/Schumacher18 fatcat:rovgordl6nagnfhrxi2353g7d4

Tooled Process for Early Validation of SysML Models Using Modelica Simulation [chapter]

Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux
2015 Lecture Notes in Computer Science  
The increasing complexity and heterogeneity of systems require engineers to consider the verification and validation aspects in the earliest stages of the system development life cycle.  ...  using SysML models and Modelica simulation.  ...  This project is supported by the Smart Blocks project (contract ANR-2011-BS03-005) and the Labex ACTION program (contract ANR-11-LABX-0001-01) -see  ... 
doi:10.1007/978-3-319-24644-4_16 fatcat:6u76wksznrc2vbxf53chfzp364

MBSEsec: Model-Based Systems Engineering Method for Creating Secure Systems

Donatas Mažeika, Rimantas Butleris
2020 Applied Sciences  
Primarily, MBSE was used to manage complex engineering projects in terms of system requirements, design, analysis, verification, and validation activities, leaving security aspects aside.  ...  , validation, and verification could be successfully reused in the multidisciplinary field.  ...  The authors agree that the biggest value from MBSE activities is gained when system validation and verification are performed at the early phase of system design, especially in terms of change Conflicts  ... 
doi:10.3390/app10072574 fatcat:egnt6eovqfayddqearqoxoggoe

Development of an automated MBT toolchain from UML/SysML models

Jonathan Lasalle, Fabien Peureux, Frédéric Fondement
2011 Innovations in Systems and Software Engineering  
This paper reports about the VETESS project results and experience with building a Model-Based Testing toolchain to validate automotive embedded systems.  ...  This developed prototype made it possible to demonstrate that Model-Based Testing from UML/SysML models is an efficient way to automate testing process for systems mixing software and hardware parts.  ...  Even if SysML is a recent modeling language, it is on the rise in industrial domain to specifically address system engineering issues, and several modeling tool already support SysML models.  ... 
doi:10.1007/s11334-011-0164-1 fatcat:emrxs7w3qbbhxh4tctqjm7ihki

Thirteen years of SysML: a systematic mapping study

Sabine Wolny, Alexandra Mazak, Christine Carpella, Verena Geist, Manuel Wimmer
2019 Journal of Software and Systems Modeling  
, together with the activity diagram and state machine diagram known from UML, (iv) SysML is a specific UML profile mostly used in systems engineering; however, the language has to be customized to accommodate  ...  This standard is an extended subset of UML providing a graphical modeling language for designing complex systems by considering software as well as hardware parts.  ...  and the Province of Upper Austria in the frame of the COMET center SCCH.  ... 
doi:10.1007/s10270-019-00735-y fatcat:iyvvhj3xwfhz3edaivd2szupqm

Toward the tools selection in model based system engineering for embedded systems—A systematic literature review

Muhammad Rashid, Muhammad Waseem Anwar, Aamir M. Khan
2015 Journal of Systems and Software  
Model based system engineering (MBSE) is a systematic approach of modeling which is frequently used to support requirement specification, design, verification and validation activities of system development  ...  Consequently, 39 preliminary tools are identified that have been used in recent researches. Furthermore, classification and evaluation of tools have been presented.  ...  Engineering and Innovated Systems".  ... 
doi:10.1016/j.jss.2015.04.089 fatcat:l7ksgsyvyzbcxnch5dgeow3mje

Safety evaluation and management of complex systems: A system engineering approach

Romaric Guillerm, Hamid Demmou, Nabil Sadou
2012 Concurrent Engineering - Research and Applications  
The system language SysML (System Modeling Language) is used to address requirements definition and their traceability towards the solution and the Verification and Validation (V&V) elements.  ...  The objective is to help designers and safety engineers in safety management of complex systems.  ...  Systems Modeling Language (SysML) SysML is a systems modeling language that supports specification, analysis, design, verification and validation of a broad range of complex systems.  ... 
doi:10.1177/1063293x12446665 fatcat:nnaldlkodbanrfsyhtzma4ebsi

From Model-Driven Development to Model-Driven Engineering

Bran Selic
2007 19th Euromicro Conference on Real-Time Systems (ECRTS'07)  
-Takes advantage of significant UML tooling support and experience Supports the specification, analysis, design, verification, and validation of systems that include hardware, software, data, personnel  ...  Enter SysML… A graphical modeling language adopted by the OMG, in collaboration with INCOSE and AP233 -a UML profile that represents a subset of UML 2 with extensions for heterogeneous (SW/HW) modelling  ...  mainstream engineering that has resulted in some spectacular failures and much distress With MDD and MARTE we are now able to inject the "engineering" ingredient into software design Through SysML and  ... 
doi:10.1109/ecrts.2007.16 dblp:conf/ecrts/Selic07 fatcat:qv5e6e5giff4zjawptp5tirvae

Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems

Manzoor Ahmad, Nicolas Belloir, Jean-Michel Bruel
2015 Journal of Systems and Software  
We propose an integrated approach for modeling and verifying the requirements of Self-Adaptive Systems using Model Driven Engineering techniques.  ...  We then use the concepts of Goal-Oriented Requirements Engineering for eliciting and modeling the requirements of Self-Adaptive Systems.  ...  It supports the specification, analysis, design, verification and validation of a broad range of systems and systems-of-systems.  ... 
doi:10.1016/j.jss.2015.05.028 fatcat:lkketmkf2bbrjaj75ls3heqw3a

Integrating Security Requirements Engineering into MBSE: Profile and Guidelines

D. Mažeika, R. Butleris
2020 Security and Communication Networks  
Model-Based System Engineering (MBSE) provides a number of ways on how to create, validate, and verify the complex system design; unfortunately, the inherent security aspects are addressed neither by the  ...  This paper reviews security requirements engineering processes and modeling methods and standards and provides the MBSE security profile as well, which is formalized with the UML 2.5 profiling capability  ...  Papke argues that security engineers and systems engineers should work together and a joint design process or framework is needed in order to define security aspects in a common model [13] .  ... 
doi:10.1155/2020/5137625 fatcat:dd2l3qlnw5hdvnzrjhc34daphq

Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems

Ludovic Apvrille, Yves Roudier
2014 Electronic Proceedings in Theoretical Computer Science  
We introduce SysML-Sec, a SysML-based Model-Driven Engineering environment aimed at fostering the collaboration between system designers and security experts at all methodological stages of the development  ...  In particular, we propose an agile methodology whose aim is to assess early on the impact of the security requirements and of the security mechanisms designed to satisfy them over the safety of the system  ...  We claim that the SysML-Sec Model-Driven Engineering approach makes it possible to perform an appropriate system analysis, design and proof in both directions, and to describe both security threats and  ... 
doi:10.4204/eptcs.148.2 fatcat:uafkhwqbw5gy7dzwvxiseoon7i
« Previous Showing results 1 — 15 out of 662 results