A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
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
2006
Proceedings of the Design Automation & Test in Europe Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
2011
Journal of Intelligent Manufacturing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2016
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2018
Complex Systems Design & Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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 http://www.labex-action.fr/en. ...
doi:10.1007/978-3-319-24644-4_16
fatcat:6u76wksznrc2vbxf53chfzp364
MBSEsec: Model-Based Systems Engineering Method for Creating Secure Systems
2020
Applied Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2011
Innovations in Systems and Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2019
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
, 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
2015
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2012
Concurrent Engineering - Research and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2007
19th Euromicro Conference on Real-Time Systems (ECRTS'07)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
-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
2015
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2020
Security and Communication Networks
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2014
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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