====== Project Portal for OMG® Precise Semantics for Uncertainty Modeling (PSUM) ====== ===== Current Objective of the site ===== Share information about the PSUM standardization activities at OMG®. ===== PSUM 1.0 Finalization Task Force (FTF) ===== **Task Force (TF) chairs: Dr. Tao Yue and Mr. Manfred Koethe** https://www.omg.org/techprocess/meetings/schedule/PSUM-FTF.html ===== PSUM V1.0 had been endorsed by AB!!! ===== The PUSM V1.0 had been endorsed in December 2022 by the OMG Architecture Board and is currently undergoing the adoption vote by the full OMG membership. For the time being, the ballot is already quorate and indicates the positive adoption by the membership. http://www.omg.org/events/tm-resource-hub/2022-Q4-Plenary-Reports.pdf ===== Revised PSUM Submission ===== We proudly submitted the revised submission of PSUM in December of 2022. ===== Initial PSUM Submission ===== We proudly submitted the initial submission of PSUM in December of 2021. ===== Initial PSUM Submission Team (with no particular order) ===== Note: this list keeps updated. Tao Yue, Simula Research Laboratory Shaukat Ali, Simula Research Laboratory, Norway Bran Selic, Simula Research Laboratory, Norway Alessandra Bagnato, SOFTEAM, France Antonio Vallecillo, University of Malaga, Spain Manfred Koethe, 88 Solutions, USA Elisa Kendall, Thematix, USA 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 ===== 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:** [[|Javier Camara Moreno]], [[http://www.scs.cmu.edu/~jcmoreno|http://www.scs.cmu.edu/~jcmoreno]][[http://www.cmu.edu/|Carnegie Mellon University]], USA [[|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 projects: [[https://adeptness.eu/|Adeptness: Design-Operation Continuum Methods for Testing and Deployment under Unforeseen Conditions for Cyber-Physical Systems of Systems]], and [[https://cordis.europa.eu/project/id/645463|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.