Resources

  • [Journal Paper]: Shaukat Ali, Yan Li, Tao Yue, and Man Zhang, Uncertainty-Wise and Time-Aware Test Case Prioritization with Multi-Objective Search, submitted, 2017, Download
  • [Book Chapter]: Shaukat Ali, Hong Lu, Shuai Wang, Tao Yue, Man Zhang, Uncertainty-Wise Testing of Cyber-Physical Systems, To appear in Advances in Computers, volume 107, 2017
  • [Journal Paper]: Man Zhang, Shaukat Ali, Tao Yue and Roland Norgren, Uncertainty-Wise Evolution of Test Ready Models, Information and Software Technology Journal, DOI , 2017,  Download
  • [Workshop] S. Ali, Y. Li, T. Yue and M. Zhang, An Empirical Evaluation of Mutation and Crossover Operators for Multi-Objective Uncertainty-Wise Test Minimization, Proceedings of the IEEE/ACM 10th International Workshop on Search-Based Software Testing under the 2017 IEEE/ACM 39th International Conference on Software Engineering, 2017, Download
  • [Conference Paper] Wendland, Marc-Florian; Barakat, Ramon; Schneider, Martin, Enabling data flows in UML interactions, International Conference on Model-Driven Engineering and Software Development (MODELSWARD), 2016.
  • [Conference Paper]: Hong-Linh Truong, Nanjangud Narendra, SINC – An Information-Centric Approach for End-to-End IoT Cloud Resource Provisioning, 2016 International Conference on Cloud Computing Research & Innovation (ICCCRI2016), CloudAsia 2016, May 3-5, 2016, Singapore, Download
  • [Conference Paper]: Duc-Hung Le, Hong-Linh Truong, Schahram Dustdar, Managing On-demand Sensing Resources in IoT Cloud Systems (PDF), 5th IEEE International Conference on Mobile Services (MS2016), June 27 – July 2, 2016, San Francisco, USA, Download
  • [Workshop Paper] Martin Schneider and Marc-Florian Wendland, Gaining Certainty about Uncertainty: Testing for Uncertainties of Cyber-Physical Systems at the Application Level, 4th International Workshop on Risk Assessment and Risk-driven Quality Assurance (RISK), In conjunction with 28th International Conference on Testing Software and Systems (ICTSS), 2016
  • [Conference] Hong Linh Truong, Georgiana Copil, Schahram Dustdar, Duc-Hung Le, Daniel Moldovan, Stefan Nastic: On Engineering Analytics for Elastic IoT Cloud Platforms. ICSOC 2016: 267-281, 2016, Download
  • [Conference] M. Zhang, T. Yue, S. Ali, B. Selic, O. Okariz, R. Norgen, K. Intxausti, and S. Charramendieta, Specifying Uncertainty in Use Case Models in Industrial Settings, Submitted to a Conference , 2017, Download
  • [Conference] Daniel Moldovan,Hong-Linh Truong, A Platform for Run-time Health Verification of Elastic Cyber-physical Systems (Submitted PDF), The IEEE International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2016), September 19-21, 2016, Imperial College, London, UK,  Download
  • [Conference] Duc-Hung Le, Nanjangud Narendra, Hong-Linh Truong HINC – Harmonizing Diverse Resource Information Across IoT, Network Functions and Clouds (Submitted PDF), The IEEE 4th International Conference on Future Internet of Things and Cloud (FiCloud2016), 22-24 Aug, 2016, Vienna, Austria, Download
  • [Journal Paper]: Man Zhang, Shaukat Ali, Tao Yue and Roland Norgren. An Integrated Modeling Framework to Facilitate Model-Based Testing of Cyber-Physical Systems under Uncertainty, Revision submitted to a Journal (December), Simula Research Laboratory, Technical Report 2016-02, 2016, Download
  • [Conference Paper]: Man Zhang, Bran Selic, Shaukat Ali, Tao Yue, Oscar Okariz and Roland Norgren, Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model, 12th European Conference on Modelling Foundations and Applications (ECMFA), 2016, Download
  • [Workshop Paper]: Shaukat Ali, Tao Yue, Man Zhang, Tackling Uncertainty in Cyber-Physical Systems with Automated Testing, ADA User Journal, Volume 37, Issue 4, December 2016, Download
  • [Conference Paper]: Hong-Linh Truong, Georgiana Copil, Schahram Dustdar, Duc-Hung Le, Daniel Moldovan, Stefan Nastic, “iCOMOT – A Toolset for Managing IoT Cloud Systems”, 16th IEEE International Conference on Mobile Data Management, 15-18 June, 2015, Pittsburg, USA, Download
  • [Abstract]: Shaukat Ali and Tao Yue, Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems, Testing in Practise Track Presentation, 8th IEEE International Conference on Software Testing, Verification and Validation (ICST 2015), 2015, Download
  • [Conference Paper]: Stefan Nastic, Georgiana Copil, Hong-Linh Truong, and Schahram Dustdar, Governing Elastic IoT Cloud Systems under Uncertainty, (c)IEEE “7th International Conference on Cloud Computing Technology and Science (CloudCom 2015), Vancouver, Canada, 30 November – 3 December, 2015 – , Download
  • Report from Smart CPS Concertation Event, Brussels, 2017, Download
  • Multiparadigm Modeling for Cyber-Physical Systems (MPM4CPS) IC1404 Cost Action Workshop, Malaga, November 24-November 25, 2016, Download
  • Report from the event Road 2 CPS in Austria spring of 2016: Download
  • U-Test First Year Report Summary, 2016, Download
  • Man Zhang, Shaukat Ali, Tao Yue and Phu Nguyen. Uncertainty Modeling Framework for the Integration Level V.1, Simula Research Laboratory, Technical Report 2016-01, 2016, Download

