News

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-test third General Assembly in San Sebastián – co-hosted by and ULMA Handling System and IK4-IKLERLAN

U-Test, third general assembly meeting held on 23-25 May 2016 at IK4-IKLERLAN facilities in San Sebastián, Spain. Consortium members, gathered to review and evaluate work in progress and thrive further towards achieving overall project objectives.

The main purpose of the meeting was to review work in progress, achievement of key milestones and plan activities for next 3 – 6 months.

Started in Jan 2015, as of June 2016, the project has reached half way where several work packages are running in parallel and inter dependently. The modelling of use cases and proposing new test strategies is led by research partners Simula Research Laboratory, Fraunhofer Focus and Technical University of Vienna. The industrial partner, Easy Global Markets, is implementing the research results in the modelling and test generation tool CertifyIT and at the same time transferring knowledge to demonstrator sites ULMA handling system and Nordic Medtest for real world test executions, whereas the demonstration sites are developing the pre-requisite infrastructure for test executions.  Furthermore the end customer representing organisations,   FpX, Oslo Medtech, Nordic Medtest, ULMA handling systems and IK4-IKLERLAN are in close collaboration with Easy Global Markets to strategies a successful commercial exploitation of U-Test project results.

The general assembly meeting had perfect timing where the consortium reviewed  all aspects of project execution, any risks that might delay achievement of critical milestones and  a comprehensive contingency plan.

In general, the meeting was successful and a project execution plan for six months ahead has been agreed. Thanks to all the participants and the great hospitality by IIK4-IKLERLAN facilities in San Sebastián.

Read More

U-Test representation at the OMG technical meeting Orlando, Florida, USA

The U-Test team was well represented at the Object Management Group (OMG) technical meeting took place in Orlando, Florida, USA from June 24 to June 24, 2016.

Three presentations were given at the OMG meeting. First presentation was given by Marc-Florian Wendland from Fraunhofer Fokus to the Analysis and Design Task Force (ADTF).

His presentation was on the revised version of the UML Testing Profile (UTP) V.2. It was decided that the UTP V.2 will be voted for adoption in December 2016’s OMG technical meeting.  The second presentation was given by Tao Yue from Simula to the ADTF group. She presented the initial version of the Request for Information (RFI) for the new Uncertainty Modeling standard. The follow-up is that the voting on issuance of RFI will take place in September 2016’s OMG technical meeting. The third presentation was given by Shaukat Ali from Simula to the SE DSIG meeting and System Modeling Assessment & Roadmap WG meeting. The focus was on the presentation of the UML Uncertainty Profile.

There was an interest to investigate the incorporation of Uncertainty Measurement model libraries to the future SysML standard.

Read More

U-Model presentation at ECMFA 2016, Vienna, Austria

U-Model presentation at ECMFA 2016, Vienna, Austria

Man Zhang from Simula presented the following research paper: “Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model”. The paper presented the uncertainty conceptual model for cyber-physical systems (U-Model) that was developed in WP1.

Read more: http://ecmfa2016.itu.dk/

Read More

Presentation of U-Test results at the De-CPS 2016 Workshop

The U-Test project was one of the H2020 CPS projects that was represented at the Workshop Challenges and New Approaches for Dependable and Cyber-Physical System Engineering (De-CPS 2016). The title of the presentation was “Tacking Uncertainty in Cyber-Physical Systems with Automated Testing”.

The aim of the workshop was to exchange results and ideas from the ongoing H2020 CPS projects. Several projects participated in the workshop including INTO-CPS, AXIOM, and PROXIMA. The results of U-Test achieved so far were presented during the workshop in addition to the presentation of the request of information for initiating the standardization of U-Taxonomy.

Read More

All projects in one place during CPS Week in Vienna – Artemis Spring Event 2016

CPS Week is the premier event on Cyber-Physical Systems. It brings together four top conferences, HSCC, ICCPS, IPSN, and RTAS, three summits, six tutorials, 21 workshops, a localization competition and various exhibitions from both industry and academia. Artemis added their Spring Event to this and we all met at the Hofburg Palace in Vienna, Austria.

The second day of the ARTEMIS Spring Event is organized by the Horizon2020 project Road2CPS in collaboration with ARTEMIS-IA and the European Commission. ‘Smart Cyber-Physical Systems – EC Clustering Event’ is the theme of the second day and bring together about 150 experts from academia, industry and policy-making to learn about and discuss highlights of Cyber-Physical Systems projects from Horizon2020 and ARTEMIS. The event was particularly set to foster exchange on and creating synergies regarding CPS innovation
perspectives and generating strategies for the future.

Waqar15 different projects are funded under the European Community’s Horizon 2020 Research and Innovation programme in the area of Smart Cyber-Physical Systems. All projects gave a short introduction and status of where they were in terms of time and deliverables. U-test was there and Hong-Linh Troung did a good job presenting the project, while also Waqar Ahmed and Anita Moe Larsen attended the conference.

We had plenty of time to interact with the people representing the other projects, and it was a learning experience for all participants. With our maxed out poster, we had good visibility and stood out from the crowd.

Read More

U-Test project presented at the 12th Advances in Model based Testing (A-MOST) Workshop

As a keynote speaker at the 12th edition of the A-MOST Workshop in Chicago, Tao Yue gave a presentation entitled: “Model Based Testing of Cyber-Physical Systems in Practice: Challenges, results, future directions from multiple projects”. Her talk summarises the results from various industrial applications of Model-Based Testing (MBT) over last several years and cover diverse MBT methodologies ranging from requirements-driven MBT to UML state machine based MBT.

The work of U-Test project was also highlighted in Tao’s presentation. A-MOST is a workshop that brings together researchers and practitioners interested in the topic of Model Based Testing. This year as usual, A-MOST is co-located with the IEEE International Conference on Software Testing, Verification and Validation (ICST).

Read More

Smart Cyber-Physical Systems Clustering and Communication Event

Smart Cyber-Physical Systems Clustering and Communication Event

The Hofburg in Vienna, Austria
Oslo Science Park, 0123 Oslo

April 14th 2016

The Road2CPS project (H2020-ICT1 CSA) is organizing the ‘Smart Cyber-Physical Systems Clustering and Communication Event’, to bring together the 15 ongoing ICT-1 projects to exchange ideas, discuss results and foster synergies amongst them and other CPS projects, as well as to communicate the outcomes to a wider audience.

The event will take place on April 14th in the Hofburg in Vienna in conjunction with the ARTEMIS Spring event (April 13th-14th) and back-to-back to the CPS-week (April 11th-14th). We expect an audience of about 150 people (academia, industry, policy making, also from CPS-week and ARTEMIS), and we would be very pleased to have you or a representative from your consortium as a speaker (10 min presentation and poster) about your ICT-1 project.

The EC also wishes to benefit from this ‘communication event’, to disseminate the ICT-1 results to a broader audience also targeting policy making / industry / broader public and the presentations should be ‘easy to understand’ also for a non-technical audience. Moreover, a rapporteur will summarize the presentations/discussions to be publicized on the EC-website.
Your consortium / networks are invited

(registration, free of charge, will open soon)!

Read More