All Posts in Category: News

Precise Semantics for Uncertainty Modeling (PSUM) RFP Issued!

Precise Semantics for Uncertainty Modeling, Request for Proposals (RFP) was issued at the Object Management Group (OMG) meeting that took place in Burlingame, San Francisco, USA, in December 2017. The process included four steps. First, a presentation of the RFP was given to the Architecture Board (AB) of OMG on Monday, December 4, 2017. The board provided feedback on the RFP. The RFP was revised based on the feedback. Second, the revised RFP was presented to Analysis and Design Task Force (ADTF) on Wednesday, December 6, 2017, for voting for issuance. The RFP was voted for issuance by the ADTF members. Third, on Thursday, December 8, 2017, the revised RFP was presented to the AB board again to be voted for issuance, which was successfully voted for issuance. Fourth, the Platform Technical Board, on Fr, day December 9, voted to issue the RFP formally. The RFP is published here:

The RFP team included:

  • Simula Research Laboratory, Norway
  • Malina Software Corporation, Canada
  • Carnegie Mellon University, USA
  • VDMbee, Netherlands
  • Airbus Defence and Space SAS, USA
  • Helmut Schmidt University, Germany
  • Technical University of Munich, Germany
  • University of L’Aquila, Italy
  • Beihang University, China
  • TU Wien (TUW), Austria
  • Lone Star, USA
  • KTH Royal Institute of Technology, Sweden
  • RISE Safety and Transport/Electronics/RISE Sweden, Sweden
  • SOFTEAM, France
  • Fraunhofer FOCUS, Germany
  • Sheffield Hallam University, UK
  • University of Malaga, Spain
  • TU Wien (TUW), Austria
  • Easy Global Market, France
  • Benchmark Consulting, Canada
  • Tata Consultancy Services Limited, India
  • National University of Computer and Emerging Sciences (FAST – NU) – Islamabad Campus, Pakistan
  • Nanjing University of Aeronautics and Astronautics, Nanjing, China
Read More

Academic Showcase at ASEC, INCOSE

The U-Test academic showcase was selected to be presented during the Annual Systems Engineering Conference (ASEC) organized by The International Council on Systems Engineering (INCOSE). The ASEC conference took place at the University of Warwick, United Kingdom. The participation was partly funded by Dyson and INCOSE.
Further details can be found here:

Read More
In the photo (from left to right): Phu Nguyen, Shaukat Ali, Julien Botella, Luca Berardinalli, Ben-Håkon Lauritzen, Maged Elaasar, Marc-Florian Wendland, Malin Hedman, Bruno Legeard, Tao Yue, Oscar Okariz, Karmele Intxausti, Andreas Hoffmann, Man Zhang, Waqar Ahmed, Martin Schneider, Cesar Cuevas, Hong-Linh Truong.

The Sixth General Assembly of U-Test in Vienna, 2017

During 17-18 October 2017, the U-Test project members gathered at the Technical University of Vienna (TUW) in the capital of Austria for their six general assembly (GA). We reviewed the latest status of all work packages, and made agreements on the key steps until the final project review in Brussels early next year.

Entering the last three months of the project, the GA in Vienna is well timed for the project members to review the latest progress, and plan the last steps to complete the remaining work. After nearly three years, the U-Test project has delivered remarkable research results, standardization initiatives, and tool chains. Technology transfer activities to the pilots of the project have been focused in the last year. At the GA, EGM demonstrated a new version of the testing tool chain U-CertifyIt. The entire U-Test consortium is keeping up the momentum of good work in all the remaining work packages until the end of the project. The year 2017 has also showed the remarkable efforts of project members in dissemination and exploitation activities to promote the project’s results and tool chains.

The sixth GA of U-Test consortium was successful. We have made agreements among all the partners on the key steps to complete the remaining work and prepare for the final project review early 2018. Many thanks to all the participants, and especially the great hospitality by the TUW team in Austria!

