**This is an old revision of the document!** ----
====== 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 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 RFP ===== 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). ===== 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:** [[firstname.lastname@example.org|Tao Yue]], [[http://simula.no/people/tao|Webpage]], Simula Research Laboratory, Norway [[email@example.com|Shaukat Ali]], [[http://simula.no/people/shaukat|Webpage]], Simula Research Laboratory, Norway [[firstname.lastname@example.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:** [[<email@example.com>|Javier Camara Moreno]], [[http://www.scs.cmu.edu/~jcmoreno|http://www.scs.cmu.edu/~jcmoreno]][[http://www.cmu.edu/|Carnegie Mellon University]], USA [[<firstname.lastname@example.org>|David Garlan]], [[http://www.cmu.edu/|Carnegie Mellon University]], USA [[email@example.com|Henk de Man]], [[https://www.vdmbee.com/|VDMbee]], Netherlands **Leader of the Uncertainty Measurement Package:** [[Larry.firstname.lastname@example.org|Larry Hines]], [[https://www.microfocus.com/|Micro Focus]], USA [[email@example.com|Sanjiv S SharmaSH]], Airbus Defence and Space SAS, USA. [[firstname.lastname@example.org|Yves Bernard]], Airbus Defence and Space SAS, USA. **Leader of the Application/Domain Requirements Package:** [[email@example.com|Torsten Bandyszak]], [[https://www.uni-due.de/en/|University of Duisburg-Essen]], Germany [[firstname.lastname@example.org|Sebastian Törsleff]], [[https://www.hsu-hh.de/hsu/index.php|Helmut Schmidt University]], Germany [[email@example.com|Ana Petrovska]], [[https://www.tum.de/en/homepage/|Technical University of Munich]], Germany. [[firstname.lastname@example.org|Alfonso Pierantonio]], [[http://www.univaq.it/en/|University of L'Aquila]], Italy [[email@example.com|Ji Wu]], [[http://buaa.edu.cn/|Beihang University]], China [[firstname.lastname@example.org|Hong-Linh Truong]], [[https://www.tuwien.ac.at/en/|TU Wien (TUW)]], Austria [[email@example.com|Andrew Hartigan]], [[http://lone-star.com/|Lone Star]], USA [[firstname.lastname@example.org|De-Jiu Chen]], [[https://www.kth.se/en|KTH Royal Institute of Technology]], Sweden [[email@example.com|Kenneth Östberg]], RISE Safety and Transport/Electronics/RISE Sweden, Sweden [[firstname.lastname@example.org|Alessandra Bagnato]], [[http://www.softeam.fr/|SOFTEAM]], France [[email@example.com |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 [[firstname.lastname@example.org |Antonio Vallecillo]], University of Malaga, Spain [[email@example.com |Luca Berardinelli]], [[https://www.tuwien.ac.at/en/|TU Wien (TUW)]], Austria [[firstname.lastname@example.org|Bruno Legeard]] and [[email@example.com|Franck Le Gall]], [[http://www.eglobalmark.com/en/home/|Easy Global Market]], France [[firstname.lastname@example.org|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 [[email@example.com|Vinay Vkulkarni]], [[http://www.tcs.com|Tata Consultancy Services Limited]],India [[firstname.lastname@example.org|Muhammad Zohaib Iqbal]], [[http://isb.nu.edu.pk/|National University of Computer and Emerging Sciences (FAST - NU)]] - Islamabad Campus, Pakistan ===== 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://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 ===== Contact Information ===== Please contact Tao Yue (email@example.com) for information provided on this site.