UML has been widely accepted by the software community for several years. As electronic
systems design can no longer be seen as an isolated hardware design activity, UML …

Although MBSE has made great strides in offering better ways to perform systems
engineering, it has not yet incorporated the myriad physics-based models generated by the …

Critical embedded systems-eg, automotive systems-are now commonly distributed, thus
exposing their communication links to attackers. The design of those systems shall therefore …

The design of a mechatronic system (MTS) is not a trivial task due to the complexity of the
systems. The evaluation of various design scenarios for the given requirements of a specific …

Despite “cyber” being in the name, cyber–physical systems possess unique characteristics
that limit the applicability and suitability of traditional cybersecurity techniques and …

Model-based systems engineering (MBSE) is becoming a promising solution for the design
of mechatronic systems with the increasing of complexity. To facilitate system design …

Using UML or SysML models in a verification-centric method requires a property expression
language, a formal semantics, and a tool. The paper introduces TEPE, a graphical TEmporal …

Methods, mediums and systems are provided to enable a user to program the behaviors of a
Unified Modeling Language (UML) model in a graphical programming or modeling envi …

The authors propose an extension of SysML which enables description of continuous-time
behavior. The authors also develop its execution tool integrated on Eclipse-based platform …

This paper presents the results of a pilot study designed to evaluate the effect of attending
an intensive remedial course (8 hours worth of work during one week) based on desktop …