{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:01:07Z","timestamp":1757541667096,"version":"3.28.0"},"reference-count":81,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1109\/sysose.2016.7542917","type":"proceedings-article","created":{"date-parts":[[2016,8,15]],"date-time":"2016-08-15T20:28:31Z","timestamp":1471292911000},"page":"1-7","source":"Crossref","is-referenced-by-count":18,"title":["Model-based requirements and properties specifications trends for early design verification of embedded systems"],"prefix":"10.1109","author":[{"given":"Muhammad","family":"Rashid","sequence":"first","affiliation":[]},{"given":"Muhammad Waseem","family":"Anwar","sequence":"additional","affiliation":[]},{"given":"Farooque","family":"Azam","sequence":"additional","affiliation":[]},{"given":"Muhammad","family":"Kashif","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"IEEE Standard for Property Specification Language (PSL)","year":"0","key":"ref73"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2008.83"},{"key":"ref71","first-page":"230","article-title":"A timing model for specifying multi clock automotive systems","author":"peraldi-frati","year":"0","journal-title":"The timing augmented description language v2 In ICECCS'12"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref70"},{"journal-title":"IBM","article-title":"Rational Rhapsody parametric constraints evaluator","year":"0","key":"ref76"},{"key":"ref77","first-page":"319","article-title":"Visitor-based application analysis methodology for early design space exploration, Design Auto. for Embedded Systems","volume":"16","author":"rashid","year":"2012"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2009.4810316"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2629628"},{"year":"0","key":"ref75"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2043662.2043663"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.04.089"},{"year":"0","key":"ref79"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2088883.2088891"},{"key":"ref32","first-page":"96","article-title":"Property Specification and Static Verification of UML Models","author":"zisman","year":"2008","journal-title":"ICAR"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS.2012.6219051"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2014.36"},{"key":"ref37","first-page":"251","article-title":"Modeling and Debugging Numerical Constraints of Cyber-Physical Systems Design","author":"nguyen tien","year":"2013","journal-title":"Proceedings of ICT"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1880050.1880057"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI.2008.54"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/IS.2010.5548382"},{"journal-title":"MODEVES project","year":"0","key":"ref60"},{"journal-title":"MODEVES project Overview of 52 selected researches","year":"0","key":"ref62"},{"journal-title":"MODEVES project Quality Assess","year":"0","key":"ref61"},{"journal-title":"MADES Profile","year":"0","key":"ref63"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s11235-011-9424-5"},{"journal-title":"Modelica Modeling Language (ModelicaML) A UML Profile for Modelica Technical Report 2009 5","year":"0","author":"schamai","key":"ref64"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15234-4_9"},{"journal-title":"AVATAR UML Profile","year":"0","key":"ref65"},{"journal-title":"East-ADL specifications","year":"0","key":"ref66"},{"key":"ref29","first-page":"193","article-title":"An Approach to Verifying Security and Timing Properties in UML Models","author":"song","year":"2015","journal-title":"15th ICECCS"},{"journal-title":"Theme\/ UML","year":"0","key":"ref67"},{"journal-title":"MOPCOM Partners MOPCOM SoC\/SoPC Project","year":"0","key":"ref68"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40888-5_8"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ISPS.2013.6581484"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2014.2320714"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.02.029"},{"key":"ref22","first-page":"21","article-title":"Polychronous controller synthesis from MARTE CCSL timing specifications","author":"huafeng","year":"2011","journal-title":"IEEE\/ACM"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11245-9_13"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2013.28"},{"key":"ref23","first-page":"311","article-title":"UML Modeling and Formal Verification of control\/data driven Embedded Systems","author":"boutekkouk","year":"2014","journal-title":"14th IEEE ICECCS"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2013.06.032"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2014.24"},{"key":"ref50","first-page":"89","article-title":"Analysis Support for TADL2 Timing Constraints on EAS T-ADL Models","author":"goknil","year":"2013","journal-title":"Proceedings of the 7th CSA"},{"key":"ref51","first-page":"303","volume":"7349","author":"naseer qureshi","year":"2012","journal-title":"A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications LNCS"},{"journal-title":"Procedures for Performing Systematic Reviews TR\/SE-0401\/NICTA","year":"2004","author":"kitchenham","key":"ref59"},{"journal-title":"Clock Constraint Spe Lan (CCSL)","year":"0","key":"ref58"},{"journal-title":"Object Constraint Language","year":"0","key":"ref57"},{"journal-title":"Object Management Group","year":"0","key":"ref56"},{"journal-title":"OMG Systems Modeling Language Specification","year":"2012","key":"ref55"},{"journal-title":"Object Management Group","year":"2009","key":"ref54"},{"journal-title":"Unified Modeling Language User Guide","year":"1999","author":"booch","key":"ref53"},{"key":"ref52","first-page":"89","article-title":"Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE, LNCS","volume":"6652","author":"medina","year":"2011"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2013.10.064"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2013.62"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2237796.2237811"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2010.5551372"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1921532.1921556"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34032-1_16"},{"key":"ref15","article-title":"Formal verification and validation of embedded systems: the UM L-based MADES approach","author":"luciano","year":"2013","journal-title":"JSSM"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2430475.2430484"},{"year":"0","key":"ref81"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2427376.2427379"},{"key":"ref18","first-page":"1","article-title":"A Formal Verification Framework for BlueSpec System Verilog","author":"ouchani","year":"2013","journal-title":"Forum on specification and Design Languages (FDL)"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16577-6_6"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2011.17"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICDS.2009.19"},{"journal-title":"Modeling SystemVerilog Assertions using SysML and CCSL ESLsyn Conference","year":"2015","author":"khan","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2010.5549590"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ReCoSoC.2012.6322882"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2011.02.001"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090662"},{"key":"ref49","first-page":"471","article-title":"A codesign methodology based on model driven architecture for real time embedded systems","volume":"53","author":"lecomte","year":"0","journal-title":"MCM2011"},{"key":"ref9","first-page":"483","article-title":"Environment modeling and simulation for automated testing of soft realtime embedded software","volume":"14","author":"zohaib iqbal","year":"2013","journal-title":"JSSM"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/IConAC.2014.6935460"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/2489850.2489852"},{"key":"ref48","first-page":"2011","article-title":"Designing a control system using SysML and Simulink","author":"sakairi","year":"2012","journal-title":"Proc SICE"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ICCSA.2015.11"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2013.46"},{"key":"ref41","first-page":"339","article-title":"Evaluation for SysML-based Design and Analysis Models Using PCE","author":"abdul rahman","year":"2012","journal-title":"IEEE (ICCSCE)"},{"key":"ref44","first-page":"316","article-title":"Using MDE and Priority Time Petri Nets for the schedulability analysis of Embedded Systems modeled by UML activity diagrams","author":"hadj kacem","year":"2012","journal-title":"19th ICWECBS"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.08.061"}],"event":{"name":"2016 11th System of Systems Engineering Conference (SoSE)","start":{"date-parts":[[2016,6,12]]},"location":"Kongsberg, Norway","end":{"date-parts":[[2016,6,16]]}},"container-title":["2016 11th System of Systems Engineering Conference (SoSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7533679\/7542882\/07542917.pdf?arnumber=7542917","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:15:12Z","timestamp":1602684912000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7542917"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6]]},"references-count":81,"URL":"https:\/\/doi.org\/10.1109\/sysose.2016.7542917","relation":{},"subject":[],"published":{"date-parts":[[2016,6]]}}}