Results 151 to 160 of about 8,831 (214)

Systematic design of health monitoring systems centered on older adults and ADLs. [PDF]

open access: yesBMC Med Inform Decis Mak
Garcia-Moreno FM   +4 more
europepmc   +1 more source

Formal modeling with SysML

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

A case for SysML in robotics

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

SysML in digital engineering

Proceedings of the First International Workshop on Digital Engineering, 2010
Today, most projects are interdisciplinary. They require expertise from various domains like legal regulations, mechanical restrictions and software engineering. Digital engineering is a relatively new discipline, which aims at minimizing friction losses, when different disciplines meet each other.This paper shows how model-based development on the ...
Matthias Güdemann   +4 more
openaire   +1 more source

Formal Refinement in SysML

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

Home - About - Disclaimer - Privacy