Results 181 to 190 of about 12,399 (229)
Some of the next articles are maybe not open access.
AI-Driven Consistency of SysML Diagrams
ACM/IEEE International Conference on Model Driven Engineering Languages and SystemsGraphical modeling languages, expected to simplify systems analysis and design, present a challenge in maintaining consistency across their varied views.
Bastien Sultan, L. Apvrille
semanticscholar +1 more source
Translating SysML Activity Diagrams for nuXmv Verification of an Autonomous Pancreas
Annual International Computer Software and Applications Conference, 2022Model Based Systems Engineering (MBSE) provides a single platform capable of defining complex, multidisciplinary systems, but commonly-used tools such as Systems Modeling Language (SysML) lack the ability to formally validate and verify these systems ...
Orion Staskal +3 more
semanticscholar +1 more source
Digital requirements engineering with an INCOSE-derived SysML meta-model
arXiv.orgTraditional requirements engineering tools do not readily access the SysML-defined system architecture model, often resulting in ad-hoc duplication of model elements that lacks the connectivity and expressive detail possible in a SysML-defined model ...
James S. Wheaton, Daniel R. Herber
semanticscholar +1 more source
Simulating SysML transportation models
2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2016Model-based Systems Engineering (MBSE) promises efficient and effective systems development, by providing integrated system model views and streamlining the transition between different development activities. For instance, system testing with simulation should be provided as a simple facility for the performance evaluation of complex systems ...
Christos Kotronis +5 more
openaire +1 more source
2012 IEEE 13th International Conference on Information Reuse & Integration (IRI), 2012
Often designated as a UML profile for system modeling, SysML brings some changes that enhance the possibilities of describing systems specificities, but raise new criticisms on the language interpretation. In the last SysML standard document, the new concepts are presented in an informal manner and the revised ones are often described in a way that ...
Thouraya Bouabana-Tebibel +2 more
openaire +1 more source
Often designated as a UML profile for system modeling, SysML brings some changes that enhance the possibilities of describing systems specificities, but raise new criticisms on the language interpretation. In the last SysML standard document, the new concepts are presented in an informal manner and the revised ones are often described in a way that ...
Thouraya Bouabana-Tebibel +2 more
openaire +1 more source
2011
This chapter describes the nine SysML diagrams. Following this introduction, the terminology used throughout the chapter is explained and the structure of SysML diagrams is discussed. This is followed by a discussion of stereotypes and then of the SysML meta-model, which forms the basis of this chapter.
openaire +1 more source
This chapter describes the nine SysML diagrams. Following this introduction, the terminology used throughout the chapter is explained and the structure of SysML diagrams is discussed. This is followed by a discussion of stereotypes and then of the SysML meta-model, which forms the basis of this chapter.
openaire +1 more source
2013
In this paper, we propose a formalisation of SysML blocks based on a state-rich process algebra that supports refinement, namely, CML. We first establish a set of guidelines of usage of SysML block definition and internal block diagrams. Next, we propose a formal semantics of SysML blocks described by diagrams that conform to our guidelines.
Miyazawa A., Lima L., Cavalcanti A.
openaire +1 more source
In this paper, we propose a formalisation of SysML blocks based on a state-rich process algebra that supports refinement, namely, CML. We first establish a set of guidelines of usage of SysML block definition and internal block diagrams. Next, we propose a formal semantics of SysML blocks described by diagrams that conform to our guidelines.
Miyazawa A., Lima L., Cavalcanti A.
openaire +1 more source
Innovations in Systems and Software Engineering, 2011
Recent years have seen a manifest increase in the use of modelling by the embedded systems industry. UML and SysML are two examples of languages used in this context. One of the reasons why the use of models is interesting is the possibility to perform early verification, validation and testing.
Ober, Ileana +3 more
openaire +2 more sources
Recent years have seen a manifest increase in the use of modelling by the embedded systems industry. UML and SysML are two examples of languages used in this context. One of the reasons why the use of models is interesting is the possibility to perform early verification, validation and testing.
Ober, Ileana +3 more
openaire +2 more sources
ATZelektronik, 2006
Die zunehmende Komplexitat heutiger Embedded-Systeme erfordert ausgefeilte Methoden des Systemdesigns. Die Hersteller von Automobilen und anderen Produkten, in denen Embedded-Systeme allgegenwartig sind, mussen sich mit immer neuen Merkmalen vom Mitbewerb absetzen, so dass die Anspruche an die Funktionalitat und Leistungsfahigkeit der elektronischen ...
openaire +1 more source
Die zunehmende Komplexitat heutiger Embedded-Systeme erfordert ausgefeilte Methoden des Systemdesigns. Die Hersteller von Automobilen und anderen Produkten, in denen Embedded-Systeme allgegenwartig sind, mussen sich mit immer neuen Merkmalen vom Mitbewerb absetzen, so dass die Anspruche an die Funktionalitat und Leistungsfahigkeit der elektronischen ...
openaire +1 more source
SysML-Modellierung mit Eclipse-Papyrus
2020Die Sprache SysML ist eine von der Object Management Group (OMG) standardisierte Modellierungssprache fur die Spezifikation, die Analyse, das Design und die Verifikation und Validierung von Systemen und deren Systemelemente wie beispielsweise Software, Hardware, Informationen, Prozesse, Personen und Gegenstande.
openaire +1 more source