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®.

===== Documents (accessible to the PSUM Submission Team members only) =====
All meeting minutes, presentations and related documents can be found...

===== Initial PSUM Submission Team (with no a particular order) =====
Note: this list keeps updated.

Tao Yue, Nanjing University of Aeronautics and Astronautics & Simula Research Laboratory, Norway

Shaukat Ali, Simula Research Laboratory, Norway

Bran Selic, Simula Research Laboratory, Norway

Javier Camara Moreno, Carnegie Mellon University, USA

Henk de Man, VDMbee, Netherlands

Larry Hines, Micro Focus, USA

Sanjiv S SharmaSH, Airbus Defence and Space SAS, USA

Torsten Bandyszak, University of Duisburg-Essen, Germany

Sebastian Torsleff, Helmut Schmidt University, Germany

Ji Wu, Beihang University, China

De-Jiu Chen, KTH Royal Institute of Technology, Sweden

Alessandra Bagnato, SOFTEAM, France

Antonio Vallecillo, University of Malaga, Spain

Muhammad Zohaib Iqbal, National University of Computer and Emerging Sciences (FAST - NU)- Islamabad Campus, Pakistan

Zhibing Yang, Nanjing University of Aeronautics and Astronautics, China

Huihui Zhang, Weifang University, China

Manfred Koethe, 88 Solutions, USA

Elisa Kendall, Thematix, USA

===== Precise Semantics for Uncertainty Modeling (PSUM) RFP =====
Precise Semantics for Uncertainty Modeling, Request for Proposals (RFP) was officially issued by the OMG® meeting that took place in Burlingame, San Francisco, USA, in December 2017. The RFP is published [[http://www.omg.org/cgi-bin/doc?ad%2F2017-12-01|here]].

This RFP aims to awaken the awareness of uncertainty and pursue a common understanding of uncertainty in system/software engineering of complex systems such as cyber-physical systems and self-adaptive systems, by defining precise semantics for uncertainty modeling.

This RFP solicits proposals for a conceptual model represented as a metamodel, which covers two aspects: 1) Capturing uncertainty and its related concepts and 2) Enabling measurements of uncertainty and uncertainty-related concepts. Please note that based on this core RFP, one can expect a future series of RFPs, which will cover the aspects of 1) enabling various uses of explicitly specified and measured uncertainty (such as facilitating decision making and enabling model-based testing), and 2) addressing various application challenges (e.g., in the domains of healthcare, autonomous driving, and robotics).


===== Uncertainty RFP Working Group Activities =====
The Uncertainty Modeling Working Group has been formed towards the submission of Uncertainty RFP to OMG®. See below for details. The working group will mainly focus on four packages: core concepts (WP1), uncertainty measurements (WP2), uses of Uncertainty Modeling (e.g., reasoning, simulation, analysis, decision making) (WP3), and application/domain specific requirements (WP4). 