In the photo (from left to right): Phu Nguyen, Shaukat Ali, Julien Botella, Luca Berardinalli, Ben-Håkon Lauritzen, Maged Elaasar, Marc-Florian Wendland, Malin Hedman, Bruno Legeard, Tao Yue, Oscar Okariz, Karmele Intxausti, Andreas Hoffmann, Man Zhang, Waqar Ahmed, Martin Schneider, Cesar Cuevas, Hong-Linh Truong.


Read More

U-test at the ISSE 2017

U-test was one of the participants presenting a tutorial on Uncertainty-wise Testing of Cyber-Physical Systems at the 2017 IEEE International Symposium on Systems Engineering. The symposium took place from 11th till 13th October 2017 in Vienna. This tutorial gave a lecture on how U-test’s modelling solution implemented in IBM Rational Software Architect can be used to create test ready models of a Cyber-Physical System (CPS) under test with UncerTum. In addition, we described how this test case generation support (UncerTest) can be used to generate executable test cases from the created test ready models and use these to test a CPS under uncertainty.

Find out more about the event here:

About the symposium: “This symposium seeks to create an interactive forum for the advancement of the practice of systems engineering across the multiple disciplines and specialty areas associated with the engineering of complex systems.”

Read More

U-test took part in the fifth UCAAT in Berlin

From October 11-13, 2017, U-test took part in the fifth User Conference on Advanced Automated Testing (UCAAT) in Berlin. This year’s conference was organised by one of U-test partners, Fraunhofer FOKUS and its focus was on testing the Internet of Things (IoT). IoT has been blurring lines between verticals such as telecom, transport, enterprise IT, automotive and leading to the emergence of a unified technology platform. Despite years of standardization, the growth of deployed solutions is still offering the diversity common to major steps in technology. UCAAT gave attendees a unique opportunity to discover, share, learn challenge – modern test automation approaches, technologies and strategies.

U-test partners held three presentations. First one was by the conference organisers, Fraunhofer FOKUS, on Testing Non-Functional Quality Characteristics of Cyber-Physical Systems. Cyber-physical systems face specific challenges when being tested, in particular with respect to quality aspects such as reliability, security and safety aspects. The presentation discussed the abovementioned challenges and proposed a novel solution based on uncertainty and search-based testing of cyber-physical systems. The integration of the proposed approach in a tool for model-based testing (Fokus!MBT) was also shown. Second presentation held by TU Wien was on Combining Model-driven Engineering and Elastic Execution for Testing Uncertainty in cyber-physical systems (CPS). Its main area of focus was on reporting experiences and challenges on combining model-driven engineering (MDE) methodologies with elastic execution models to design and test the uncertainty of real-world CPS. The third presentation prepared by Simula was in a form of a poster focused on uncertainty-wise and model-based testing frameworks. The frameworks are specifically developed for testing CPS under uncertainty. To promote the application of these uncertainty-wise and model-based testing frameworks in industry, some have already been implemented in the Certifylt tool – a commercial model-based testing tool.

Find out more about the event here:

About the conference: “ETSI’s UCAAT Conference is dedicated to application aspects of automated testing including model-based testing, cloud testing, mobile testing, test methodologies, test management and standardized test specification by focusing on the practical challenges that are often faced in industry.

Read More

A Journal’s Special Issue and a Workshop co-organised by U-Test members

The Journal “IET Cyber-Physical Systems: Theory and Application” is calling for submissions to the Special Issue on Verification and Validation of Cyber-Physical Systems.

More details can be found in this call:

Submission Deadline: February 2018
Publication Date: December 2018

On a similar note, the First International Workshop on Verification and Validation of Internet of Things (VVIoT) is calling for papers. The VVIoT will be a forum for academics, industrial researchers, developers and practitioners to discuss challenges and advances in Verification and Validation of Internet of Things.

This event, which is co-located with ICST 2018, will be held on the 9th of April 2018 in Vasterås, Sweden.
More details can be found in the attached PDF Call For Papers.

