{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:21:14Z","timestamp":1750306874012,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,9,30]],"date-time":"2012-09-30T00:00:00Z","timestamp":1348963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,9,30]]},"DOI":"10.1145\/2432631.2432636","type":"proceedings-article","created":{"date-parts":[[2013,1,29]],"date-time":"2013-01-29T16:21:18Z","timestamp":1359476478000},"page":"25-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Real-time design models to RTOS-specific models refinement verification"],"prefix":"10.1145","author":[{"given":"Rania","family":"Mzid","sequence":"first","affiliation":[{"name":"CEA List, Gif-sur-Yvette, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chokri","family":"Mraidha","sequence":"additional","affiliation":[{"name":"CEA List, Gif-sur-Yvette, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Philippe","family":"Babau","sequence":"additional","affiliation":[{"name":"Lab-STICC, UBO, UEB, Brest, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Abid","sequence":"additional","affiliation":[{"name":"National school of engineers of Sfax, Sfax, Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,9,30]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"Lecture Notes in Computer Science, vol 2426","first-page":"331","volume-title":"Model based development of embedded systems","author":"Schtz B.","year":"2002","unstructured":"B. Schtz , A. Pretschner , F. Huber , J. Philipps . Model based development of embedded systems , Lecture Notes in Computer Science, vol 2426 , 2002 , Springer , 2002, pp. 331 -- 336 . B. Schtz, A. Pretschner, F. Huber, J. Philipps. Model based development of embedded systems, Lecture Notes in Computer Science, vol 2426, 2002, Springer, 2002, pp. 331--336."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:TIME.0000045315.61234.1e"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1921532.1921555"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1032297.1032298"},{"key":"e_1_3_2_1_5_1","volume-title":"13th International Euromicro Conference. Delft","author":"GonzAlez Harbour M.","year":"2001","unstructured":"M. GonzAlez Harbour , J. J. GutiCrrez Garcia , J. C. Palencia GutiCrrez , and J. M. Drake Moyano . MAST: Modeling and Analysis Suite for Real Time Applications. Real-Time Systems , 13th International Euromicro Conference. Delft , June 2001 . M. GonzAlez Harbour, J. J. GutiCrrez Garcia, J. C. Palencia GutiCrrez, and J. M. Drake Moyano. MAST: Modeling and Analysis Suite for Real Time Applications. Real-Time Systems, 13th International Euromicro Conference. Delft, June 2001."},{"key":"e_1_3_2_1_6_1","volume-title":"Portable Operating System Interface (POSIX)","author":"The Open Group Base Specifications","year":"2004","unstructured":"The Open Group Base Specifications , Portable Operating System Interface (POSIX) , ANSI\/IEEE Std 1003.1, 2004 . The Open Group Base Specifications, Portable Operating System Interface (POSIX), ANSI\/IEEE Std 1003.1, 2004."},{"key":"e_1_3_2_1_7_1","unstructured":"OSEK Group. OSEK\/VDX Operating System Specification. http:\/\/www.osek-vdx.org.  OSEK Group. OSEK\/VDX Operating System Specification. http:\/\/www.osek-vdx.org."},{"key":"e_1_3_2_1_8_1","unstructured":"T-Engine Forum. μITRON 4.0 Specification July 2010. http:\/\/www.t-engine.org  T-Engine Forum. μITRON 4.0 Specification July 2010. http:\/\/www.t-engine.org"},{"key":"e_1_3_2_1_9_1","volume-title":"Orlando","author":"Yemhalli R.","year":"2000","unstructured":"R. Yemhalli . Real-time operating systems: An ongoing review. In Work-In-Progress Sessions. The 2lrl IEEE Real-lime System Symposium (RTSSWIPOO) , Orlando , Florida , November 2000 . R. Yemhalli. Real-time operating systems: An ongoing review. In Work-In-Progress Sessions. The 2lrl IEEE Real-lime System Symposium (RTSSWIPOO), Orlando, Florida, November 2000."},{"key":"e_1_3_2_1_10_1","first-page":"3","volume-title":"5th International Conference on Real-Time Computing Systems and Applications (RTCSA)","author":"Takada H.","year":"1998","unstructured":"H. Takada , Y. Nakamoto , and K. Tamaru , \" The ITRON Project: Overview and Recent Results \", 5th International Conference on Real-Time Computing Systems and Applications (RTCSA) , pp. 3 -- 10 , Oct. 1998 . H. Takada, Y. Nakamoto, and K. Tamaru, \"The ITRON Project: Overview and Recent Results\", 5th International Conference on Real-Time Computing Systems and Applications (RTCSA), pp. 3--10, Oct. 1998."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.64"},{"key":"e_1_3_2_1_12_1","volume-title":"UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems","author":"Object Management Group","year":"2010","unstructured":"Object Management Group , UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems , Object Management Group, Inc. , September 2010 , OMG document number: ptc\/2010-08-32 Object Management Group, UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, Object Management Group, Inc., September 2010, OMG document number: ptc\/2010-08-32"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2012.19"},{"key":"e_1_3_2_1_15_1","volume-title":"Object Constraint Language (OCL)","author":"Object Management Group","year":"2006","unstructured":"Object Management Group , Object Constraint Language (OCL) . Object Management Group, Inc. , May 2006 , OMG document number: formal\/06-0501 Object Management Group, Object Constraint Language (OCL). Object Management Group, Inc., May 2006, OMG document number: formal\/06-0501"},{"key":"e_1_3_2_1_16_1","volume-title":"for RTEMS 4.6.5","author":"Users Guide TEMS","year":"2003","unstructured":"R TEMS C Users Guide . Edition 4.6.5 , for RTEMS 4.6.5 . August 2003 . RTEMS C Users Guide. Edition 4.6.5, for RTEMS 4.6.5. August 2003."},{"volume-title":"A Practitioner's Handbook for real-Time Analysis. Guide to Rate Monotonic Analysis for Real-Time Systems","author":"Klein H.","key":"e_1_3_2_1_17_1","unstructured":"Mark H. Klein , Th. Ralya , B. Pollak , R. Obenza and M. Gonzalez Harbour . A Practitioner's Handbook for real-Time Analysis. Guide to Rate Monotonic Analysis for Real-Time Systems . Kluwer Academic Publisher . ISBN 0-7923-9361-9. p. 5--30. Mark H. Klein, Th. Ralya, B. Pollak, R. Obenza and M. Gonzalez Harbour. A Practitioner's Handbook for real-Time Analysis. Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic Publisher. ISBN 0-7923-9361-9. p. 5--30."}],"event":{"name":"MODELS '12: ACM\/IEEE 15th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Innsbruck Austria","acronym":"MODELS '12"},"container-title":["Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2432631.2432636","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2432631.2432636","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:20Z","timestamp":1750234700000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2432631.2432636"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,30]]},"references-count":16,"alternative-id":["10.1145\/2432631.2432636","10.1145\/2432631"],"URL":"https:\/\/doi.org\/10.1145\/2432631.2432636","relation":{},"subject":[],"published":{"date-parts":[[2012,9,30]]},"assertion":[{"value":"2012-09-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}