Results 21 to 30 of about 8,831 (214)
SysML contracts for systems of systems [PDF]
2014 9th International Conference on System of Systems Engineering (SOSE), 2014 This paper proposes and demonstrates an architectural pattern for the contractual specification of interfaces between constituent systems within a System of Systems (SoS). We take a structured approach to the development of the pattern, which we call the Contract Pattern. It is developed and demonstrated in SysML using a case study from the Audio/Video
Jeremy W. Bryans +4 more
openaire +1 more source
Clafer: Lightweight Modeling of Structure, Behaviour, and Variability [PDF]
, 2018 Embedded software is growing fast in size and complexity, leading to intimate mixture of complex architectures and complex control. Consequently, software specification requires modeling both structures and behaviour of systems.
Antkiewicz, Michal +5 more
core +2 more sources
A SysML Method with Network Dimensioning [PDF]
2019 International Symposium on Systems Engineering (ISSE), 2019 Acceptance of the Systems Modeling Language (SysML) among system engineers heavily depends on the method and tool associated with the language. This particularly applies to a family of systems where increasing data exchanges between equipments create high requirements for the networks.
Daigmorte, Hugo +2 more
openaire +2 more sources
On the Meaning of SysML Activity Diagrams [PDF]
2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009 In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational semantics that provides a rigorous and intuitive operational understanding of the behavior captured by the diagram.
Yosr Jarraya +2 more
openaire +1 more source
Nihon Kikai Gakkai ronbunshu, 2016 Thermal design of electronic products has become increasingly complicated with leakage current characteristics and their variation of semiconductors.
Yoshio MURAOKA +2 more
doaj +1 more source
Synthesis of a Controller Algorithm for Safety-Critical Systems
IEEE Access, 2022 Systems of today are becoming more complex; they have many levels of the control hierarchy, are software-intensive, use different networks, have increasing processing power, use a diversity of devices, and require more integration.
Fellipe Guilherme Rey de Souza +2 more
doaj +1 more source
IoTsecM: A UML/SysML Extension for Internet of Things Security Modeling
IEEE Access, 2021 In this paper, an approach referred to as IoTsecM is proposed. This proposal is a UML/SysML extension for security requirements modeling within the analysis stage in a waterfall development life cycle in a Model-Based Systems Engineering Approach ...
Ponciano Jorge Escamilla-Ambrosio +5 more
doaj +1 more source
Ensuring Semantic Consistency in SysML v2 Models Through Metamodel-Driven Validation
IEEE AccessModel-Based Systems Engineering (MBSE) relies on formal models for system lifecycle management, supporting model coherence and efficient reuse of components.
Eduardo Cibrian +5 more
doaj +1 more source
Towards Holistic System Models Including Domain-Specific Simulation Models Based on SysML
Systems, 2021 In the face of the rapid growth in the scale and complexity of multidisciplinary systems, being able to develop reliable systems under ever-faster changing and more individual market requirements is becoming more and more challenging.
Yizhe Zhang +4 more
doaj +1 more source
Identifying attack surfaces in the evolving space industry using reference architectures [PDF]
, 2020 The space environment is currently undergoing a substantial change and many new entrants to the market are deploying devices, satellites and systems in space; this evolution has been termed as NewSpace.
Atmaca, Ugur Ilker +4 more
core +1 more source