{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:27:38Z","timestamp":1761596858845,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/rttas.2003.1203046","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T20:27:43Z","timestamp":1087936063000},"page":"144-151","source":"Crossref","is-referenced-by-count":10,"title":["Synchronous modeling of avionics applications using the signal language"],"prefix":"10.1109","author":[{"given":"A.","family":"Gamatie","sequence":"first","affiliation":[]},{"given":"T.","family":"Gautier","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","article-title":"Modeling real-time systems-Challenges and work directions","author":"sifakis","year":"2001","journal-title":"EMSOFT'01 Tahoe City Lecture Notes in Computer Science 2211"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/WPDRTS.1997.637858"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45828-X_1"},{"journal-title":"Partitioning in avionics architectures Requirements mechanisms and assurance","year":"1999","author":"rushby","key":"16"},{"journal-title":"Overview of the Ptolemy Project","year":"2001","author":"lee","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008311720696"},{"key":"11","first-page":"6\/1","article-title":"profiling of signal programs and its application in the timing evaluation of design implementations","author":"kountouris","year":"1996","journal-title":"IEE Colloquium on Hardware-Software Cosynthesis for Reconfigurable Systems (Digest No 1996\/036)"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/5.97301"},{"key":"3","article-title":"Taxys: A tool for the development and verification of real-time embedded systems","author":"closse","year":"2102","journal-title":"Proc of Computer Aided Verification"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(91)90001-E"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97297"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/384198.384208"},{"key":"7","first-page":"25","article-title":"Modeling of modular avionics architectures using the synchronous language SIGNAL","author":"gamatie?","year":"2002","journal-title":"16th Euromicro Conference on Real-Time Systems WIP session"},{"journal-title":"Efficient Support for Fine-grain Parallelism","year":"1993","author":"engler","key":"6"},{"journal-title":"Design Guidance for Integrated Modular Avionics","year":"1997","author":"committee","key":"5"},{"key":"4","article-title":"Avionics application software standard interface","volume":"653","author":"committee","year":"1997","journal-title":"ARINC Specification"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2001.tb02373.x"}],"event":{"name":"The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003.","location":"Toronto, Canada"},"container-title":["The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8555\/27075\/01203046.pdf?arnumber=1203046","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T22:06:53Z","timestamp":1489442813000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1203046\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/rttas.2003.1203046","relation":{},"subject":[]}}