{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:52:58Z","timestamp":1729673578814,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1109\/sies.2015.7185056","type":"proceedings-article","created":{"date-parts":[[2015,8,13]],"date-time":"2015-08-13T18:55:14Z","timestamp":1439492114000},"page":"1-4","source":"Crossref","is-referenced-by-count":6,"title":["A model-based workflow from specification until validation of timing requirements in embedded software systems"],"prefix":"10.1109","author":[{"given":"Arne","family":"Noyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Padma","family":"Iyenghar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elke","family":"Pulvermueller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joachim","family":"Engelhardt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Pramme","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gert","family":"Bikker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/s10270-009-0145-0","article-title":"A survey of traceability in requirements engineering and model-driven development","volume":"9","author":"winkler","year":"2010","journal-title":"Software & Systems Modeling"},{"year":"2015","key":"ref11","article-title":"Rational DOORS Next Generation Website"},{"year":"2011","key":"ref12","article-title":"MARTE Specification 1.1"},{"year":"2014","key":"ref13","article-title":"OMG Website"},{"journal-title":"Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE - Developing Cyber-Physical Systems","year":"2014","author":"selic","key":"ref14"},{"year":"2014","key":"ref15","article-title":"AUTomotive Open System ARchitecture website"},{"article-title":"TIMMO-2-USE Innovation Report","year":"2012","author":"karlsson","key":"ref16"},{"year":"2015","key":"ref17","article-title":"Modeling and Analysis Suite for Real-Time Applications"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:20045088"},{"key":"ref19","article-title":"The memvatex methodology: from requirements to models in automotive application design","author":"albinet","year":"2008","journal-title":"4th European Congress ERTS Embedded Real Time Software"},{"year":"2014","key":"ref4","article-title":"Rational DOORS Website"},{"year":"2014","key":"ref3","article-title":"Polarion alm"},{"year":"2015","key":"ref6","article-title":"Symta\/s & traceanalyzer"},{"year":"2015","key":"ref5","article-title":"ProR Requirements Engineering Platform"},{"year":"2012","key":"ref8","article-title":"SysML Specification 1.3"},{"year":"2013","key":"ref7","article-title":"Requirements Interchange Format Specification 1.1"},{"year":"2013","key":"ref2","article-title":"Unified Modeling Language Specification"},{"year":"2010","key":"ref9","article-title":"Rational Rhapsody Gateway Add On User Manual"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.65"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-008-0053-4"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1921532.1921555"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1967021.1967030"},{"year":"2014","key":"ref24","article-title":"ReqXChanger DataSheet"},{"key":"ref23","article-title":"Tool Independent Code Generation for the UML - Closing the Gap between Proprietary Models and the Standardized UML Model","author":"noyer","year":"2014","journal-title":"Evalutation to Novel Approaches of Software Engineering (ENASE 2014)"},{"key":"ref25","article-title":"A Mechanism for Data Interchange Between Embedded Software Sub-Systems Developed Using Heterogenous Modeling Domains","author":"iyenghar","year":"2015","journal-title":"International Conference on Model-Driven Engineering and Software Development (MODEL-SWARD 2015)"}],"event":{"name":"2015 10th IEEE International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2015,6,8]]},"location":"Siegen, Germany","end":{"date-parts":[[2015,6,10]]}},"container-title":["10th IEEE International Symposium on Industrial Embedded Systems (SIES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7164234\/7185026\/07185056.pdf?arnumber=7185056","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T10:49:36Z","timestamp":1602672576000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7185056"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/sies.2015.7185056","relation":{},"subject":[],"published":{"date-parts":[[2015,6]]}}}