Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems

Kaiser, Lydia; Dumitrescu, Roman; Holtmann, Jörg; Meyer, Matthias

doi:10.1115/detc2013-12330

Cited by 13 publications

(4 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…This defines a requirements diagram and several structure and behavior diagrams. In order to be able to use the CONSENS method in combination with SysML, we use a corresponding SysML profile (Dumitrescu et al, 2013). Profiles allow the modelling language to be extended by adding further stereotypes.…”

Section: Consens Methods and Sysml4consens-profilementioning

confidence: 99%

Method for 3d-Environment Driven Domain Knowledge Elicitation and System Model Generation

Japs

Kaiser

Kharatyan

2020

Proc. Des. Soc.: Des. Conf.

View full text Add to dashboard Cite

The development of cyber-physical systems requires close cooperation between stakeholders from different disciplines. Model-based systems engineering support this by the design of a system model. Non-identified domain knowledge by the stakeholders is a challenge when creating the system model. The CONSENS 3D-Modeling Method supports the domain-independent elicitation of domain knowledge using a 3D environment and enables the derivation of a SysML system model. We applyed the method by implementing a prototype, called 3D Engineer, to an application example from the automotive industry.

show abstract

Section: Consens Methods and Sysml4consens-profilementioning

confidence: 99%

Method for 3d-Environment Driven Domain Knowledge Elicitation and System Model Generation

Japs

Kaiser

Kharatyan

2020

Proc. Des. Soc.: Des. Conf.

View full text Add to dashboard Cite

show abstract

“…We implemented the mappings with the Eclipse implementation of QVT operational (QVT‐O) model transformations. The source model is a system model specified in a C onsens language variant based on the SysML profile SysML4Consens in the UML/SysML modeling tool Papyrus . The target model is an MSD specification for hierarchical component architectures based on the UML/SysML modal profile provided by the S cenario T ools MSD tool suite.…”

Section: Methodsmentioning

confidence: 99%

Integrated and iterative systems engineering and software requirements engineering for technical systems

Holtmann

Bernijazov

Meyer

et al. 2016

J Software Evolu Process

Self Cite

View full text Add to dashboard Cite

The development of software-intensive technical systems involves several engineering disciplines like mechanical, electrical, control, and particularly software engineering. Model-based Systems Engineering (MBSE) coordinates these disciplines throughout the development by means of discipline-spanning processes and a system model. Such a system model provides a common understanding of the system under development and serves as a starting point for the discipline-specific development. An integral part of MBSE is the requirements engineering on the system level. However, these requirements need to be refined for the discipline-specific development to start, for example, into specific requirements for the embedded software. Because existing MBSE approaches lack support for this refinement step, we conceived in previous work a systematic transition from MBSE to model-based software requirements engineering

show abstract

“…This defines a requirements diagram and several structure and behavior diagrams. In order to be able to use the CONSENS method in combination with the modeling language SysML, we use a corresponding SysML4CONSENS profile (Dumitrescu, 2013). Profiles allow the modelling language to be extended by adding further stereotypes.…”

Section: Fundamentalsmentioning

confidence: 99%

Resolution of Safety Relevant Security Threats in the System Architecture Design Phase on the Example of Automotive Industry

Japs

Anacker

2021

Proc. Des. Soc.

View full text Add to dashboard Cite

Cyber-physical systems (CPS), like autonomous vehicles, are intelligent and networked. The development of such systems and its components requires interdisciplinary cooperation between different stakeholders. A lack of system understanding between stakeholders can lead to unidentified and unresolved security threats & safety hazards in early engineering phases, resulting in high costs in product development and potentially compromises compliance with the safety of CPS.Model-based systems engineering (MBSE) improves the system understanding between stakeholders by using models.However, MBSE approaches only partially address security threats & safety hazards. In particular, their integrative consideration is not taken into account.Established security & safety approaches are either only applicable to specific disciplines or only partially consider security threats & safety hazards.In the context of this paper we present a method for the resolution of safety relevant security threats in the system architecture design phase using design patterns.We illustrate our approach with the example of the automotive sector.Finally, we present an evaluation of the method, based on an 8 week project with 67 master students.

show abstract

Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems

Cited by 13 publications

References 0 publications

Method for 3d-Environment Driven Domain Knowledge Elicitation and System Model Generation

Method for 3d-Environment Driven Domain Knowledge Elicitation and System Model Generation

Integrated and iterative systems engineering and software requirements engineering for technical systems

Resolution of Safety Relevant Security Threats in the System Architecture Design Phase on the Example of Automotive Industry

Contact Info

Product

Resources

About