UML-Based Modeling and Simulation of Environmental Effects in Networked Embedded Systems

The behavior of Networked Embedded Systems (NES) is not only driven by network components but also by the surrounding environment. To verify the correct behavior of such systems, different tests should be performed under different environmental conditions. The complexity and expense of testing such systems in real environments leads us to propose a simulation-based approach to tackle this problem. In this work, we propose UML-based methodology and a framework for modeling NES applications together with the environment and a mechanism to automatically generate simulation code for design verification. The approach is supported by a novel UML profile and a set of tools for simulation code generation.

[1]  Emad Samuel Malki Ebeid,et al.  Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification , 2012, 2012 IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS).

[2]  Thomas Lambolais,et al.  UML extensions for the specification and evaluation of latency constraints in architectural models , 2000, WOSP '00.

[3]  Franco Fummi,et al.  Modeling of Communication Infrastructure for Design-Space Exploration , 2010, FDL.

[4]  Andreas Hennig,et al.  From UML to Performance Measures - Simulative Performance Predictions of IT-Systems using the JBoss Application Server with OMNET++ , 2003 .

[5]  Emad Samuel Malki Ebeid,et al.  Generation of VHDL Code from UML/MARTE Sequence Diagrams for Verification and Synthesis , 2012, 2012 15th Euromicro Conference on Digital System Design.

[6]  P. S. Thiagarajan,et al.  Model-driven SoC design via executable UML to SystemC , 2004, 25th IEEE International Real-Time Systems Symposium.

[7]  Martin Höst,et al.  UML and SystemC - Comparison and Mapping Rules for Automatic Code Generation , 2007, FDL.

[8]  Emad Samuel Malki Ebeid,et al.  Refinement of UML/MARTE models for the design of networked embedded systems , 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[9]  Franco Fummi,et al.  HIFSuite: Tools for HDL Code Conversion and Manipulation , 2010, 2010 IEEE International High Level Design Validation and Test Workshop (HLDVT).

[10]  Lionel C. Briand,et al.  Environment modeling with UML/MARTE to support black-box system testing for real-time embedded systems: methodology and industrial case studies , 2010, MODELS'10.

[11]  Ammar Botonjić UML - Unified Modeling Language - Use Case Diagram , 2015 .