{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T23:09:48Z","timestamp":1784848188602,"version":"3.55.0"},"reference-count":44,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/tase.2017.8285623","type":"proceedings-article","created":{"date-parts":[[2018,2,12]],"date-time":"2018-02-12T17:54:03Z","timestamp":1518458043000},"page":"1-11","source":"Crossref","is-referenced-by-count":50,"title":["SCADE 6: A formal language for embedded critical software development (invited paper)"],"prefix":"10.1109","author":[{"given":"Jean-Louis","family":"Colaco","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bruno","family":"Pagano","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marc","family":"Pouzet","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/11813040_31"},{"key":"ref38","year":"2017","journal-title":"The Coq Proof Assistant"},{"key":"ref33","doi-asserted-by":"crossref","DOI":"10.1145\/1176887.1176899","article-title":"Mixing Signals and Modes in Synchronous Data-flow Systems","author":"cola\u00e7o","year":"2006","journal-title":"ACM International Conference on Embedded Software (EMSOFT'05)"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594310"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0160-y"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596582"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77442-6_2"},{"key":"ref35","author":"leroy","year":"2017","journal-title":"The Objective Caml system release 4 03 Documentation and user's manual"},{"key":"ref34","author":"berry","year":"1989","journal-title":"Programming a digital watch in ESTEREL v3-2"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1186\/1687-3963-2007-059130"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9155-4"},{"key":"ref11","article-title":"ch. Synchronous Functional Programming with Lucid Synchrone, english translation of [44]","author":"caspi","year":"2007","journal-title":"Real-Time Systems Models and verification — Theory and tools"},{"key":"ref12","author":"pouzet","year":"2006","journal-title":"Lucid Synchrone version 3 Tutorial and reference manual"},{"key":"ref13","author":"hamon","year":"2002","journal-title":"Calcul d'horloge et Structures de Contrôle dans Lucid Synchrone un langage de flots synchrones à la ML"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00093-X"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-0551(01)00016-9"},{"key":"ref16","article-title":"Type-based Initialization Analysis of a Synchronous Data-flow Language","volume":"65","author":"cola\u00e7o","year":"2002","journal-title":"Synchronous Languages Applications and Programming (SLAP)"},{"key":"ref17","article-title":"SCADE6 A model Based Solution For Safety Critical Software Development","author":"dormoy","year":"2008","journal-title":"Embedded Real-Time Software (ERTS)"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/232627.232651"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086261"},{"key":"ref28","article-title":"The constructive semantics of pure esterel","author":"berry","year":"2002","journal-title":"Draft book"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"ref27","article-title":"Clocks as First Class Abstract Types","author":"cola\u00e7o","year":"2003","journal-title":"Third International Conference on Embedded Software (EMS OFT'03)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47169-3_11"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45309-1_16"},{"key":"ref5","first-page":"11","article-title":"Real time programming: Special purpose or general purpose languages","volume":"89","author":"berry","year":"1989","journal-title":"Information Processing"},{"key":"ref8","author":"halbwachs","year":"2002","journal-title":"A Tutorial of Lustre"},{"key":"ref7","article-title":"A synchronous language at work: the story of Lustre","author":"halbwachs","year":"2005","journal-title":"ACM & IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(91)90001-E"},{"key":"ref9","article-title":"Representation and Analysis of Reactive Behaviors: A Synchronous Approach","author":"andr\u00e9","year":"1996","journal-title":"CESA"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/351268.351300"},{"key":"ref22","article-title":"A formalization and proof of a modular Lustre compiler","author":"auger","year":"2010","journal-title":"accompaning paper of LCTES'08"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1375657.1375674"},{"key":"ref42","article-title":"Zélus, a Synchronous Language with ODEs","author":"bourke","year":"2013","journal-title":"International Conference on Hybrid Systems Computation and Control (HSCC 2013)"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062358"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"ref44","first-page":"217","article-title":"ch. Lucid Synchrone, un langage de programmation des systemes réactifs","volume":"1","author":"caspi","year":"2006","journal-title":"Systèmes Temps-reel Techniques de Description et de Verification — Théorie et Outils"},{"key":"ref26","article-title":"Certifying Synchrony for Free","volume":"2250","author":"boulrn\u00e9","year":"2001","journal-title":"International Conference on Logic for Programming Artificial Intelligence and Reasoning"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46663-6_4"},{"key":"ref25","article-title":"Lustre: a declarative language for programming synchronous systems","author":"caspi","year":"1987","journal-title":"ACM Symposium on the Principles of Programming Languages"}],"event":{"name":"2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)","location":"Sophia Antipolis","start":{"date-parts":[[2017,9,13]]},"end":{"date-parts":[[2017,9,15]]}},"container-title":["2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8277122\/8285614\/08285623.pdf?arnumber=8285623","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T17:22:01Z","timestamp":1570728121000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8285623\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":44,"URL":"https:\/\/doi.org\/10.1109\/tase.2017.8285623","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}