===== Documents (accessible to the RFP working group members only) =====
All meeting minutes, presentations and related documents can be found [[http://www.omgwiki.org/uncertainty/doku.php?id=start&ns=&tab_files=files&do=media|here]].


===== Uncertainty RFI =====
The Uncertainty Modeling standardization has been kicked off at OMG® in September of 2016 at Chicago IL USA. The Request for Information (RFI) of Uncertainty Modeling at OMG® has been formally released and can be downloaded from [[http://www.omg.org/cgi-bin/doc.cgi?ad/2016-9-2|here]]. The RFI response is officially due on 10 of February of 2017. Though the official deadline has passed, we are continuously accepting responses. 

==== 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]]
===

===== Working and Interesting Groups =====
**Leader of the Core Package:** [[tao@simula.no|Tao Yue]], [[http://simula.no/people/tao|Webpage]], Simula Research Laboratory, Norway

[[shaukat@simula.no|Shaukat Ali]], [[http://simula.no/people/shaukat|Webpage]], Simula Research Laboratory, Norway

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

**Leader of the Uses of Uncertainty Modeling:** [[<jcmoreno@cs.cmu.edu>|Javier Camara Moreno]], [[http://www.scs.cmu.edu/~jcmoreno|http://www.scs.cmu.edu/~jcmoreno]][[http://www.cmu.edu/|Carnegie Mellon University]], USA

[[<garlan@cs.cmu.edu>|David Garlan]], [[http://www.cmu.edu/|Carnegie Mellon University]], USA

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

**Leader of the Uncertainty Measurement Package:** [[Larry.hines@microfocus.com|Larry Hines]], [[https://www.microfocus.com/|Micro Focus]], USA

[[sanjiv.sharma@airbus.com|Sanjiv S SharmaSH]], Airbus Defence and Space SAS, USA.

[[yves.bernard@airbus.com|Yves Bernard]], Airbus Defence and Space SAS, USA.

**Leader of the Application/Domain Requirements Package:** [[torsten.bandyszak@paluno.uni-due.de|Torsten Bandyszak]], [[https://www.uni-due.de/en/|University of Duisburg-Essen]], Germany

[[sebastian.toersleff@hsu-hh.de|Sebastian Törsleff]], [[https://www.hsu-hh.de/hsu/index.php|Helmut Schmidt University]], Germany

[[ana.petrovska@tum.de|Ana Petrovska]], [[https://www.tum.de/en/homepage/|Technical University of Munich]], Germany.

[[alfonso.pierantonio@univaq.it|Alfonso Pierantonio]], [[http://www.univaq.it/en/|University of L'Aquila]], Italy

[[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

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

[[chen@md.kth.se|De-Jiu Chen]], [[https://www.kth.se/en|KTH Royal Institute of Technology]], Sweden

[[kenneth.ostberg@ri.se|Kenneth Östberg]], RISE Safety and Transport/Electronics/RISE Sweden, Sweden

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

[[martin.schneider@fokus.fraunhofer.de |Martin Schneider]], [[https://www.fokus.fraunhofer.de/en|Fraunhofer FOCUS]], Germany

[[T.Clark@shu.ac.uk|Tony Clark]], [[https://www.shu.ac.uk/|Sheffield Hallam University]], UK

[[av@lcc.uma.es |Antonio Vallecillo]], University of Malaga, Spain

[[luca.berardinelli@tuwien.ac.at |Luca Berardinelli]], [[https://www.tuwien.ac.at/en/|TU Wien (TUW)]], Austria

[[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

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

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

[[vinay.vkulkarni@tcs.com|Vinay Vkulkarni]], [[http://www.tcs.com|Tata Consultancy Services Limited]],India

[[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

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

===== Supporting Projects =====
The EU Horizon 2020 project: [[http://www.u-test.eu/|U-Test: Testing Cyber-physical Systems under Uncertainty
]]
The CrESt project: [[https://crest.in.tum.de/index.html|Collaborative Embedded Systems]]
===== Presentations =====
Tao Yue and Shaukat Ali, Uncertainty Modeling (UM) - Progress Summary, at OMG® Brussels Technical Meeting on June 7th of 2017.

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://www.omg.org/spec/SMM/|Structured Metrics Meta-Model™ (SMM™)]] at OMG®
===== 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]].

J. Camara, D. Garlan, W.-G. Kang, W. Peng, and B. Schmerl, "Uncertainty in Self-Adaptive Systems: Categories, Management, and Perspectives," CMU-ISR-17-110, 2017, Available: [[http://reports-archive.adm.cs.cmu.edu/anon/isr2017/CMU-ISR-17-110.pdf|http://reports-archive.adm.cs.cmu.edu/anon/isr2017/CMU-ISR-17-110.pdf]].

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

===== Contact Information =====

Please contact Tao Yue (tao@simula.no) for information provided on this site.
Uncertainty Modeling

User Tools

Site Tools

Page Tools
