乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T02:11:20Z","timestamp":1740103880292,"version":"3.37.3"},"reference-count":55,"publisher":"Wiley","issue":"2","license":[{"start":{"date-parts":[[2018,9,25]],"date-time":"2018-09-25T00:00:00Z","timestamp":1537833600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":["incose.onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Systems Engineering"],"published-print":{"date-parts":[[2019,3]]},"abstract":"Abstract<\/jats:title>This article is a contribution to the INCOSE initiative for model\u2010based engineering transformation. Its material has been presented at the ALSEE tour event in Oslo in September 2016. The ideas developed here come from the practical and theoretical experience of the authors in both industrial and academic frameworks. We organize the discussion around 6 theses that aim at establishing robust conceptual foundations for the model\u2010based engineering transformation. We focus on model\u2010based systems engineering, model\u2010based safety assessment, and the relationship between these 2 disciplines. We report on active research initiatives that implement these 6 theses via the S2ML+X paradigm. We conclude with suggestions about future research and teaching activities.<\/jats:p>","DOI":"10.1002\/sys.21469","type":"journal-article","created":{"date-parts":[[2018,9,26]],"date-time":"2018-09-26T03:49:36Z","timestamp":1537933776000},"page":"146-155","update-policy":"https:\/\/doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":28,"title":["Foundations for model\u2010based systems engineering and model\u2010based safety assessment"],"prefix":"10.1002","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0926-5286","authenticated-orcid":false,"given":"Antoine B.","family":"Rauzy","sequence":"first","affiliation":[{"name":"Department of Mechanical and Industrial Engineering Norwegian University of Science and Technology (NTNU) Trondheim Norway"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2506-8808","authenticated-orcid":false,"given":"Cecilia","family":"Haskins","sequence":"additional","affiliation":[{"name":"Department of Mechanical and Industrial Engineering Norwegian University of Science and Technology (NTNU) Trondheim Norway"}]}],"member":"311","published-online":{"date-parts":[[2018,9,25]]},"reference":[{"key":"e_1_2_6_2_1","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2011.tb01220.x"},{"volume-title":"A Primer for Model\u2010Based Systems Engineering","year":"2011","author":"Long D","key":"e_1_2_6_3_1"},{"volume-title":"Systems Engineering and Analysis","year":"2008","author":"Blanchard BS","key":"e_1_2_6_4_1"},{"volume-title":"A Guide for System Life Cycle Processes and Activities","year":"2015","author":"INCOSE Systems Engineering Handbook.","key":"e_1_2_6_5_1"},{"key":"e_1_2_6_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11653-2_24"},{"key":"e_1_2_6_7_1","unstructured":"FriedenthalS MooreA SteinerR.A practical guide to SysML: The systems modeling language. In:KaufmannM ed.San Francisco CA 94104 USA:The MK\/OMG Press;2011."},{"volume-title":"Probabilistic Risk Assessment and Management for Engineers and Scientists","year":"1996","author":"Kumamoto H","key":"e_1_2_6_8_1"},{"volume-title":"System Reliability Theory: Models, Statistical Methods, and Applications","year":"2004","author":"Rausand M","key":"e_1_2_6_9_1"},{"key":"e_1_2_6_10_1","doi-asserted-by":"publisher","DOI":"10.12987\/yale\/9780300169348.001.0001"},{"key":"e_1_2_6_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/9781119051930"},{"volume-title":"BPMN Modeling and Reference Guide: Understanding and Using BPMN","year":"2008","author":"White S","key":"e_1_2_6_12_1"},{"key":"e_1_2_6_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4939-3295-5"},{"key":"e_1_2_6_14_1","unstructured":"ModelicaA.Unified Object\u2010Oriented Language for Physical Systems Modeling. Language Specification version 3.3. The Modelica Association.2014.http:\/\/www.modelica.org."},{"key":"e_1_2_6_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_2_6_16_1","unstructured":"ProsvirnovaT BatteuxM BrameretP\u2010A et\u00a0al.The AltaRica 3.0 project for Model\u2010Based Safety Assessment. Proceedings of 4th IFAC Workshop on Dependable Control of Discrete Systems DCDS'2013. International Federation of Automatic Control. ISBN 978\u20103\u2010902823\u201049\u20106. pp. 127\u2013132. York Great Britain. September.2013."},{"volume-title":"Meaning in Language: An Introduction to Semantics and Pragmatics","year":"2011","author":"Cruse A","key":"e_1_2_6_17_1"},{"key":"e_1_2_6_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2017.7934808"},{"key":"e_1_2_6_19_1","doi-asserted-by":"publisher","DOI":"10.1515\/9783112316009"},{"volume-title":"Mathematical Logic","year":"1996","author":"Ebbinghaus H\u2010D","key":"e_1_2_6_20_1"},{"volume-title":"Algorithms + Data Structures = Programs","year":"1976","author":"Wirth N","key":"e_1_2_6_21_1"},{"key":"e_1_2_6_22_1","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21235"},{"volume-title":"A Theory of Objects","year":"1998","author":"Abadi M","key":"e_1_2_6_23_1"},{"volume-title":"The Unified Modeling Language Reference Manual","year":"2005","author":"Rumbaugh J","key":"e_1_2_6_24_1"},{"volume-title":"Prototype\u2010Based Programming: Concepts, Languages and Applications","year":"1999","author":"Noble J","key":"e_1_2_6_25_1"},{"volume-title":"Women, Fire, and Dangerous Things: What Categories Reveal About the Mind","year":"1990","author":"Lakoff G","key":"e_1_2_6_26_1"},{"key":"e_1_2_6_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00163-008-0043-4"},{"volume-title":"Design Patterns \u2010 Elements of Reusable Object\u2010Oriented Software","year":"1994","author":"Gamma E","key":"e_1_2_6_28_1"},{"volume-title":"Mastering Qt 5","year":"2016","author":"Lazar G","key":"e_1_2_6_29_1"},{"volume-title":"Object\u2010Oriented Programming With Simula","year":"1989","author":"Kirkerud B","key":"e_1_2_6_30_1"},{"volume-title":"Smalltalk 80: The Language","year":"1983","author":"Goldberg A","key":"e_1_2_6_31_1"},{"volume-title":"On the Pragmatics of Graphical Modeling","year":"2011","author":"Fuhrmann HAL","key":"e_1_2_6_32_1"},{"key":"e_1_2_6_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_2_6_34_1","doi-asserted-by":"crossref","unstructured":"EshuisR.Reconciling statechart semantics. Science of Computer Programming. Elsevier. 74. pp. 65\u201399.2009.https:\/\/doi.org\/10.1016\/j.scico.2008.09.001.","DOI":"10.1016\/j.scico.2008.09.001"},{"key":"e_1_2_6_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19029-2"},{"volume-title":"Communication and Concurrency","year":"1989","author":"Milner R","key":"e_1_2_6_36_1"},{"key":"e_1_2_6_37_1","first-page":"95","volume-title":"Proceedings of the Seventh International Conference on Complex Systems Design and Management, CSDM Paris 2016","author":"Issad M","year":"2016"},{"key":"e_1_2_6_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-546-0"},{"key":"e_1_2_6_39_1","doi-asserted-by":"publisher","DOI":"10.1155\/2012\/750642"},{"key":"e_1_2_6_40_1","unstructured":"PtolemaeusC.System Design Modeling and Simulation using Ptolemy II. Ptolemy.org. ISBN 978\u20131304421067.2014.http:\/\/ptolemy.org\/books\/Systems."},{"volume-title":"Functional Safety of Electrical\/Electronic\/Programmable Safety\u2010related Systems (E\/E\/PE, or E\/E\/PES)","year":"2010","author":"International IEC Standard IEC61508","key":"e_1_2_6_41_1"},{"volume-title":"Functional Safety \u2010 Safety Instrumented Systems for the Process Industry Sector","year":"2016","author":"International IEC Standard IEC61511","key":"e_1_2_6_42_1"},{"key":"e_1_2_6_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"volume-title":"Proceedings PSAM'13","year":"2016","author":"Legendre A","key":"e_1_2_6_44_1"},{"key":"e_1_2_6_45_1","unstructured":"BatteuxM ProsvirnovaT RauzyA.System structure modeling language (S2ML). AltaRica Association.2015. archive hal\u201001234903 version 1."},{"volume-title":"Domain Specific Languages","year":"2010","author":"Fowler M","key":"e_1_2_6_46_1"},{"key":"e_1_2_6_47_1","doi-asserted-by":"crossref","unstructured":"SelicB.A systematic approach to domain\u2010specific language design using UML. In Object and Component\u2010Oriented Real\u2010Time Distributed Computing 2007. ISORC'07. 10th IEEE International Symposium on (pp. 2\u20139). IEEE.","DOI":"10.1109\/ISORC.2007.10"},{"issue":"4","key":"e_1_2_6_48_1","first-page":"495","article-title":"Guarded transition systems: A new states\/events formalism for reliability studies","volume":"222","author":"Rauzy A","year":"2008","journal-title":"J Risk Reliabil"},{"key":"e_1_2_6_49_1","doi-asserted-by":"crossref","unstructured":"SignoretJ\u2010P.Dependability & safety modeling and calculation: Petri nets. Proceedings of 2nd IFAC Workshop on Dependable Control of Discrete Systems DCDS\u201909. IFAC Proceedings Volume 42 Issue 5 pp 203\u2013208. Bari Italy 2009.","DOI":"10.3182\/20090610-3-IT-4004.00040"},{"key":"e_1_2_6_50_1","article-title":"AltaRica 3.0 assertions: The why and the wherefore","author":"Batteux M","year":"2017","journal-title":"J Risk Reliabil"},{"key":"e_1_2_6_51_1","unstructured":"BatteuxM ProsvirnovaT RauzyA.AltaRica 3.0 in 10 Patterns. Article submitted the International Journal of Critical Computer\u2010Based Systems.2018."},{"key":"e_1_2_6_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-65306-6_20"},{"key":"e_1_2_6_53_1","doi-asserted-by":"publisher","DOI":"10.1137\/0208032"},{"volume-title":"Computational Complexity","year":"1994","author":"Papadimitriou C H","key":"e_1_2_6_54_1"},{"key":"e_1_2_6_55_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2013.01.102"},{"volume-title":"Object\u2010Oriented Software Construction","year":"1993","author":"Meyer B","key":"e_1_2_6_56_1"}],"container-title":["Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fsys.21469","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/onlinelibrary.wiley.com\/wol1\/doi\/10.1002\/sys.21469\/fullpdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T14:48:05Z","timestamp":1694616485000},"score":1,"resource":{"primary":{"URL":"https:\/\/incose.onlinelibrary.wiley.com\/doi\/10.1002\/sys.21469"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,25]]},"references-count":55,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,3]]}},"alternative-id":["10.1002\/sys.21469"],"URL":"https:\/\/doi.org\/10.1002\/sys.21469","archive":["Portico"],"relation":{},"ISSN":["1098-1241","1520-6858"],"issn-type":[{"type":"print","value":"1098-1241"},{"type":"electronic","value":"1520-6858"}],"subject":[],"published":{"date-parts":[[2018,9,25]]},"assertion":[{"value":"2018-01-13","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-07-24","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-09-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}