{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,30]],"date-time":"2023-09-30T05:28:10Z","timestamp":1696051690989},"reference-count":30,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.133.7","type":"journal-article","created":{"date-parts":[[2013,11,13]],"date-time":"2013-11-13T16:31:28Z","timestamp":1384360288000},"page":"67-83","source":"Crossref","is-referenced-by-count":5,"title":["SoS contract verification using statistical model checking"],"prefix":"10.4204","volume":"133","author":[{"given":"Alessandro","family":"Mignogna","sequence":"first","affiliation":[{"name":"ALES S.r.l."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonardo","family":"Mangeruca","sequence":"additional","affiliation":[{"name":"ALES S.r.l."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beno\u00eet","family":"Boyer","sequence":"additional","affiliation":[{"name":"INRIA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[{"name":"INRIA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Arnold","sequence":"additional","affiliation":[{"name":"EADS"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2720","published-online":{"date-parts":[[2013,11,13]]},"reference":[{"key":"opengroup","volume-title":"The Open Group Architecture Forum"},{"key":"ALES","volume-title":"ALES S.r.l. - Advanced Laboratory on Embedded Systems","author":"ALES"},{"key":"AiSoS2013Legay","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.133.6","volume-title":"Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach","author":"ARNOLD","year":"2013"},{"key":"modelica","volume-title":"Modelica","author":"Association"},{"key":"ERTS2012DAngelo","article-title":"A Simulator based on QEMU and SystemC for Robustness Testing of a Networked Linux-based Fire Detection and Alarm System","volume-title":"Online proceedings of ERTS^2 2012 - Embedded Real Time Systems and Software","author":"D'Angelo","year":"2012"},{"key":"project-DANSE","volume-title":"Designing for Adaptability and evolutioN in SoS Engineering","author":"Danse","year":"2013"},{"key":"DARPAMETA","volume-title":"DARPA META Program","author":"DARPA"},{"key":"MODAF","volume-title":"MODAF \u2013 Ministry of Defence Architecture Framework","author":"Ministry of Defence"},{"key":"DoDAF","volume-title":"DoDAF \u2013 Department of Defence Architecture Framework","author":"Department of Defence"},{"key":"SIES2012Ferrari","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1109\/SIES.2012.6356593","article-title":"Scalable virtual prototyping of distributed embedded control in a modern elevator system","volume-title":"Industrial Embedded Systems (SIES), 2012 7th IEEE International Symposium on","author":"Ferrari","year":"2012"},{"key":"ERTS2012Ferrari","article-title":"DesyreML: a SysML profile for heterogeneous embedded systems","volume-title":"Online proceedings of ERTS^2 2012 - Embedded Real Time Systems and Software","author":"Ferrari","year":"2012"},{"key":"rhapsody","volume-title":"IBM Rational Rhapsody Designer for Systems Engineering","author":"IBM"},{"key":"accelera","volume-title":"Accelera Systems Initiative","author":"Initiative"},{"key":"INRIA","volume-title":"INRIA website","author":"INRIA"},{"key":"Plasma-Lab","volume-title":"Plasma-Lab: a Statistical Model Checker","author":"INRIA","year":"2012"},{"key":"IP-XACT","volume-title":"IP-XACT Technical Committee","author":"IP-XACT"},{"key":"ITEA","volume-title":"ITEA2 \u2013 Information Technology for European Advancement","author":"ITEA2"},{"key":"modelisar","volume-title":"Modelisar","author":"ITEA2"},{"key":"LegaySMCOverview","article-title":"Statistical Model Checking : An Overview","volume":"abs\/1005.1327","author":"Legay","year":"2010","journal-title":"CoRR"},{"issue":"4","key":"Maier1998","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D","article-title":"Architecting principles for systems-of-systems","volume":"1","author":"Maier","year":"1998","journal-title":"Systems Engineering"},{"key":"mathworks","volume-title":"The Mathworks","author":"Mathworks"},{"key":"MBAT","volume-title":"MBAT \u2013 combined Model-Based Analysis and Testing of embedded systems","author":"MBAT"},{"key":"OCL","volume-title":"OCL v2.2 - Object Constraint Language","author":"OMG","year":"2010"},{"key":"UPDM","volume-title":"UPDM \u2013 Unified Profile for DoDAF and MODAF","author":"OMG","year":"2012"},{"key":"PRISM","volume-title":"The probabilistic model checker PRISM","author":"Parker D.","year":"2012"},{"key":"FMI","volume-title":"FMI v2.0 beta 4","author":"Project","year":"2012"},{"key":"SysML","volume-title":"SysML v. 1.3 Specification","author":"Project"},{"key":"project-SPEEDS","volume-title":"SPEculative and Exploratory Design in Systems Engineering","author":"SPEEDS","year":"2010"},{"key":"SPRINT","volume-title":"SPRINT \u2013 Software PlatfoRm for Integration of eNgineering and Things","author":"SPRINT"},{"key":"xiaoxia2003mpii","first-page":"1136","article-title":"MPII-18-3 The Introduction on High Level Architecture (HLA) and Run-Time Infrastructure (RTI)","volume-title":"SICE-ANNUAL CONFERENCE-","volume":"1","author":"Xiaoxia","year":"2003"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2013,11,15]],"date-time":"2013-11-15T18:50:27Z","timestamp":1384541427000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1311.3632v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,13]]},"references-count":30,"URL":"https:\/\/doi.org\/10.4204\/eptcs.133.7","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11,13]]}}}