{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,23]],"date-time":"2026-09-23T09:02:24Z","timestamp":1790154144990,"version":"4.0.1"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T00:00:00Z","timestamp":1560816000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T00:00:00Z","timestamp":1560816000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2019,8]]},"DOI":"10.1007\/s11704-017-6134-5","type":"journal-article","created":{"date-parts":[[2018,7,28]],"date-time":"2018-07-28T08:19:02Z","timestamp":1532765942000},"page":"677-697","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Polychronous automata and their use for formal validation of AADL models"],"prefix":"10.1007","volume":"13","author":[{"given":"Thierry","family":"Gautier","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cl\u00e9ment","family":"Guy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexandre","family":"Honorat","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paul","family":"Le Guernic","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Pierre","family":"Talpin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lo\u00efc","family":"Besnard","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,6,18]]},"reference":[{"issue":"3","key":"6134_CR1","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1142\/S0218126603000763","volume":"12","author":"P Le Guernic","year":"2003","unstructured":"Le Guernic P, Talpin J P, Le Lann J C. Polychrony for system design. Journal of Circuits, Systems and Computers, 2003, 12(3): 261\u2013303","journal-title":"Journal of Circuits, Systems and Computers"},{"issue":"1","key":"6134_CR2","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste A, Caspi P, Edwards S, Halbwachs N, Le Guernic P, de Simone R. The synchronous languages twelve years later. In: Proceedings of the IEEE. 2003, 91(1): 64\u201383","journal-title":"Proceedings of the IEEE"},{"issue":"2","key":"6134_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G Berry","year":"1992","unstructured":"Berry G, Gonthier G. The ESTEREL synchronous programming language: design, semantics, implementation. Science of Computer Programming, 1992, 19(2): 87\u2013152","journal-title":"Science of Computer Programming"},{"issue":"9","key":"6134_CR4","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs N, Caspi P, Raymond P, Pilaud D. The synchronous dataflow programming language LUSTRE. Proceedings of the IEEE, 1991, 79(9): 1305\u20131320","journal-title":"Proceedings of the IEEE"},{"issue":"9","key":"6134_CR5","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"P Le Guernic","year":"1991","unstructured":"Le Guernic P, Gautier T, Le Borgne M, Le Maire C. Programming realtime applications with Signal. Proceedings of the IEEE, 1991, 79(9): 1321\u20131336","journal-title":"Proceedings of the IEEE"},{"key":"6134_CR6","volume-title":"Designing Embedded Systems with the SIGNAL Programming Language","author":"A Gamati\u00e9","year":"2009","unstructured":"Gamati\u00e9 A. Designing Embedded Systems with the SIGNAL Programming Language. Springer Science & Business Media, 2009"},{"key":"6134_CR7","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1145\/1982185.1982263","volume-title":"Procecdings of the 2011 ACM Symposium on Applied Computing","author":"H Yu","year":"2011","unstructured":"Yu H, Ma Y, Glouche Y, Talpin J P, Besnard L, Gautier T, Le Guernic P, Toom A, Laurent O. System-level co-simulation of integrated avionics using Polychrony. In: Procecdings of the 2011 ACM Symposium on Applied Computing. 2011, 354\u2013359"},{"key":"6134_CR8","unstructured":"Aerospace Standard AS5506A: Architecture Analysis and Design Language (AADL). Google Scholar, 2009"},{"issue":"5","key":"6134_CR9","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1007\/s11704-013-2307-z","volume":"7","author":"H Yu","year":"2013","unstructured":"Yu H, Ma Y, Gautier T, Besnard L, Talpin J P, Le Guernic P, Sorel Y. Exploring system architectures in AADL via Polychrony and SynDEx. Frontiers of Computer Science, 2013, 7(5): 627\u2013649","journal-title":"Frontiers of Computer Science"},{"issue":"10","key":"6134_CR10","doi-asserted-by":"publisher","first-page":"1157","DOI":"10.1016\/j.sysarc.2013.08.004","volume":"59","author":"H Yu","year":"2013","unstructured":"Yu H, Ma Y, Gautier T, Besnard L, Le Guernic P, Talpin J P. Polychronous modeling, analysis, verification and simulation for timed software architectures. Journal of Systems Architecture, 2013, 59(10): 1157\u20131170","journal-title":"Journal of Systems Architecture"},{"key":"6134_CR11","volume-title":"Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems","author":"G Berry","year":"2007","unstructured":"Berry G. Scade: Synchronous Design and Validation of Embedded Control Software. Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems. Springer, Dordrecht, 2007"},{"key":"6134_CR12","doi-asserted-by":"publisher","first-page":"834","DOI":"10.1017\/S0960129512000278","volume":"23","author":"S Tripakis","year":"2013","unstructured":"Tripakis S, Stergiou C, Shaver C, Lee E A. A modular formal semantics for Ptolemy. Mathematical Structures in Computer Science, 2013, 23: 834\u2013881","journal-title":"Mathematical Structures in Computer Science"},{"key":"6134_CR13","first-page":"1","volume-title":"Proceedings of 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT 2010)","author":"E A Lee","year":"2010","unstructured":"Lee E A, Tripakis S. Modal models in Ptolemy. In: Proceedings of 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT 2010). 2010, 1\u201311"},{"key":"6134_CR14","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-540-24721-0_17","volume-title":"Proceedings of International Conference on Fundamental Approaches to Software Engineering","author":"G Hamon","year":"2004","unstructured":"Hamon G, Rushby J. An operational semantics for Stateflow. In: Proceedings of International Conference on Fundamental Approaches to Software Engineering. 2004, 229\u2013243"},{"issue":"3","key":"6134_CR15","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/S0167-6423(02)00093-X","volume":"46","author":"F Maraninchi","year":"2003","unstructured":"Maraninchi F, R\u00e9mond Y. Mode-automata: a new domain-specific construct for the development of safe critical systems. Science of Computer Programming, 2003, 46(3): 219\u2013254","journal-title":"Science of Computer Programming"},{"key":"6134_CR16","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1145\/1086228.1086261","volume-title":"Proceedings of the 5th ACM international conference on Embedded software","author":"J L Cola\u00e7o","year":"2005","unstructured":"Cola\u00e7o J L, Pagano B, Pouzet M. A conservative extension of synchronous data-flow with state machines. In: Proceedings of the 5th ACM international conference on Embedded software. 2005, 173\u2013182"},{"issue":"3","key":"6134_CR17","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel D. Statecharts: a visual formalism for complex systems. Science of Computer Programming, 1987, 8(3): 231\u2013274","journal-title":"Science of Computer Programming"},{"key":"6134_CR18","first-page":"96","volume-title":"Proceedings of the 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing","author":"Y Wang","year":"2000","unstructured":"Wang Y, Talpin J P, Benveniste A, Le Guernic P. A semantics of UML state-machines using synchronous pre-order transition systems. In: Proceedings of the 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. 2000, 96\u2013103"},{"key":"6134_CR19","volume-title":"Semantics of SyncCharts","author":"C Andr\u00e9","year":"2003","unstructured":"Andr\u00e9 C. Semantics of SyncCharts. Technical Report ISRN I3S\/RR\u20132003\u201324\u2013FR, I3S Laboratory, Sophia-Antipolis, France, 2003"},{"key":"6134_CR20","volume-title":"ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)","author":"R von Hanxleden","year":"2014","unstructured":"von Hanxleden R, Duderstadt B, Motika C, Smyth S, Mendler M, Aguado J, Mercer S, O\u2019Brien O. SCCharts: proceedings of sequentially constructive statecharts for safety-critical applications. In: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). 2014"},{"issue":"4S","key":"6134_CR21","first-page":"144","volume":"13","author":"R V Hanxleden","year":"2014","unstructured":"Hanxleden R V, Mendler M, Aguado J, Duderstadt B, Fuhrmann I, Motika C, Mercer S, O\u2019Brien O. Sequentially constructive concurrency\u2014A conservative extension of the synchronous model of computation. ACM Transaction on Embedded Computing Systems (TECS), 2014, 13(4S): 144","journal-title":"ACM Transaction on Embedded Computing Systems (TECS)"},{"issue":"2","key":"6134_CR22","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1109\/TPDS.2010.69","volume":"22","author":"I Radojevic","year":"2011","unstructured":"Radojevic I, Salcic Z, Roop P. Design of distributed heterogeneous embedded systems in DDFCharts. IEEE Transactions on Parallel and Distributed Systems, 2011, 22(2): 296\u2013308","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"6134_CR23","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/1176887.1176900","volume-title":"Proceedings of the 6th ACM & IEEE International conference on Embedded software","author":"J P Talpin","year":"2006","unstructured":"Talpin J P, Brunette C, Gautier T, Gamati\u00e9 A. Polychronous mode automata. In: Proceedings of the 6th ACM & IEEE International conference on Embedded software. 2006, 83\u201392"},{"issue":"1","key":"6134_CR24","doi-asserted-by":"publisher","first-page":"753821","DOI":"10.1155\/2008\/753821","volume":"2008","author":"P Raymond","year":"2008","unstructured":"Raymond P, Roux Y, Jahier E. Lutin: a language for specifying and executing reactive scenarios. EURASIP Journal on Embedded Systems, 2008, 2008(1): 753821","journal-title":"EURASIP Journal on Embedded Systems"},{"key":"6134_CR25","first-page":"67","volume-title":"Proceedings of 2014 19th International Conference on Engineering of Complex Computer Systems","author":"F Cadoret","year":"2012","unstructured":"Cadoret F, Borde E, Gardoll S, Pautet L. Design patterns for rule-based refinement of safety critical embedded systems models. In: Proceedings of 2014 19th International Conference on Engineering of Complex Computer Systems, 2012, 67\u201376"},{"key":"6134_CR26","first-page":"47","volume-title":"Proceedings of the 12th IFIP WG 6.1 International Conference and the 30th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems","author":"P C \u00d6lveczky","year":"2010","unstructured":"\u00d6lveczky P C, Boronat A, Meseguer J. Formal semantics and analysis of behavioral aadl models in real-time maude. In: Proceedings of the 12th IFIP WG 6.1 International Conference and the 30th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems. 2010, 47\u201362"},{"key":"6134_CR27","first-page":"344","volume-title":"Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems","author":"Z Yang","year":"2011","unstructured":"Yang Z, Hu K, Bodeveix J P, Pi L, Ma D, Talpin J P. Two formal semantics of a subset of the AADL. In: Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems. 2011, 344\u2013349"},{"key":"6134_CR28","volume-title":"Synthesis of Embedded Software","author":"L Besnard","year":"2010","unstructured":"Besnard L, Gautier T, Le Guernic P, Talpin J P. Compilation of Polychronous Data Flow Equations. Synthesis of Embedded Software. Springer, Boston, 2010"},{"key":"6134_CR29","volume-title":"Access Through the ESPRESSO Website","author":"L Besnard","year":"2010","unstructured":"Besnard L, Gautier T, Le Guernic P. SIGNAL V4-INRIA version: reference manual. Access Through the ESPRESSO Website, 2010"},{"key":"6134_CR30","first-page":"1","volume-title":"Handbook of Logic in Computer Science","author":"S Abramsky","year":"1994","unstructured":"Abramsky S, Jung A. Domain theory. Handbook of Logic in Computer Science, Oxford: Oxford University Press, 1994, 1\u2013168"},{"key":"6134_CR31","first-page":"471","volume":"74","author":"K Gilles","year":"1974","unstructured":"Gilles K. The semantics of a simple language for parallel programming. Information Processing, 1974, 74: 471\u2013475","journal-title":"Information Processing"},{"issue":"3","key":"6134_CR32","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G D Plotkin","year":"1976","unstructured":"Plotkin G D. A powerdomain construction. SIAM Journal on Computing, 1976, 5(3): 452\u2013487","journal-title":"SIAM Journal on Computing"},{"key":"6134_CR33","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/3-540-54444-5_100","volume-title":"Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs N, Raymond P, Ratel C. Generating efficient code from data-flow programs. In: Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming. 1991, 207\u2013218"},{"issue":"4","key":"6134_CR34","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1023\/A:1008311720696","volume":"10","author":"H Marchand","year":"2000","unstructured":"Marchand H, Bournai P, Le Borgne M. Synthesis of discrete-event controllers based on the Signal environment. Discrete Event Dynamic System, 2000, 10(4): 325\u2013346","journal-title":"Discrete Event Dynamic System"},{"key":"6134_CR35","first-page":"68","volume":"59","author":"Y Sorel","year":"2004","unstructured":"Sorel Y. SynDEx: system-level CAD software for optimizing distributed real-time embedded systems, Journal ERCIM News, 2004, 59: 68\u201369","journal-title":"Journal ERCIM News"},{"key":"6134_CR36","unstructured":"Wikipedia. Autonomous cruise control system\u2014Wikipedia, The Free Encyclopedia, 2015"},{"issue":"9","key":"6134_CR37","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"E A Lee","year":"1987","unstructured":"Lee E A, Messerschmitt D G. Synchronous data flow. Proceedings of the IEEE, 1987, 75(9): 1235\u20131245","journal-title":"Proceedings of the IEEE"},{"key":"6134_CR38","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-981-10-4436-6_3","volume-title":"Cyber-Physical System Design from an Architecture Analysis Viewpoint. Springer, Singapore","author":"L Besnard","year":"2017","unstructured":"Besnard L, Gautier T, Le Guernic P, Guy C, Talpin J P, Larson B R, Borde E. Formal semantics of behavior specifications in the architecture analysis and design language standard. Cyber-Physical System Design from an Architecture Analysis Viewpoint. Springer, Singapore, 2017, 53\u201379"},{"key":"6134_CR39","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1016\/j.scico.2014.05.014","volume":"106","author":"L Besnard","year":"2015","unstructured":"Besnard L, Bouakaz A, Gautier T, Le Guernic P, Ma Y, Talpin J P, Yu H. Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony. Science of Computer Programming, 2015, 106: 54\u201377","journal-title":"Science of Computer Programming"},{"key":"6134_CR40","volume-title":"Real-time scheduling of dataflow graphs","author":"A Bouakaz","year":"2013","unstructured":"Bouakaz A. Real-time scheduling of dataflow graphs. PhD thesis, Universit\u00e9 de Rennes 1, 2013"},{"key":"6134_CR41","first-page":"1","volume-title":"Proceedings of Electronic System Level Synthesis Conference (ESLsyn)","author":"J P Talpin","year":"2014","unstructured":"Talpin J P, Gautier T. Precise deadlock detection for polychronous dataflow specifications. In: Proceedings of Electronic System Level Synthesis Conference (ESLsyn). 2014, 1\u20136"},{"key":"6134_CR42","volume-title":"Logically timed specifications in the AADL: a synchronous model of computation and communication (recommendations to the SAE committee on AADL)","author":"L Besnard","year":"2014","unstructured":"Besnard L, Borde E, Dissaux P, Gautier T, Le Guernic P, Talpin J P. Logically timed specifications in the AADL: a synchronous model of computation and communication (recommendations to the SAE committee on AADL). Technical Report, 2014"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-017-6134-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-017-6134-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-017-6134-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,16]],"date-time":"2020-06-16T23:09:11Z","timestamp":1592348951000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-017-6134-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,18]]},"references-count":42,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,8]]}},"alternative-id":["6134"],"URL":"https:\/\/doi.org\/10.1007\/s11704-017-6134-5","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,6,18]]},"assertion":[{"value":"4 March 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 July 2017","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 June 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}