{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:29Z","timestamp":1772164049424,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,12,2]],"date-time":"2012-12-02T00:00:00Z","timestamp":1354406400000},"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,12,2]]},"DOI":"10.1145\/2402676.2402703","type":"proceedings-article","created":{"date-parts":[[2012,11,29]],"date-time":"2012-11-29T12:08:34Z","timestamp":1354190914000},"page":"81-94","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Applicability of real-time schedulability analysis on a software radio protocol"],"prefix":"10.1145","author":[{"given":"Shuai","family":"Li","sequence":"first","affiliation":[{"name":"THALES Communications & Security, Gennevilliers, France"}]},{"given":"Frank","family":"Singhoff","sequence":"additional","affiliation":[{"name":"Lab-STICC\/UMR 6285, UBO, UEB, Brest, France"}]},{"given":"St\u00e9phane","family":"Rubini","sequence":"additional","affiliation":[{"name":"Lab-STICC\/UMR 6285, UBO, UEB, Brest, France"}]},{"given":"Bourdell\u00e8s","family":"Michel","sequence":"additional","affiliation":[{"name":"THALES Communications & Security, Gennevilliers, France"}]}],"member":"320","published-online":{"date-parts":[[2012,12,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/827270.829060"},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the 2nd Workshop on Model Based Engineering for Embedded Systems Design","author":"Audsley N.","year":"2011","unstructured":"N. Audsley , I. Gray , and S. Indrusiak . Model-based development of embedded systems - the MADES approach . In Proceedings of the 2nd Workshop on Model Based Engineering for Embedded Systems Design , 2011 . N. Audsley, I. Gray, and S. Indrusiak. Model-based development of embedded systems - the MADES approach. In Proceedings of the 2nd Workshop on Model Based Engineering for Embedded Systems Design, 2011."},{"key":"e_1_3_2_1_3_1","volume-title":"AUTOSAR specification","author":"AUTOSAR.","year":"2011","unstructured":"AUTOSAR. AUTOSAR specification , 2011 . AUTOSAR. AUTOSAR specification, 2011."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1002\/9781118256114.ch49"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MILCOM.2008.4753440"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30561-0_4"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/0-387-24590-1_12","volume-title":"Architecture Description Languages","author":"Debruyne V.","year":"2005","unstructured":"V. Debruyne , F. Simonot-Lion , and Y. Trinquet . EAST-ADL - an architecture description language . In Architecture Description Languages , volume 176 , pages 181 -- 195 . Springer-Verlag , New York , 2005 . V. Debruyne, F. Simonot-Lion, and Y. Trinquet. EAST-ADL - an architecture description language. In Architecture Description Languages, volume 176, pages 181--195. Springer-Verlag, New York, 2005."},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 4th European Congress on Embedded Real Time Software and System","author":"Dissaux P.","year":"2008","unstructured":"P. Dissaux and F. Singhoff . Stood and cheddar : AADL as a pivot language for analysing performances of real time architectures . In Proceedings of the 4th European Congress on Embedded Real Time Software and System , 2008 . P. Dissaux and F. Singhoff. Stood and cheddar : AADL as a pivot language for analysing performances of real time architectures. In Proceedings of the 4th European Congress on Embedded Real Time Software and System, 2008."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2009.16"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/871910.871923"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:20045088"},{"key":"e_1_3_2_1_13_1","unstructured":"T. S. Inc. Tri-Pacific software inc. : RAPID RMA. http:\/\/www.tripac.com\/rapid-rma.  T. S. Inc. Tri-Pacific software inc. : RAPID RMA. http:\/\/www.tripac.com\/rapid-rma."},{"key":"e_1_3_2_1_14_1","unstructured":"JTRS. Software communication architecture specification 2012.  JTRS. Software communication architecture specification 2012."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2008.9"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1870926.1871078"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_3_2_1_18_1","volume-title":"THALES Research & Technologies","author":"Maes E.","year":"2007","unstructured":"E. Maes and N. Vienne . MARTE to cheddar transformation using ATL. Technical report , THALES Research & Technologies , 2007 . E. Maes and N. Vienne. MARTE to cheddar transformation using ATL. Technical report, THALES Research & Technologies, 2007."},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems","author":"Medina J.","year":"2010","unstructured":"J. Medina and l. G. Cuesta . From composable design models to schedulability analysis with UML and the UML profile for MARTE . In Proceedings of the 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems , 2010 . J. Medina and l. G. Cuesta. From composable design models to schedulability analysis with UML and the UML profile for MARTE. In Proceedings of the 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, 2010."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.825767"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/35.393001"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.637146"},{"key":"e_1_3_2_1_23_1","volume-title":"CORBA component model specification","author":"OMG.","year":"2006","unstructured":"OMG. CORBA component model specification , 2006 . OMG. CORBA component model specification, 2006."},{"key":"e_1_3_2_1_24_1","volume-title":"EXPRESS specification","author":"OMG.","year":"2010","unstructured":"OMG. EXPRESS specification , 2010 . OMG. EXPRESS specification, 2010."},{"key":"e_1_3_2_1_25_1","volume-title":"CORBA specification","author":"OMG.","year":"2011","unstructured":"OMG. CORBA specification , 2011 . OMG. CORBA specification, 2011."},{"key":"e_1_3_2_1_26_1","volume-title":"MARTE specification","author":"OMG.","year":"2011","unstructured":"OMG. MARTE specification , 2011 . OMG. MARTE specification, 2011."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/827270.829048"},{"key":"e_1_3_2_1_28_1","unstructured":"Papyrus. Papyrus. http:\/\/www.eclipse.org\/modeling\/mdt\/papyrus\/.  Papyrus. Papyrus. http:\/\/www.eclipse.org\/modeling\/mdt\/papyrus\/."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/502059.502044"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1185642.1185653"},{"key":"e_1_3_2_1_31_1","unstructured":"PrismTech. Spectra CX the SCA development tool. http:\/\/www.prismtech.com\/spectra\/products\/spectracx.  PrismTech. Spectra CX the SCA development tool. http:\/\/www.prismtech.com\/spectra\/products\/spectracx."},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of the 2012 Embedded Realtime Software and Systems Conference","author":"Quadri I. R.","year":"2012","unstructured":"I. R. Quadri , A. Sadovykh , and L. S. Indrusiak . MADES: a SysML\/MARTE high level methodology for real-time and embedded systems . In Proceedings of the 2012 Embedded Realtime Software and Systems Conference , 2012 . I. R. Quadri, A. Sadovykh, and L. S. Indrusiak. MADES: a SysML\/MARTE high level methodology for real-time and embedded systems. In Proceedings of the 2012 Embedded Realtime Software and Systems Conference, 2012."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2009.30"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231150"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:TIME.0000045315.61234.1e"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.57058"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1032297.1032298"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-009-9072-y"},{"key":"e_1_3_2_1_40_1","unstructured":"Smartesting. Smartesting. http:\/\/www.smartesting.com\/index.php\/cms\/en\/home.  Smartesting. Smartesting. http:\/\/www.smartesting.com\/index.php\/cms\/en\/home."},{"key":"e_1_3_2_1_41_1","unstructured":"Softeam. Modelio. http:\/\/www.modeliosoft.com\/.  Softeam. Modelio. http:\/\/www.modeliosoft.com\/."},{"key":"e_1_3_2_1_42_1","unstructured":"I. Software. IBM software - rational software architect family. http:\/\/www- 01.ibm.com\/software\/awdtools\/swarchitect\/.  I. Software. IBM software - rational software architect family. http:\/\/www- 01.ibm.com\/software\/awdtools\/swarchitect\/."},{"key":"e_1_3_2_1_43_1","volume-title":"UPPSALA","author":"Stigge M.","year":"2007","unstructured":"M. Stigge . Schedulability analysis with variable computation time of tasks. Technical report , UPPSALA , 2007 . M. Stigge. Schedulability analysis with variable computation time of tasks. Technical report, UPPSALA, 2007."},{"key":"e_1_3_2_1_44_1","unstructured":"Symtavision. Symtavision - SymTA\/S. http:\/\/www.symtavision.com\/symtas.html.  Symtavision. Symtavision - SymTA\/S. http:\/\/www.symtavision.com\/symtas.html."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2010.24"},{"key":"e_1_3_2_1_46_1","unstructured":"THALES. MyCCM. http:\/\/sourceforge.net\/apps\/trac\/myccm-hi\/wiki.  THALES. MyCCM. http:\/\/sourceforge.net\/apps\/trac\/myccm-hi\/wiki."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/0165-6074(94)90080-9"},{"key":"e_1_3_2_1_48_1","unstructured":"VERDE Consortium. ITEA VERDE. http:\/\/www.itea-verde.org\/.  VERDE Consortium. ITEA VERDE. http:\/\/www.itea-verde.org\/."},{"key":"e_1_3_2_1_49_1","unstructured":"VideoLAN. VideoLAN. http:\/\/www.videolan.org\/vlc\/index.html.  VideoLAN. VideoLAN. http:\/\/www.videolan.org\/vlc\/index.html."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1980.1094702"}],"event":{"name":"HILT'12: ACM SIGAda Annual","location":"Boston Massachusetts USA","acronym":"HILT'12","sponsor":["SIGAda ACM Special Interest Group on Ada Programming Language","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 2012 ACM conference on High integrity language technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2402676.2402703","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2402676.2402703","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:12Z","timestamp":1750225692000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2402676.2402703"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12,2]]},"references-count":49,"alternative-id":["10.1145\/2402676.2402703","10.1145\/2402676"],"URL":"https:\/\/doi.org\/10.1145\/2402676.2402703","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2402709.2402703","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2012,12,2]]},"assertion":[{"value":"2012-12-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}