Participation at the MPM4CPS COST Action Event

Several U-Test participants attended a workshop on modeling of Cyber-Physical Systems (CPSs) organized by MPM4CPS IC1404 COST action. In particular, participants from U-Test Consortium gave two talks and one demo. The first talk was about U-RUCM, which is a tool developed in the U-Test project about specifying uncertainty in requirements. The second talk was about U-Testing aimed at supporting test case generation from test ready models developed with Uncertainty Modeling Framework. The demo was about UncerTest, i.e., an uncertainty-wise test case generation tool implementing U-Testing. The demo showed the entire process from creating test ready models with uncertainty on a real case study, test case generation, and test case execution on the real case study at the runtime. The participants were funded by the COST action.