Year 1: Public Deliverables

Year 2: Public Deliverables

  • [Event] S. Ali, Testing Cyber-Physical Systems under Uncertainty, CPS Concertation Event, Brussels, Belgium, 2017, Download
  • [Invited Talk] Testing Cyber-Physical Systems in Uncertainty, IEEE 10th International Conference on Open Source Systems & Technologies (ICOSST), Lahore, Pakistan and 14th International Conference on Frontiers of Information Technology (FIT) Islamabad Pakistan, Trip funded by Government of Punjab Pakistan, 2016, Slides
  • [Workshop Paper] Martin Schneider and Marc-Florian Wendland, Gaining Certainty about Uncertainty: Testing for Uncertainties of Cyber-Physical Systems at the Application Level, 4th International Workshop on Risk Assessment and Risk-driven Quality Assurance (RISK), In conjunction with 28th International Conference on Testing Software and Systems (ICTSS), 2016, Slides
  • [Conference Paper] Hong Linh Truong, Georgiana Copil, Schahram Dustdar, Duc-Hung Le, Daniel Moldovan, Stefan Nastic: On Engineering Analytics for Elastic IoT Cloud Platforms. ICSOC 2016: 267-281. 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Slides
  • [COST Action Event] Tao Yue, Integrating Uncertainty Modelling with Use Case Modelling to Discover Unknowns, MPM4CPS IC1404 COST Action Event, 2016, Slides
  • [COST Action Event] Shaukat Ali, Model-Driven Testing of Cyber-Physical Systems with the Explicit Consideration of Uncertainty, MPM4CPS IC1404 COST Action Event, 2016, Slides
  • [Standardization] Shaukat Ali, Uncertainty Modeling (UM)- RFI Presentation and Voting for RFI Issuance, Presentation to ATDF at OMG, September 2016, Slides
  • [Standardization] Shaukat Ali, Modeling Uncertainty in Complex Software Systems to Support Testing, Systems Engineering Domain Special Interest Group (SE DSIG), June 2016, Slides
  • [Communication Event] Hong-Linh Truong, Testing Cyber-Physical Systems under Uncertainty, Smart Cyber-Physical Systems Clustering and Communication Event, Vienna, April 14, 2016, Slides
  • [Keynote] Tao Yue, Discovering and Testing Unknown Uncertainties of Cyber-Physical Systems, National Software Application Conference (NASAC), 2016, Slides
  • [Conference Paper]: Man Zhang, Bran Selic, Shaukat Ali, Tao Yue, Oscar Okariz and Roland Norgren, Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model, 12th European Conference on Modelling Foundations and Applications (ECMFA), 2016, Slides
  • [Standardization] Tao Yue, Uncertainty modeling (UM) – RFI. First Presentation to ATDF at OMG, June 2016, Slides
  • [Conference]: Hong-Linh Truong, Nanjangud Narendra, SINC – An Information-Centric Approach for End-to-End IoT Cloud Resource Provisioning, 2016 International Conference on Cloud Computing Research & Innovation (ICCCRI2016), CloudAsia 2016, May 3-5, 2016, Singapore,  Slides
  • [Tutorial] Hong-Linh Truong and Schahram Dustdar, Principles for Engineering IoT Cloud Systems, The 9th Summer School on Service Oriented Computing, 2015, Slides
  • [Panel] Hong-Linh Truong, Service Engineering Analytics for IoT, International Conference on Service Oriented Computing, ICSOC 2015, Slides
  • [Conference] Stefan Nastic, Georgiana Copil, Hong-Linh Truong, and Schahram Dustdar, Governing Elastic IoT Cloud Systems under Uncertainty, (c)IEEE “7th International Conference on Cloud Computing Technology and Science (CloudCom 2015), Vancouver, Canada, 30 November – 3 December, 2015, Slides
  • [Keynote] Hong-Linh Truong, Provisioning and Testing Cyber-Physical Systems under Uncertainty, Faculty of Information Technology, University of Engineering and Technology,Vietnam National University, Hanoi, Vietnam, Link to Slides: Slides
  • [Workshop] Tao Yue, Shaukat Ali, Bran Selic, Standardising Uncertainty Modeling at OMG,Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering (DE-CPS) Workshop, 2016, Slides
  • [Workshop] Shaukat Ali, Tao Yue, Man Zhang, Tacking Uncertainty in Cyber-Physical Systems with Automated Testing, Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering (DE-CPS) Workshop, 2016, Slides
  • [Keynote] Shaukat Ali, Systematic Model and Search-Based Testing of Cyber-Physical Systems, ETSI User Conference on Advanced Automated Testing (UCAAT), 2015, Slides
  • [Workshop] March 2016: Read the slides from the talk given by Bran Selic from Molina Software Corp and Simula Research Laboratory: Facing uncertainty in complex CPS design – “it’s time to talk about the elephant”:  Slides
  • The demo of UncerTest: Tool for Uncertainty-Wise Test Case Generation and Minimization developed in WP3 by Simula. UncerTest
  • Demo Video of the U-RUCM tool associated with WP1 developed by Simula: U-RUCM
  • The details of the Runtime Verification Tool developed in WP3 by Technical University of Wien can be found here: Runtime Verification, whereas the code is located here: Code 
  • The Infrastructure level test case generation (WP3 and developed by Technical University of Wien) source code can be found here: Code
  • Documentation of U-Model developed in WP1 can be found here: U-Model
  • The details of the U-RUCM tool developed in WP1 by Simula that implements U-Model can be found here: U-RUCM
  • Video introducing U-Test Test Execution Framework at Nordic Med Test: U-Test Test Execution Framework
  • Demo video for Test Rig implemented at Nordic Med Test (in Swedish): Test Rig
  • [Poster] Man Zhang, Shaukat Ali, Tao Yue, Bran Selic, Phu-Hong Nyguyen, 2016, Simula’s Internal Event, Poster
  • [COST Action Event] Man Zhang, U-TCsGM: Generating and Minimizing Uncertainty-Based Test Cases for Cyber-Physical Systems, MPM4CPS IC1404 COST Action Event, 2016,  Demo
  • [Newsletter] Status of U-Test in Certus Newsletter, Page 5, 2016, Download
  • [Poster] Man Zhang, U-Test: Testing Cyber-Physical Systems under Uncertainty, ETSI User Conference on Advanced Automated Testing (UCAAT), 2016: Link: U-Test Poster