UncerTum

WHAT IS UncerTum?

To facilitate model-based testing (MBT) of Cyber-Physical Systems (CPSs) under uncertainty, we proposed Uncertainty Modeling Framework (UncerTum).

Overview of UncerTum


UncerTum allows creating test ready models with uncertainty at three logical testing levels of CPSs: Application, Infrastructure, and Integration. The core of UncerTum is the UML Uncertainty Profile (UUP), which implements an existing uncertainty conceptual model, called U-Model. In addition, UncerTum defines a comprehensive set of UML Model Libraries extending the UML profile for Modeling and Analysis of Real-Time and Embedded Systems (MARTE), which can be used together with UUP. UncerTum also relies on UML Testing Profile (UTP) V.2 to construct test ready models. Finally, UncerTum defines concrete guidelines for supporting the use of UncerTum for creating and validating test ready models with uncertainty. For more information, please find the paper [1] and UncerTum specification [2].

WHAT IS UncerTum USED FOR?

  • Construct test ready model with uncertainty information

WANT TO TRY UncerTum OUT?

A prototype implementation of UncerTum by IBM Rational Software Architect (RSA) can be found here: https://bitbucket.org/ManZH/uncertum-v1.
This implementation includes the profiles and libraries marked as orange. The guidelines marked as blue are presented in the paper.

SETUP INSTRUCTION

UncerTum is a UML-based model project. If you have downloaded project, you can setup following steps:
  1. Import this project in RSA;
  2. Optional import MARTE and libraries;
  3. Optional import UTP and libraries;
  4. Create Model project;
  5. Add UUP core proflie (optional for MARTE and UTP) as Applied Proflies in the "Details" option;
  6. Add Libraries (i.e. Measure Library) as Model Libraries in the "Details" option;

LOOKING FOR MORE INFORMATION?

Related Publications
[1] M. Zhang, S. Ali, T. Yue, R. Norgren, and O. Okariz, Uncertainty-Wise Cyber-Physical System test modeling, Software & Systems Modeling (2017), 2017/07/25, download.
[2] M. Zhang, S. Ali, T. Yue, and P. H. Nguyen, Uncertainty Modeling Framework for the Integration Level V.4, Technical Report 2016-01 Simula Research Laboratory, 2016, download.

Contact

  • Man Zhang, manzhang@simula.no
  • Shaukat Ali, shaukat@simula.no
  • Tao Yue, tao@simula.no