MOdel-based DEsign & Verification for Safety-Critical Embedded Systems

Towards the Tools Selection in Model Based System Engineering for Embedded Systems - A Systematic Literature Review

The objective of this SLR is to identify latest MBSE approaches to perform different activities for embedded systems development. In this SLR, we do not restrict our self to any particular conditions. For example, we consider all research works relevant to any of the modeling, model transformation and verification activities for the development of embedded systems. The significant details are summarized below: :-

Back to Project Status