This is an old revision of the document!
This wiki site is currently being used as a site for sharing information about Uncertainty Modeling and the related standardization activities at OMG®.
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.
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:
This signifies the kickoff of the preparation of Uncertainty RFP.
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 the OMG SysML Portal.
=== The webinar video can be accessed at BrighTalk ===
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 (ad/16-09-02 (Uncertainty RFI)).
Tao Yue, Simula Research Laboratory, http://simula.no/people/tao, http://zen-tools.com/people/taoy.html
Shaukat Ali, Simula Research Laboratory, http://simula.no/people/shaukat, http://zen-tools.com/people/shaukata.html
Bran Selic, Malina Software Corporation, LinkedIn: https://www.linkedin.com/in/bran-selic-0a45b
Tao Yue and Shaukat Ali, Simula Research Laboratory, Norway
Bran Selic, Malina Software Corporation, Canada, LinkedIn: https://www.linkedin.com/in/bran-selic-0a45b
Bruno Legeard and Franck Le Gall, Easy Global Market, France
Henk de Man, VDMbee, Netherlands
Alain Picard, Benchmark Consulting, Canada
Larry Hines, Micro Focus, USA
Maged Elaasar, NASA JPL, USA
Alessandra Bagnato, SOFTEAM, France
Vinay Vkulkarni, Tata Consultancy Services Limited,India
David Garlan, Carnegie Mellon University, USA
Andrew Hartigan, Lone Star, USA
Muhammad Zohaib Iqbal, National University of Computer and Emerging Sciences (FAST - NU) - Islamabad Campus, Pakistan
Ji Wu, Beihang University, China
Hong-Linh Truong, TU Wien (TUW), Austria
All the documents and presentations can be found here.
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 BrighTalk
Tao Yue, Shaukat Ali and Bran Selic, Standardizing Uncertainty Modeling at OMG, at DE-CPS 2016 Workshop.
Uncertainty RFI Presentation in September 2016 at OMG®. Note that this presentation can only be accessed by OMG® members.
Systems Engineering Concept Model (SECM) Working Group - Requirement Concepts Modeling Focus Team
UML Testing Profile™ (UTP) Version 2.
The UTP V.2 Paper (co-authored by the UTP V.2 submission team): 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
Tao Yue, Shaukat Ali, Man Zhang and Dipesh Pradhan. Standardization Bodies and Standards Relevant for Uncertainty Modelling, Simula Research Laboratory, 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 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, 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, 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