{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:45:07Z","timestamp":1760708707629},"reference-count":46,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2015,8,1]],"date-time":"2015-08-01T00:00:00Z","timestamp":1438387200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:00:00Z","timestamp":1564617600000},"content-version":"vor","delay-in-days":1461,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1016\/j.scico.2014.05.014","type":"journal-article","created":{"date-parts":[[2014,5,28]],"date-time":"2014-05-28T11:39:10Z","timestamp":1401277150000},"page":"54-77","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":12,"special_numbering":"C","title":["Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony"],"prefix":"10.1016","volume":"106","author":[{"given":"Lo\u00efc","family":"Besnard","sequence":"first","affiliation":[]},{"given":"Adnan","family":"Bouakaz","sequence":"additional","affiliation":[]},{"given":"Thierry","family":"Gautier","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Le Guernic","sequence":"additional","affiliation":[]},{"given":"Yue","family":"Ma","sequence":"additional","affiliation":[]},{"given":"Jean-Pierre","family":"Talpin","sequence":"additional","affiliation":[]},{"given":"Huafeng","family":"Yu","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"author":"SCADE Suite","key":"10.1016\/j.scico.2014.05.014_br0010"},{"author":"Matlab","key":"10.1016\/j.scico.2014.05.014_br0020"},{"key":"10.1016\/j.scico.2014.05.014_br0030","series-title":"Readings in Hardware\/Software Co-Design","first-page":"527","article-title":"Ptolemy: a framework for simulating and prototyping heterogeneous systems","author":"Buck","year":"2002"},{"key":"10.1016\/j.scico.2014.05.014_br0050","series-title":"ACM Symposium on Applied Computing (SAC'11)","article-title":"System-level co-simulation of integrated avionics using Polychrony","author":"Yu","year":"2011"},{"key":"10.1016\/j.scico.2014.05.014_br0070","unstructured":"SAE Aerospace (Society of Automotive Engineers), Aerospace Standard AS5506A: Architecture Analysis and Design Language (AADL), SAE AS5506A."},{"key":"10.1016\/j.scico.2014.05.014_br0090","series-title":"Design, Automation, & Test in Europe (DATE'13)","article-title":"Toward polychronous analysis and validation for timed software architectures in AADL","author":"Ma","year":"2013"},{"issue":"5","key":"10.1016\/j.scico.2014.05.014_br0110","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1145\/2499369.2465558","article-title":"Buffer minimization in earliest-deadline first scheduling of data-flow graphs","volume":"48","author":"Bouakaz","year":"2013","journal-title":"SIGPLAN Not."},{"key":"10.1016\/j.scico.2014.05.014_br0120","series-title":"Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems","first-page":"58","article-title":"Design of safety-critical Java level 1 applications using affine abstract clocks","author":"Bouakaz","year":"2013"},{"year":"2013","series-title":"Real-time scheduling of dataflow graphs","author":"Bouakaz","key":"10.1016\/j.scico.2014.05.014_br0130"},{"key":"10.1016\/j.scico.2014.05.014_br0140","series-title":"ACM SIGAda International Conference on ADA (SigAda'05)","article-title":"Scheduling and memory requirements analysis with AADL","author":"Singhoff","year":"2005"},{"key":"10.1016\/j.scico.2014.05.014_br0150","doi-asserted-by":"crossref","first-page":"754","DOI":"10.1093\/comjnl\/bxq024","article-title":"Safety, dependability, and performance analysis of extended AADL models","volume":"54","author":"Bozzano","year":"2011","journal-title":"Comput. J."},{"year":"2007","series-title":"Flow latency analysis with the Architecture Analysis and Design Language (AADL)","author":"Feiler","key":"10.1016\/j.scico.2014.05.014_br0160"},{"key":"10.1016\/j.scico.2014.05.014_br0170","series-title":"Models in Software Engineering","article-title":"Translating AADL into BIP \u2013 application to the verification of real-time systems","author":"Chkouri","year":"2009"},{"key":"10.1016\/j.scico.2014.05.014_br0180","article-title":"Formal semantics and analysis of behavioral AADL models in real-time maude","volume":"vol. 6117","author":"\u00d6lveczky","year":"2010"},{"key":"10.1016\/j.scico.2014.05.014_br0190","series-title":"Proceedings of the 2010 15th IEEE International Conference on Engineering of Complex Computer Systems","first-page":"337","article-title":"Expressing and enforcing user-defined constraints of AADL models","author":"Gilles","year":"2010"},{"key":"10.1016\/j.scico.2014.05.014_br0200","series-title":"Proceedings of the 4th International Conference on NASA Formal Methods","first-page":"126","article-title":"Compositional verification of architectural models","author":"Cofer","year":"2012"},{"key":"10.1016\/j.scico.2014.05.014_br0210","series-title":"ERTSS 2010 \u2013 Embedded Real-Time Software and Systems","first-page":"1","article-title":"Formal verification of AADL models with Fiacre and Tina","author":"Berthomieu","year":"2010"},{"key":"10.1016\/j.scico.2014.05.014_br0220","series-title":"IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)","article-title":"An implementation of the behavior annex in the AADL toolset OSATE2","author":"Lasnier","year":"2011"},{"key":"10.1016\/j.scico.2014.05.014_br0230","series-title":"Proceedings of the 2011 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'11)","article-title":"Two formal semantics for a subset of the AADL","author":"Yang","year":"2011"},{"issue":"1\u20132","key":"10.1016\/j.scico.2014.05.014_br0240","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/s11334-009-0109-0","article-title":"The clock constraint specification language for building timed causality models","volume":"6","author":"Mallet","year":"2010","journal-title":"Innov. Syst. Softw. Eng."},{"author":"Object Management Group (OMG)","key":"10.1016\/j.scico.2014.05.014_br0250"},{"key":"10.1016\/j.scico.2014.05.014_br0260","series-title":"Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction","article-title":"Compilation of polychronous data flow equations","author":"Besnard","year":"2010"},{"key":"10.1016\/j.scico.2014.05.014_br0280","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1142\/S0218126603000763","article-title":"Polychrony for system design","volume":"12","author":"Le Guernic","year":"2002","journal-title":"J. Circuits Syst. Comput."},{"key":"10.1016\/j.scico.2014.05.014_br0290","series-title":"Handbook of Logic in Computer Science, vol. 3","first-page":"1","article-title":"Domain theory","author":"Abramsky","year":"1994"},{"key":"10.1016\/j.scico.2014.05.014_br0300","series-title":"IFIP Congress","first-page":"471","article-title":"The semantics of simple language for parallel programming","author":"Kahn","year":"1974"},{"year":"1993","series-title":"Algebraic domains, chain completion and the Plotkin powerdomain construction","author":"Knijnenburg","key":"10.1016\/j.scico.2014.05.014_br0310"},{"year":"2007","series-title":"Compiling Esterel","author":"Potop-Butucaru","key":"10.1016\/j.scico.2014.05.014_br0320"},{"key":"10.1016\/j.scico.2014.05.014_br0330","series-title":"Logic in Computer Science","first-page":"214","article-title":"A completeness theorem for Kleene algebras and the algebra of regular events","author":"Kozen","year":"1991"},{"key":"10.1016\/j.scico.2014.05.014_br0340","unstructured":"IEEE standard for Property Specification Language (PSL), IEEE Std 1850-2005, 2005, pp. 1\u2013143."},{"issue":"1","key":"10.1016\/j.scico.2014.05.014_br0350","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1137\/100814196","article-title":"Regular expressions with counting: weak versus strong determinism","volume":"41","author":"Gelade","year":"2012","journal-title":"SIAM J. Comput."},{"key":"10.1016\/j.scico.2014.05.014_br0360","series-title":"IEEE International Conference on Embedded Software and Systems (ICESS'09)","article-title":"Distributed simulation of AADL specifications in a polychronous model of computation","author":"Ma","year":"2009"},{"key":"10.1016\/j.scico.2014.05.014_br0390","series-title":"Proceedings of the 12th International Conference on Application of Concurrency to System Design","article-title":"Affine data-flow graphs for the synthesis of hard real-time applications","author":"Bouakaz","year":"2012"},{"issue":"3","key":"10.1016\/j.scico.2014.05.014_br0400","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/BF00365326","article-title":"Dynamic scheduling of real-time tasks under precedence constraints","volume":"2","author":"Chetto","year":"1990","journal-title":"Real-Time Syst."},{"key":"10.1016\/j.scico.2014.05.014_br0410","series-title":"Modeling and Performance of Computer Systems","article-title":"Scheduling dependant tasks with different arrival times to meet deadlines","author":"Blazewicz","year":"1977"},{"key":"10.1016\/j.scico.2014.05.014_br0420","series-title":"Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium","first-page":"301","article-title":"Scheduling dependent periodic tasks without synchronization mechanisms","author":"Forget","year":"2010"},{"key":"10.1016\/j.scico.2014.05.014_br0430","series-title":"Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development","first-page":"233","article-title":"Affine transformations in signal and their application in the specification and validation of real-time systems","author":"Smarandache","year":"1997"},{"key":"10.1016\/j.scico.2014.05.014_br0440","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/TC.1987.5009446","article-title":"Static scheduling of synchronous dataflow programs for digital signal processing","volume":"36","author":"Lee","year":"1987","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/j.scico.2014.05.014_br0450","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1109\/78.485935","article-title":"Cycle-static dataflow","volume":"44","author":"Bilsen","year":"1996","journal-title":"IEEE Trans. Signal Process."},{"issue":"4","key":"10.1016\/j.scico.2014.05.014_br0460","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/0166-5316(82)90024-4","article-title":"On the complexity of fixed-priority scheduling of periodic, real-time tasks","volume":"2","author":"Leung","year":"1982","journal-title":"Perform. Eval."},{"issue":"4","key":"10.1016\/j.scico.2014.05.014_br0470","doi-asserted-by":"crossref","first-page":"35:1","DOI":"10.1145\/1978802.1978814","article-title":"A survey of hard real-time scheduling for multiprocessor systems","volume":"43","author":"Davis","year":"2011","journal-title":"ACM Comput. Surv."},{"key":"10.1016\/j.scico.2014.05.014_br0480","series-title":"Proceedings of the IEEE Workshop on Real-Time Operating Systems and Software","first-page":"133","article-title":"Hard real-time scheduling: the deadline-monotonic approach","author":"Audsley","year":"1991"},{"issue":"1","key":"10.1016\/j.scico.2014.05.014_br0490","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF00365519","article-title":"Improvement in feasibility testing for real-time tasks","volume":"11","author":"Ripoll","year":"1996","journal-title":"Real-Time Syst."},{"key":"10.1016\/j.scico.2014.05.014_br0500","doi-asserted-by":"crossref","first-page":"1250","DOI":"10.1109\/TC.2009.58","article-title":"Schedulability analysis for real-time systems with EDF scheduling","volume":"58","author":"Zhang","year":"2009","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/j.scico.2014.05.014_br0540","series-title":"Electronic System Level Synthesis Conference","article-title":"System synthesis from AADL using Polychrony","author":"Ma","year":"2011"},{"key":"10.1016\/j.scico.2014.05.014_br0550","series-title":"European Conference on Embedded Real-Time Software (ERTS'08)","article-title":"Gene-auto: an automatic code generator for a safe subset of SimuLink\/StateFlow and Scicos","author":"Toom","year":"2008"},{"key":"10.1016\/j.scico.2014.05.014_br0560","series-title":"IEE Colloquium on the Hardware\u2013Software Cosynthesis for Reconfigurable","article-title":"Profiling of signal programs and its application in the timing evaluation of design implementations","author":"Kountouris","year":"1996"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016764231400269X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016764231400269X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,7,31]],"date-time":"2019-07-31T20:18:17Z","timestamp":1564604297000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S016764231400269X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8]]},"references-count":46,"alternative-id":["S016764231400269X"],"URL":"https:\/\/doi.org\/10.1016\/j.scico.2014.05.014","relation":{},"ISSN":["0167-6423"],"issn-type":[{"type":"print","value":"0167-6423"}],"subject":[],"published":{"date-parts":[[2015,8]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony","name":"articletitle","label":"Article Title"},{"value":"Science of Computer Programming","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.scico.2014.05.014","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2014 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}