
492 Model-Based Testing for Embedded Systems
The UML (Object Management Group d) is used as a specification language for system
modeling in the project. Additionally, the requirements diagrams of the Systems Modeling
Language (SysML) (Object Management Group c) are used to capture the requirements
of the system in a graphical manner. The No Magic MagicDraw tool was employed to
create the models. MagicDraw is a commercial software and system modeling tool, which
offers support for both UML and SysML. The tool also offers support for automatic code
generation, model validation, model analysis, reporting, etc., and can be extended with the
use of various ...