{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:52:35Z","timestamp":1725677555293},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.23919\/mixdes.2018.8436870","type":"proceedings-article","created":{"date-parts":[[2018,8,17]],"date-time":"2018-08-17T20:14:20Z","timestamp":1534536860000},"page":"420-423","source":"Crossref","is-referenced-by-count":3,"title":["Towards Embedded Systems Formal Verification Translation from SysML into Petri Nets"],"prefix":"10.23919","author":[{"given":"Wojciech","family":"Szmuc","sequence":"first","affiliation":[]},{"given":"Tomasz","family":"Szmuc","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Design of Microcontrollers for Safety Critical Operation (ISO 26262 Key Differences from IEC 61508)","year":"2009","author":"greb","key":"ref10"},{"journal-title":"IEC 61508 Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-related Systems (E\/E\/PE or E\/E\/PES)","year":"0","key":"ref11"},{"journal-title":"ISO\/WD 26262-1 Road vehicles - Functional Safety","year":"0","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"journal-title":"NuSMV A New Symbolic Model Checker","year":"0","key":"ref14"},{"journal-title":"Papirus","year":"0","key":"ref15"},{"key":"ref16","article-title":"Embedded systems development using SysML","author":"rosenberg","year":"2010","journal-title":"Sparx Systems Pty Ltd and ICONIX"},{"key":"ref17","first-page":"127","article-title":"Time constrains modeling and verification using Timed Coloured Petri Nets","author":"samolej","year":"2005","journal-title":"Proceedings of the 28th IFAC\/IFIP Workshop on the Real Time Programming"},{"journal-title":"Modelling of Selected UML 2 0 Diagrams with Coloured Petri Nets PhD Report Supervisor Szpyrka M AGH","year":"2014","author":"szmuc","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MIXDES.2016.7529785"},{"journal-title":"CPN web","year":"0","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3060257"},{"journal-title":"Software Considerations in Airborne Systems and Equipment Certification","year":"0","key":"ref6"},{"journal-title":"SysML Distilled A Brief Guide to The Systems Modeling Language","year":"2014","author":"delligatti","key":"ref5"},{"journal-title":"Practical Guide to SysML The Systems Modeling Language","year":"2010","author":"friedental","key":"ref8"},{"journal-title":"Model-Based Engineering using AADL An Introduction to the SAE Architecture Analysis & Design Language","year":"2012","author":"feiler","key":"ref7"},{"key":"ref2","first-page":"222","article-title":"High-availability controller concept for steering systems: The degradable safety controller","author":"boercsoek","year":"2011","journal-title":"Recent Researches in Circuits Systems Communications and Computers WSEAS"},{"key":"ref1","first-page":"3","article-title":"Criticality categories across safety standards in different domains","author":"blanquart","year":"2012","journal-title":"Embedded Real Time Software and Systems Congress ERTS"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2011.16"},{"journal-title":"Verics model checker","year":"0","key":"ref20"}],"event":{"name":"2018 25th International Conference \"Mixed Design of Integrated Circuits and System\" (MIXDES)","start":{"date-parts":[[2018,6,21]]},"location":"Gdynia","end":{"date-parts":[[2018,6,23]]}},"container-title":["2018 25th International Conference \"Mixed Design of Integrated Circuits and System\" (MIXDES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8422065\/8436585\/08436870.pdf?arnumber=8436870","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T01:14:00Z","timestamp":1598231640000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8436870\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":20,"URL":"https:\/\/doi.org\/10.23919\/mixdes.2018.8436870","relation":{},"subject":[],"published":{"date-parts":[[2018,6]]}}}