{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T10:55:25Z","timestamp":1725706525347},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,4]]},"DOI":"10.1109\/iceccs.2011.38","type":"proceedings-article","created":{"date-parts":[[2011,5,27]],"date-time":"2011-05-27T17:25:32Z","timestamp":1306517132000},"page":"317-331","source":"Crossref","is-referenced-by-count":2,"title":["An Efficient Modeling and Execution Framework for Complex Systems Development"],"prefix":"10.1109","author":[{"given":"Isabelle","family":"Perseil","sequence":"first","affiliation":[]},{"given":"Laurent","family":"Pautet","sequence":"additional","affiliation":[]},{"given":"Jean-Fran\u00e7ois","family":"Rolland","sequence":"additional","affiliation":[]},{"given":"Mamoun","family":"Filali","sequence":"additional","affiliation":[]},{"given":"Didier","family":"Delanote","sequence":"additional","affiliation":[]},{"given":"Stefan Van","family":"Baelen","sequence":"additional","affiliation":[]},{"given":"Wouter","family":"Joosen","sequence":"additional","affiliation":[]},{"given":"Yolande","family":"Berbers","sequence":"additional","affiliation":[]},{"given":"Fr\u00e9deric","family":"Mallet","sequence":"additional","affiliation":[]},{"given":"Dominique","family":"Bertrand","sequence":"additional","affiliation":[]},{"given":"S\u00e9bastien","family":"Faucou","sequence":"additional","affiliation":[]},{"given":"Abdelhafid","family":"Zitouni","sequence":"additional","affiliation":[]},{"given":"Mahmoud","family":"Boufaida","sequence":"additional","affiliation":[]},{"given":"Lionel","family":"Seinturier","sequence":"additional","affiliation":[]},{"given":"Joel","family":"Champeau","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Abdoul","sequence":"additional","affiliation":[]},{"given":"Peter H.","family":"Feiler","sequence":"additional","affiliation":[]},{"given":"Chokri","family":"Mraidha","sequence":"additional","affiliation":[]},{"given":"S\u00e9bastien","family":"G\u00e9rard","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref1","article-title":"Transformation de mod\u00e8les aadl en automates temporis\u00e9s if","volume-title":"Master\u2019s thesis","author":"Abdoul","year":"2006"},{"key":"ref2","article-title":"Clock constraints in UML MARTE CCSL","volume-title":"Research Report 6540, INRIA","author":"Andre","year":"2008"},{"key":"ref3","article-title":"Modeling of immediate vs. delayed data communications: from AADL to UML MARTE","author":"Andre","year":"2007","journal-title":"ECSI Forum on Design Language"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2008.29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(87)90085-7"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2005.849720"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_41"},{"key":"ref8","article-title":"Modlisation uml excutable pour les systmes embarqus de l\u2019automobile","author":"Gerard","year":"2000","journal-title":"Evry University"},{"volume-title":"Part 3: Carrier Sense Multiple Access with Collision Detection (CSMA\/CD) Access Method and Physical Layer Specifications, IEEE Std 802.3\u20132005","year":"2005","key":"ref9"},{"volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","year":"2002","author":"Lamport","key":"ref10"},{"key":"ref11","article-title":"Ntif: a general symbolic model for communicating sequential processes with data","volume-title":"Rapport de recherche 4666, INRIA","author":"Lang","year":"2002"},{"key":"ref12","first-page":"228","article-title":"Dealing with AADL end-to-end flow latency with UML MARTE","author":"Lee","year":"2008","journal-title":"ICECCS - UML&AADL"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_26"},{"key":"ref14","article-title":"UML\/MARTE CCSL, signal and petri nets","volume-title":"Research Report 6545, INRIA","author":"Mallet","year":"2008"},{"key":"ref15","article-title":"A study of the recoverability of computing systems","volume-title":"PhD thesis","author":"Merlin","year":"1974"},{"key":"ref16","article-title":"Action language notation for accord\/uml","author":"Mraidha","year":"2005","journal-title":"CEA"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2003.1199256"},{"journal-title":"UML Profile for MARTE, beta 1","article-title":"Object Management Group","year":"2007","key":"ref18"},{"journal-title":"A UML Profile for MARTE, ptc 07\u201308\u201304","year":"2007","key":"ref19"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/11557432_19"},{"key":"ref21","first-page":"1","article-title":"User datagram protocol, rfc 768","author":"Postel","year":"1980","journal-title":"Internet Engineering Note IEN-88"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2008.28"},{"key":"ref23","article-title":"Using the model paradigm for real-time systems development","volume-title":"OOIS\u201902-MDSD","author":"G\u00e9rard","year":"2002"},{"volume-title":"Component Software - Beyond Object-Oriented Programming","year":"2002","author":"Szyperski","key":"ref24"},{"volume-title":"Computer Networks.","year":"2002","author":"Tanenbaum","key":"ref25"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/IWCDS.1994.289928"}],"event":{"name":"2011 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)","start":{"date-parts":[[2011,4,27]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2011,4,29]]}},"container-title":["2011 16th IEEE International Conference on Engineering of Complex Computer Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5773346\/5773374\/05773405.pdf?arnumber=5773405","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T22:50:19Z","timestamp":1706050219000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5773405\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,4]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/iceccs.2011.38","relation":{},"subject":[],"published":{"date-parts":[[2011,4]]}}}