Uncertainty Modeling

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
====== Project Portal for OMG® Uncertainty Modeling (UM) ======
===== Current Objective of the site =====
This wiki site is currently being used as a site for sharing information about Uncertainty Modeling and the related standardization activities at OMG®.
===== Uncertainty RFP =====
The Uncertainty Modeling Working Group has been formed. Please see below the list of organizations and main contact person, who have shown their interests as a working group towards the submission of Uncertainty RFP to OMG. 
==== RFI Objectives ====
The intent of the RFI is to gather information for the purpose of guiding a group in its efforts to provide solutions to industry problems. The RFI process is used to canvass a targeted industry segment for one or more of the following purposes:
  * Acquiring industry requirements.
  * Identifying potential technology sources.
  * Soliciting input to validate the roadmap of the group.
=====News=====
==== Presenting the Uncertainty Modeling standardization activities at OMG® Brussels Technical Meeting on June 7th, 2017 ====
This signifies the kickoff of the preparation of Uncertainty RFP. 
==== Introducing Uncertainty to Requirements Specification/Modeling at SysML V2 RFP Requirements ====
A great initiative is being made to introduce uncertainty to specify/model requirements in the future standard of SysML V2. Details can b found from [[http://www.omgwiki.org/OMGSysML/doku.php?id=sysml-roadmap:requirement_concepts_modeling_core_team|the OMG SysML Portal]].
==== The first BrightTalk Webinar hosted by OMG®, given by Tao Yue, Shaukat Ali and Bran Selic ====
=== **Webinar title: Introduction to Uncertainty Modeling at BrightTalk**===
=== The webinar video can be accessed at [[https://www.brighttalk.com/webcast/12231/237665/introduction-to-uncertainty-modeling|BrighTalk]]
===

==**About this webinar:**==
The importance of facing, understanding, predicting and even mitigating uncertainty has been well acknowledged and studied in various fields such as philosophy, physics, and finance.

In terms of software and system engineering, due to the increasing complexity of large-scale systems themselves, and the dynamic and unpredictable deployment and operation environments of such systems, increasing attentions have been given to address challenges of explicitly specifying and modeling uncertainty.

Uncertainty Modeling (UM) aims to promote and enable explicit specifications of uncertainty and uncertainty related concepts, at various contexts (e.g., developing large-scale Cyber-Physical Systems and Internet of Things, for different purposes (e.g., enabling uncertainty-wise requirements specifications, modeling, verification and validation, e.g., facilitating the definition of uncertainty-wise testing strategies), and at different phases of the development of such complex and uncertainty inherent systems (e.g., requirements, architecture, design, testing and operation).

In the context of OMG®, we see a diverse set of uncertainty modeling applications, such as 1) integrating with OMG's Unified Modeling Language™ (UML) use cases, Systems Modeling Language™ (SysML™) Requirements Diagram, to enable requirements V&V, 2) capturing uncertainty as part of SysML or UML models to facilitate design and/or testing, 3) integrating with Business Process Model and Notation™ (BPMN™) and other OMG® standards to facilitate different kinds of analyses and generations.

OMG®’s Uncertainty Modeling Request for Information (RFI) is currently open for responses. The RFI aims to solicit ideas, discussions, comments, recommendations, user needs and experiences about uncertainty modeling. Collected responses will be carefully analyzed and will be used to identify requirements, based on an RFP for a UM will be developed. Instructions for responding to this RFI are specified in the OMG's Uncertainty Modeling Request for Information document ([[http://www.omg.org/cgi-bin/doc.cgi?ad/2016-9-2|ad/16-09-02 (Uncertainty RFI)]]).
===== Leading Group =====
[[tao@simula.no|Tao Yue]], Simula Research Laboratory, [[http://simula.no/people/tao|http://simula.no/people/tao]], [[http://zen-tools.com/people/taoy.html|http://zen-tools.com/people/taoy.html]]

[[shaukat@simula.no|Shaukat Ali]], Simula Research Laboratory, [[http://simula.no/people/shaukat|http://simula.no/people/shaukat]], [[http://zen-tools.com/people/shaukata.html|http://zen-tools.com/people/shaukata.html]]

[[selic@acm.org|Bran Selic]], Malina Software Corporation, LinkedIn: [[https://www.linkedin.com/in/bran-selic-0a45b|https://www.linkedin.com/in/bran-selic-0a45b]]
===== Interest Group =====
[[tao@simula.no|Tao Yue]] and [[shaukat@simula.no|Shaukat Ali]], [[https://www.simula.no/|Simula Research Laboratory]], Norway

[[selic@acm.org|Bran Selic]], Malina Software Corporation, Canada, LinkedIn: [[https://www.linkedin.com/in/bran-selic-0a45b|https://www.linkedin.com/in/bran-selic-0a45b]]

[[bruno.legeard@eglobalmark.com|Bruno Legeard]] and [[franck.le-gall@eglobalmark.com|Franck Le Gall]], [[http://www.eglobalmark.com/en/home/|Easy Global Market]], France

[[hdman@vdmbee.com|Henk de Man]], [[https://www.vdmbee.com/|VDMbee]], Netherlands

[[apicard@benchmarkconsulting.com|Alain Picard]], [[http://www.benchmarkconsulting.com/|Benchmark Consulting]], Canada

[[Larry.hines@microfocus.com|Larry Hines]], [[https://www.microfocus.com/|Micro Focus]], USA

[[Maged.E.Elaasar@jpl.nasa.gov|Maged Elaasar]], [[http://www.jpl.nasa.gov/|NASA JPL]], USA

[[alessandra.bagnato@softeam.fr|Alessandra Bagnato]], [[http://www.softeam.fr/|SOFTEAM]], France

[[vinay.vkulkarni@tcs.com|Vinay Vkulkarni]], [[http://www.tcs.com|Tata Consultancy Services Limited]],India
 
[[<garlan@cs.cmu.edu>|David Garlan]], [[http://www.cmu.edu/|Carnegie Mellon University]], USA

[[ahartigan@lone-star.com|Andrew Hartigan]], [[http://lone-star.com/|Lone Star]], USA

[[zohaib.iqbal@nu.edu.pk|Muhammad Zohaib Iqbal]], [[http://isb.nu.edu.pk/|National University of Computer and Emerging Sciences (FAST - NU)]] - Islamabad Campus, Pakistan

[[wuji@buaa.edu.cn|Ji Wu]], [[http://buaa.edu.cn/|Beihang University]], China

[[truong@dsg.tuwien.ac.at|Hong-Linh Truong]], [[https://www.tuwien.ac.at/en/|TU Wien (TUW)]], Austria

[[http://iao.nuaa.edu.cn/|Nanjing University of Aeronautics and Astronautics]], China 

[[t.clark@shu.ac.uk |Tony Clark]], Computing at Sheffield Hallam University, UK

===== Supporting Projects =====
The EU Horizon 2020 project: U-Test: 

[[http://www.u-test.eu/|{{webpage:u-test-logo-modified.png?100 |}}]]

===== Documents =====
All the documents and presentations can be found [[http://www.omgwiki.org/uncertainty/doku.php?id=start&ns=&tab_files=files&do=media|here]].
===== Presentations =====
Tao Yue and Shaukat Ali, UNCERTA]]INTY MODELING (UM) – PROGRESS SUMMARY, at OMG Brussels Technical Meeting on June 7th of2017.

Tao Yue, Shaukat Ali and Bran Selic, at [[https://www.brighttalk.com/webcast/12231/237665/introduction-to-uncertainty-modeling|BrighTalk]]


Tao Yue, Shaukat Ali and Bran Selic, [[http://www.cister.isep.ipp.pt/ae2016/presentations/utest2.pdf|Standardizing Uncertainty Modeling at OMG]], at DE-CPS 2016 Workshop.

[[http://www.omg.org/cgi-bin/doc?ad/2016-09-03|Uncertainty RFI Presentation]] in September 2016 at OMG®. Note that this presentation can only be accessed by OMG® members.
===== Associated standardization activities =====
Systems Engineering Concept Model (SECM) Working Group - [[http://www.omgwiki.org/OMGSysML/doku.php?id=sysml-roadmap:requirement_concepts_modeling_core_team|Requirement Concepts Modeling Focus Team]]

[[http://utp.omg.org/|UML Testing Profile™ (UTP) Version 2]].

The UTP V.2 Paper (co-authored by the UTP V.2 submission team): [[http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6983859|How the UML Testing Profile Supports Risk-Based Testing]], Marc-Florian Wendland, Andreas Hoffmann, Alessandra Bagnato, Etienne Brosse, Markus Schacher, Tao Yue and Shaukat Ali, RISK 2014 Workshop
===== References =====
Tao Yue, Shaukat Ali, Man Zhang and Dipesh Pradhan. Standardization Bodies and Standards Relevant for Uncertainty Modelling, Simula Research Laboratory, [[https://www.simula.no/publications/standardization-bodies-and-standards-relevant-uncertainty-modelling|Technical Report 2016-05]], 2016.

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. The corresponding technical report can be downloaded [[https://www.simula.no/file/u-modeltrfinalpdf/download|here]].

Man Zhang, Tao Yue, Shaukat Ali, Bran Selic,  Oscar Okariz, Roland Norgren, Karmele Intxausti, Santiago Charramendieta. Specifying Uncertainty in Use Case Models in Industrial Settings. Simula Research Laboratory, [[https://www.simula.no/publications/specifying-uncertainty-use-case-models-industrial-settings|Technical Report 2016]]. 

Man Zhang, Tao Yue, Shaukat Ali, Bran Selic. U-RUCM: Specifying Uncertainty in Use Case Models. Access in http://zen-tools.com/rucm/U_RUCM.html.

Man Zhang, Shaukat Ali, Tao Yue, and Phu Norgre, An Integrated Modeling Framework to Facilitate Model-Based Testing of Cyber-Physical Systems under Uncertainty,  Technical report 2016-02, Simula Research Laboratory, 2016; https://www.simula.no/publications/integrated-modeling-framework-facilitate-model-based-testing-cyber-physical-systems.

Man Zhang, Shaukat Ali, Tao Yue and Malin Hedman. Uncertainty-based Test Case Generation and Minimization for Cyber-Physical Systems: A Multi-Objective Search-based Approach. Simula Research Laboratory, [[https://www.simula.no/publications/uncertainty-based-test-case-generation-and-minimization-cyber-physical-systems-multi|Technical Report 2016]]. 

Man Zhang, Shaukat Ali, Tao Yue and Roland Norgren, “Uncertainty-Wise Evolution of Test Ready Models”, in Information and Software Technology Journal (IST), Elsevier, Volume 87, Pages 140–159, 2017.

Shaukat Ali, Tao Yue, Man Zhang, Tackling Uncertainty in Cyber-Physical Systems with Automated Testing, ADA User Journal, Volume 37, Issue 4, December 2016
Uncertainty Modeling

User Tools

Site Tools

Page Tools
