The results of U-Test for testing Cyber-Physical Systems under Uncertainty

1. U-Test: Tes)ng Cyber-Physical Systems under Uncertainty
Results from an EU project tackling the uncertain7es in Cyber-physical systems

2. Agenda
12:15 Welcome and introduc)on,
12:20 Policies and challenges for implementa)on of embedded systems within healthcare, The
Norwegian Directorate of eHealth
12:35 Introduc)on to U-test project;
• Project overview by Waqar Ahmed, Oslo MedTech
• Presenta)on of use case by Robert Magnusson, Nordic Medtest
• Project results by Phu Nguyen, Simula Research Laboratory
• Presenta)on of tools by Bruno Legeard, Easy Global Market
13:45 Coffee break
14:00 Case: Development of infrastructure for home based care within Oslo Municipality – Project
leader EVIK project, Kje)l Moberg, Department for e-health Municipality of Oslo.
14:30 Case: Hospital at home. Informa)on flow and opera)on of devices – presenta)on of project
Medicloud. Special advisor, André Barkhald, It-architecture Sykehuspartner
15:00 Workshop and discussion
15:45 Wrap up of workshops, end at 16:00

3. Agenda Overview
Case 1: e-health Municipality of Oslo
Case 2: Hospital at home
Workshop and discussion
The Norwegian Directorate of eHealth
Wrap up of workshops

4. “Policies and challenges for implementa)on
of embedded systems within healthcare”
The Norwegian Directorate of eHealth

5. Agenda
The Norwegian Directorate of eHealth

8. “CPS technology will transform the way people
interact with engineered systems -- just as the
Internet has transformed the way people interact
with informa)on” -- NSF
NSF - The Na)onal Science Founda)on of the US, Cyber-physical
systems (cps) program solicita)on, 2016.
hdps://www.nsf.gov/pubs/2017/nsf17529/nsf17529.htm

9. “Cyber-Physical Systems (CPSs) are the new
genera)on of connected embedded systems
integra)ng cyber-technologies, sohware, and
physical components interac)ng with each other via
informa)on and physical interfaces”
From hdp://cyberphysicalsystems.org

11. U-Test: Tes)ng Cyber-
Physical Systems under
Uncertainty
For the reliability of IoT solu2ons
in the health care sector

12. U-Test: Tes)ng Cyber-Physical Systems under
Uncertainty

13. Project facts:
Total cost: EUR 3 713 233,75
EU contribu7on: EUR 3 713 233,75
Coordinator: Oslo Medtech, Norway
Topic(s):ICT-01-2014 - Smart Cyber-Physical Systems
Funding scheme: RIA - Research and Innova)on
ac)on
The consor)um
Overall project objec7ve:
Improving CPS dependability
via systema)c and automated
tes)ng of Uncertainty in CPS

14. The Consor)um
Research
Ins)tutes
Industry
Partners
Collaborators
Tool
Providers

15. Robert Magnusson: Geo Sports case study
Phu Nguyen: U-Test’s methodology and values
Bruno Legeard: Tools presenta7on
U-Test’s presenta)ons: from case study, to
methodology, and then tools

16. Robert Magnusson: Geo Sports case study
U-Test’s presenta)ons: from case study, to
methodology, and then tools

17. Robert Magnusson: Geo Sports case study
Phu Nguyen: U-Test’s methodology and values
U-Test’s presenta)ons: from case study, to
methodology, and then tools

18. U-Taxonomy and Uncertainty Modeling
Framework (UMF)

19. Uncertainty-Tes)ng Framework

20. U-Test’s Tool Chains

21. Model-Based Tes)ng of a CPS under Uncertainty
Test Cases
manual
automate
Uncertainty in Environment
Uncertainty in
CPS

22. Current Status of Results
• Uncertainty Modeling Framework: UML Uncertainty Profile, Model
Libraries, and Guidelines: (How to model?)
• Uncertainty Tes)ng Framework: Test Strategies with uncertainty using
Mul)-Objec)ve Search: (Which test cases to generate?)
• Build solu)ons on modeling and tes)ng standards
• Contribute to Standards: UML Tes)ng Profile V.2, Uncertainty Modeling
(New Standard), SysML V.2
• Webinar on Uncertainty Modeling Standard:
hdps://www.brighdalk.com/webcast/12231/237665?utm_source=The+Object
+Management+Group&utm_medium=brighdalk&utm_campaign=237665
• Exploita)on: 13 Poten)al Sources of Revenues (Products & Services)

25. Robert Magnusson: Geo Sports case study
Phu Nguyen: U-Test’s methodology and values
Bruno Legeard: Tools presenta7on
U-Test’s presenta)ons: from case study, to
methodology, and then tools

26. Thank you for your
a6en2on!
@utesth2020
www.u-test.eu
U-test.eu

27. Agenda
The Norwegian Directorate of eHealth

28. Agenda
Case 1: e-health Municipality of Oslo
Case 2: Hospital at home
The Norwegian Directorate of eHealth

29. Agenda
Case 1: e-health Municipality of Oslo
Case 2: Hospital at home
Workshop and discussion
The Norwegian Directorate of eHealth

30. Workshop – part one
• Discuss risks and challenges with integrated homecare solu)ons
Risks iden)fied
•
•
•
•
•
•
•
•
•
•
•
Challenges iden)fied
•
•
•
•
•
•
•
•
•
•
•

31. Workshop – part two
1. Do you consider that the Solu7on presented is
capable of solving real Problems that your
company/organiza)on currently has? [Y/N/
Comments]
2. Do you consider that the Func7onali7es-
Features of the Solu)on presented are
adequate to solve your Problems?
[Y/N/Comments]
3. Do you think that the Solu)on presented can be
Easily Used by your staff?
[Y/N/Comm.]
4. Would you be interested in par)cipa)ng in a U-
TEST Use Case?
Put tags here (marked with q1-4)

32. Agenda
Case 1: e-health Municipality of Oslo
Case 2: Hospital at home
Workshop and discussion
The Norwegian Directorate of eHealth
Wrap up of workshops

33. Thank you!
@utesth2020
www.u-test.eu
U-test.eu