All posts by Shaukat Ali

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: http://www.omg.org/cgi-bin/doc?ad%2F2017-12-01

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
  • NASA JPL, USA
  • 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: http://incoseonline.org.uk/ASEC2017/

Read More

U-Test for the reliability of IoT solutions in the healthcare sector

On March 9th 2017, Oslo Medtech and other representatives of U-Test project hosted a workshop with the theme of IoT solutions in the healthcare sector. The workshop was held in Oslo Science Park and introduced the U-Test’s values for the reliability of IoT solutions in the healthcare sector.

In addition to the presentations of U-Test’s members, the workshop also involved the presentations of policy makers (from the Norwegian Directorate of eHealth) and other local projects in the healthcare sector in Norway.

Bent-Håkon Lauritzen from Oslo Medtech was the host and the event introduced Oslo Medtech.

He then gave the floor to Roar Olsen, the director for eHealth in Norway to present about the policies and challenges for implementation of embedded systems within healthcare in Norway.

Waqar Ahmed is the project coordinator and guided us through the main session of U-Test’s presentations.

Nordic Medtest has been running one of the pilots in the U-test project and Robert Magnusson presented the GeoSport case study. This is providing research and tool experimentations in the projects.

Phu Nguyen from Simula Research Lab and Bruno Legeard, the CTO from Easy Global Market (EGM) represented the research partners in U-Test. They presented the U-Test approaches for uncertainty testing of CPS/IoT, how uncertainty theories were studied that led to the creation of Uncertainty Taxonomy and finally showed how the testing approaches from research have been implemented into testing tools developed by EGM.

The latest version of U-CertifyIt was demonstrated to the audience that showed a highly automated tool support to generate test cases for tackling uncertainties in CPS/IoT systems. The “U-Test” session received good attention from the audience with highly interactive Q&A after each presentation.

To make it more practical, we had invited two projects from healthcare.  The first project EVIK project from the Department for e-health Municipality of Oslo, presented by Kjetil Moberg. His informative presentation gave the audience good insight into an IoT project for the public with all the challenges – from technical to human-related.

Following the EVIK presentation, the “Hospital at home: Information flow and operation of devices” from the project Medicloud. André Barkhald from Sykehuspartner inspired the audience on the development of Medicloud as the centre for connected care empowered by IoT and Data centres.

We concluded the seminar with workshops where we addressed the risks and challenges with integrated homecare solutions and IoT for healthcare in general.

Read More

OMG hosted a Webinar “Introduction to Uncertainty Modelling” presented by U-Test project members

Context: New technologies usually emerge and old technologies often evolve throughout the years. In this context, technology standards always play a key role in providing real-world value for technical-driven industries. Internationally recognised standardisation bodies such as the Object Management Group (OMG) drive the standardisation process by developing the integration standards for a wide range of technologies and an even wider range of industries. Therefore, the U-Test project team fully develop our technical solutions on existing and widely adopted standards such as OMG’s modelling standards, including the Unified Modelling Language (UML) and UML Testing Profile (UTP). We understand that this is an important strategy to improve the competitiveness of the consortium.
Furthermore, we even contribute in developing the standards with the U-Test’s results. To this end, U-Test team has been closely working with OMG towards standardising our Uncertainty Modelling approach. As a step closer towards standardising Uncertainty Modelling, OMG (represented by Andrew Watson, Vice President and Technical Director) hosted a webinar entitled “Introduction to Uncertainty Modelling” on January 25th, 2017. In the webinar, Tao Yue, Shaukat Ali, and Bran Selic presented the Uncertainty Modelling RFI (Request For Information). This is a big step in the standardisation activities of the project, a corner stone for building U-Test’s community. The webinar aimed at promoting the current Uncertainty Modelling approach of U-Test, and calling for feedbacks from the community. We are aware that uncertainty is a research topic shared in various fields including philosophy, physics and finance. The webinar went well with 215 registered, 137 live viewings, 123 downloads as counted 1 week after the webinar. More information about the webinar and the webinar itself can be found in this link: Uncertainty Modeling Webinar
For the latest news about the Uncertainty Modelling (UM) Standard, please check out the OMG wiki of Uncertainty Modelling
Read More

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.

Read More

keynote at NASAC 2016

Tao Yue from Simula Research Laboratory gave a keynote on “Discovering and Testing Unknown Uncertainties of Cyber-Physical Systems” at National Software Application Conference (NASAC) in Kunming, China. NASAC is the biggest software engineering conference in China. More details can be found here

The abstract of the keynote was: Cyber-Physical Systems (CPSs), when deployed for real applications, are inherently prone to uncertainty. Considering their applications in critical domains, it is important that such CPSs are tested sufficiently, with the consideration of uncertainty, before they are deployed for their intended applications. However, existing methodologies can only test a CPSs under known uncertainties. Thus, it is very necessary to develop novel methodologies that can discover and therefore test CPSs under unknown uncertainties. In this talk, I will present a framework for evolving test ready models (specified with extended UML notations) of CPSs under uncertainty. The key inputs for the framework (named as U-Evolve) include initial test ready models of CPSs with known subjective uncertainty and real data collected from their applications. The output is evolved test ready models with newly discovered “unknown” uncertainty. I will also present a Model-Based Testing framework for testing CPSs under uncertainties, which consists of an Uncertainty Modeling Framework (UMF) for modeling test ready models and an Uncertainty Testing Framework (UTF) for automatically and systematically generating executable test cases, and integrates with the Modeling and Analysis of Real-Time and Embedded Systems (MARTE) and the UML Testing Profile (UTP) V.2. The U-Evolve, UMF and UTF are an integrated solution developed in the context of a large EU Horizon 2020 project: U-Test (http://www.u-test.eu/).

Read More

U-Taxonomy Presentation at NASA JPL, Pasadena, CA

Researchers from Simula Research Laboratory gave a presentation about the U-Test project to the researchers at the NASA Jet Population Laboratory (JPL), Pasadena, CA, USA on December 7, 2015. The presentation included an overall view of the U-Test project in addition to an in-depth presentation on the Uncertainty Taxonomy developed in the first phase of the project. In total 10 people from the JPL participated in the meeting including Maged Elaasar (right side of the picture), who is one of the advisory board members of U-Test.

Read More

U-Test is participating in the De-CPS 2015 workshop

As a part of initiative to find possible synergies and collaboration among the other EU projects on Cyber-Physical Systems, U-Test is participating in the De-CPS 2015 workshop.

This participation involves the following aspects:

  1. Presenting the U-Test project.
  2. Current status of the results.
  3. Reporting on the standardisation activities in which U-Test is involved.
  4. Participation in the panel discussion to find synergies and possible collaborations among the EU projects.

More details can be found here:
https://ae2015.dit.upm.es/De-CPS.html

Read More