Results 151 to 160 of about 4,434 (204)
Some of the next articles are maybe not open access.
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 +2 more sources
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 +2 more sources
2014 IEEE International Conference on Automation Science and Engineering (CASE), 2014
As robotics continues to integrate into society, systems and interactions become increasingly complex. To be able to accurately model such systems, a method is needed that can scale with this complexity, but that can also be standardized. This paper proposes the use of the Systems Modeling Language, or SysML, as such a modeling approach.
Jacob Huckaby, Henrik I. Christensen
openaire +1 more source
As robotics continues to integrate into society, systems and interactions become increasingly complex. To be able to accurately model such systems, a method is needed that can scale with this complexity, but that can also be standardized. This paper proposes the use of the Systems Modeling Language, or SysML, as such a modeling approach.
Jacob Huckaby, Henrik I. Christensen
openaire +1 more source
2014
SysML is a UML-based graphical notation for systems engineering that is becoming a de facto standard. Whilst it reuses a number of UML diagrams, it introduces new diagrams, and maintains the loose UML semantics. Refinement is a formal technique that supports the validation and verification of models by capturing a notion of correctness based on ...
Alvaro Miyazawa, Ana Cavalcanti 0001
openaire +1 more source
SysML is a UML-based graphical notation for systems engineering that is becoming a de facto standard. Whilst it reuses a number of UML diagrams, it introduces new diagrams, and maintains the loose UML semantics. Refinement is a formal technique that supports the validation and verification of models by capturing a notion of correctness based on ...
Alvaro Miyazawa, Ana Cavalcanti 0001
openaire +1 more source
2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), 2005
Summary form only given. Since its adoption in 1997, the unified modeling language (UML) has proved very popular with software engineers and has become the de facto standard as a visual modeling language for software engineers. However, this software focus of UML has discouraged many systems engineers from adopting it in earnest.
openaire +1 more source
Summary form only given. Since its adoption in 1997, the unified modeling language (UML) has proved very popular with software engineers and has become the de facto standard as a visual modeling language for software engineers. However, this software focus of UML has discouraged many systems engineers from adopting it in earnest.
openaire +1 more source
2015
Regarding the increasing complexity of today’s systems, system engineering domain knows a constant evolution in term of processes and paradigms (Object Oriented, Component Oriented). SysML constitutes a new trends of system engineering which allows to model the system as a set of blocks. In this paper, we propose a bottom-up approach to build a system,
Hamida Bouaziz +3 more
openaire +2 more sources
Regarding the increasing complexity of today’s systems, system engineering domain knows a constant evolution in term of processes and paradigms (Object Oriented, Component Oriented). SysML constitutes a new trends of system engineering which allows to model the system as a set of blocks. In this paper, we propose a bottom-up approach to build a system,
Hamida Bouaziz +3 more
openaire +2 more sources
INCOSE International Symposium, 2010
AbstractThe OMG Systems Modeling Language (OMG SysML™) is a general‐purpose, graphical, modeling language for specifying, analyzing, designing, and verifying complex systems that may include hardware, software, information, personnel, procedures, and facilities.
Sanford Friedenthal, Joseph A Wolfrom
openaire +1 more source
AbstractThe OMG Systems Modeling Language (OMG SysML™) is a general‐purpose, graphical, modeling language for specifying, analyzing, designing, and verifying complex systems that may include hardware, software, information, personnel, procedures, and facilities.
Sanford Friedenthal, Joseph A Wolfrom
openaire +1 more source
A SysML profile for mechanical assembly
2020 IEEE International Systems Conference (SysCon), 2020The design of a mechanical assembly is a complex task that requires system engineering approach. Today, there is a lack of continuity between the work of system engineer who has a global view on the system and the specialist in CAD development who implements the CAD model of the assembly.
Rihab Brahmi +4 more
openaire +3 more sources
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.
Ileana Ober +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.
Ileana Ober +3 more
openaire +2 more sources
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.
Alvaro Miyazawa +2 more
openaire +2 more sources
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.
Alvaro Miyazawa +2 more
openaire +2 more sources
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