Submission Deadline: 12th of January, 2018
Notification Date: 19th of February, 2018
Camera Ready: 28th of February, 2018

Read More

U-test at IoT World Congress in Barcelona

This week U-test is presenting the tool-chain and the project’s results at the IoT Solutions World congress in Barcelona. From October 3-5, 2017, the congress’ participants coming from a variety of IoT domains such as health, transport, smart cities, industry and agriculture, have the possibility to discover the benefits of this new field of IoT Testing. Demonstrating the U-Test testing framework, we show how this can be instrumental in risk detection for large-scale IoT deployment and in automated test generation based on uncertainty modeling.

Find out more about the event here:

About the congress: “IoT Solutions World Congress is committed to providing its attendees with real world use cases to educate IoT professionals about how to best evaluate and deploy Industry IoT opportunities to improve business outcomes.

Read More

U-Test featured at ODIN 2017

On Wednesday, September 20th, the U-Test project featured at the Norway’s biggest conference in Software testing “ODIN 2017”. Odin 2017 was an all-day event with 3 tracks and 21 lecturers. The conference took place at the Radisson Blu Scandinavia Hotel in Oslo.

This year’s theme is: Visionist, nostalgic – or both? The presentation of the U-Test project was totally fit with the theme by showing the vision of uncertainty testing for Cyber-Physical Systems (CPS). Phu Nguyen from Simula Research Lab represented the project consortium to promote the research results and toolchains developed in the project to the software testing community in Norway. The presentation started by highlighting the key role of CPS in the fourth industrial revolution and emphasizing the importance of uncertainty testing to make CPS more dependable. Then, the uncertainty modelling, testing frameworks and toolchains have been presented. Finally, the demonstration of the U-CertifyIt toolchain developed by EGM gave the audience a practical example of U-Test approach.

The presentation of U-Test received positive feedback from the audience (4/5 star). Part of the audience filled in the forms to share their thoughts and interests in learning more about the U-Test project and toolchains for uncertainty testing.

Read the full program:

About ODIN conference: “The conference has been named after Odin, the God of knowledge and wisdom in Norwegian mythology. Odin was the chief of gods, the most powerful and wisest of all of them.”

Read More

U-Test’s members contributed to the adoption of the UML Testing Profile V.2

The Object Management Group (OMG) voted to adopt the UML Testing Profile (UTP) V.2 standard lead by Fraunhofer FOKUS. The OMG Technical Meeting took place in Brussels (June 5 to June 9, 2017).

Fraunhofer FOKUS (Germany) and SOFTEAM (France) lead the development of the UTP specification. Other contributing organisations are PTC Inc., United Kingdom and USA, Hamburg University of Applied Science, Germany, KnowGravity Inc., Switzerland, Grand Software Testing, USA, SELEX SI, Italy, and Simula Research Lab, Norway.

After the adoption, the standardisation activity enters the Finalization Task Force (FTF) phase.

Read More

U-Test’s presentations in the Object Management Group Meeting in Brussels

5-9 June 2017, representatives from the U-Test consortium participated in the Object Management Group (OMG) meeting held in Brussels.

On June 7, Marc-Florian Wendland from Fraunhofer FOKUS presented the revised version of the UML Testing Profile (UTP) to the ADTF. OMG voted to adopt the revised UTP. The next phase of in the standardization activity is the Finalization Task Force (FTF). FTF aims at transforming the adopted specification into a formal specification.

As reported early, U-Test project members initiated the new Uncertainty Modelling (UM) standard. The researchers from Simula presented the current progress of UM in the ADTF meeting of OMG. Particularly, the responses that were collected from the RFI were analysed and presented to the ADTF. After the RFI was the kick-off the Request for Proposals (RFP) phase of the standardization activity. A wiki page for this standardization activity has been created on the OMG website. The wiki is continuously updated. Please check the following link for details:

Read More