User Tools

Site Tools


home

====== Differences ====== This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
home [2017/06/16 08:23]
man [Current Objective of the site]
home [2017/11/04 08:48] (current)
admin [News]
Line 10: Line 10:
   * Soliciting input to validate the roadmap of the group.   * Soliciting input to validate the roadmap of the group.
 =====News===== =====News=====
 +==== Uncertainty Modeling RFP has been submitted and has been added to the Burlingame AB and PTC agendas for review and issuance.==== ​
 +
 ==== Presenting the Uncertainty Modeling standardization activities at OMG® Brussels Technical Meeting on June 7th, 2017 ==== ==== 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.  This signifies the kickoff of the preparation of Uncertainty RFP. 
 ==== Introducing Uncertainty to Requirements Specification/​Modeling at SysML V2 RFP Requirements ==== ==== 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]]. 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 
 + 
 +[[ana.petrovska@tum.de|Ana Petrovska]],​ [[https://​www.tum.de/​en/​homepage/​|Technical University of Munch]], Germany  
 + 
 +===== 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
home.1497615781.txt.gz · Last modified: 2017/06/16 08:23 by man