{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T18:41:17Z","timestamp":1790793677912,"version":"4.1.0"},"reference-count":48,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2007,4,1]],"date-time":"2007-04-01T00:00:00Z","timestamp":1175385600000},"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":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2007,4]]},"abstract":"<jats:p>\n            Embedded real-time systems consist of hardware and software that controls the behavior of a device or plant. They are ubiquitous in today's technological landscape and found in domains such as telecommunications, nuclear power, avionics, and medical technology. These systems are difficult to design and build because they must satisfy both functional and timing requirements to work correctly in their intended environment. Furthermore, embedded systems are often critical systems, where failure can lead to loss of life, loss of mission, or serious financial consequences. Because of the difficulty in creating these systems and the consequences of failure, they require rigorous and reliable design approaches. The synchronous approach is one possible answer to this demand. Its mathematical basis provides formal concepts that favor the trusted design of embedded real-time systems. The multiclock or\n            <jats:italic>polychronous<\/jats:italic>\n            model stands out from other synchronous specification models by its capability to enable the design of systems where each component holds its own activation clock as well as single-clocked systems in a uniform way. A great advantage is its convenience for component-based design approaches that enable modular development of increasingly complex modern systems. The expressiveness of its underlying semantics allows dealing with several issues of real-time design. This article exposes insights gained during recent years from the design of real-time applications within the polychronous framework. In particular, it shows promising results about the design of applications from the avionics domain.\n          <\/jats:p>","DOI":"10.1145\/1217295.1217298","type":"journal-article","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T14:37:11Z","timestamp":1181140631000},"page":"9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["Polychronous design of embedded real-time applications"],"prefix":"10.1145","volume":"16","author":[{"given":"Abdoulaye","family":"Gamati\u00e9","sequence":"first","affiliation":[{"name":"INRIA Futurs, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thierry","family":"Gautier","sequence":"additional","affiliation":[{"name":"IRISA\/INRIA, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paul Le","family":"Guernic","sequence":"additional","affiliation":[{"name":"IRISA\/INRIA, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Pierre","family":"Talpin","sequence":"additional","affiliation":[{"name":"IRISA\/INRIA, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2007,4]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"AADL Seminar (Toulouse, France)","author":"Coordination Commitee","unstructured":"AADL Coordination Commitee . 2002. Avionics architecture description language . In AADL Seminar (Toulouse, France) . Society of Automotive Engineers . AADL Coordination Commitee. 2002. Avionics architecture description language. In AADL Seminar (Toulouse, France). Society of Automotive Engineers."},{"key":"e_1_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Alur R. Dang T. Esposito J. Hur Y. Ivancic F. Kumar V. Lee I. Mishra P. Pappas G. and Sokolsky O. 2003. Hierarchical modeling and analysis of embedded systems. IEEE Press 91 1 11--28.  Alur R. Dang T. Esposito J. Hur Y. Ivancic F. Kumar V. Lee I. Mishra P. Pappas G. and Sokolsky O. 2003. Hierarchical modeling and analysis of embedded systems. IEEE Press 91 1 11--28.","DOI":"10.1109\/JPROC.2002.805817"},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). ACM Press","author":"Amagbegnon T.","year":"1995","unstructured":"Amagbegnon , T. , Besnard , L. , and Le Guernic , P. 1995 . Implementation of the data-flow synchronous language Signal . In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). ACM Press , New York. 163--173. 10.1145\/ 207110.207134 Amagbegnon, T., Besnard, L., and Le Guernic, P. 1995. Implementation of the data-flow synchronous language Signal. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). ACM Press, New York. 163--173. 10.1145\/207110.207134"},{"key":"e_1_2_1_7_1","unstructured":"Arvind and Gostelow K. 1978. Some Relationships Between Asynchronous Interpreters of a Dataflow Language. North-Holland New York.  Arvind and Gostelow K. 1978. Some Relationships Between Asynchronous Interpreters of a Dataflow Language. North-Holland New York."},{"key":"e_1_2_1_8_1","volume-title":"Real Time Systems Symposium (RTSS)","author":"Audsley N.","unstructured":"Audsley , N. and Wellings , A . 1996. Analysing APEX applications . In Real Time Systems Symposium (RTSS) ( Washington, DC). IEEE Press. Audsley, N. and Wellings, A. 1996. Analysing APEX applications. In Real Time Systems Symposium (RTSS) (Washington, DC). IEEE Press."},{"key":"e_1_2_1_9_1","volume-title":"School on Formal Techniques in Real Time and Fault Tolerant Systems 1998: Material for the School","author":"Benveniste A.","unstructured":"Benveniste , A. 1998. Safety critical embedded systems design: The SACRES approach . In School on Formal Techniques in Real Time and Fault Tolerant Systems 1998: Material for the School . Technical University of Denmark , Lyngby, Denmark . Benveniste, A. 1998. Safety critical embedded systems design: The SACRES approach. In School on Formal Techniques in Real Time and Fault Tolerant Systems 1998: Material for the School. Technical University of Denmark, Lyngby, Denmark."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the 2nd International Conference on Embedded Software (EMSOFT)","author":"Benveniste A.","unstructured":"Benveniste , A. , Caspi , P. , Le Guernic , P. , Marchand , H. , Talpin , J. , and Tripakis , S . 2002. A protocol for loosely time-triggered architectures . In Proceedings of the 2nd International Conference on Embedded Software (EMSOFT) ( London). Springer Verlag. 252--265. Benveniste, A., Caspi, P., Le Guernic, P., Marchand, H., Talpin, J., and Tripakis, S. 2002. A protocol for loosely time-triggered architectures. In Proceedings of the 2nd International Conference on Embedded Software (EMSOFT) (London). Springer Verlag. 252--265."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.53519"},{"key":"e_1_2_1_13_1","volume-title":"Sophia-Antipolis Conference on Micro-Electronics (SAME). Sophia Antipolis MicroElectronics, Sophia-Antipolis, France.","author":"Berry G.","unstructured":"Berry , G. and Sentovich , E . 1998. Embedding synchronous circuits in GALS-based systems . In Sophia-Antipolis Conference on Micro-Electronics (SAME). Sophia Antipolis MicroElectronics, Sophia-Antipolis, France. Berry, G. and Sentovich, E. 1998. Embedding synchronous circuits in GALS-based systems. In Sophia-Antipolis Conference on Micro-Electronics (SAME). Sophia Antipolis MicroElectronics, Sophia-Antipolis, France."},{"key":"e_1_2_1_14_1","first-page":"1","article-title":"Towards the verification of real-time systems in avionics: The Cotre approach","volume":"80","author":"Berthomieu B.","year":"2003","unstructured":"Berthomieu , B. , Ribet , P.-O. , Vernadat , F. , Bernartt , J. L. , Farines , J.-M. , Bodeveix , J.-P. , Filali , M. , Padiou , G. , Michel , P. , Farail , P. , Gauffilet , P. , Dissaux , P. , and Lambert , J.-L. 2003 . Towards the verification of real-time systems in avionics: The Cotre approach . Electron. Not. Theor. Comput. Sci. 80 , 1 -- 16 . Berthomieu, B., Ribet, P.-O., Vernadat, F., Bernartt, J. L., Farines, J.-M., Bodeveix, J.-P., Filali, M., Padiou, G., Michel, P., Farail, P., Gauffilet, P., Dissaux, P., and Lambert, J.-L. 2003. Towards the verification of real-time systems in avionics: The Cotre approach. Electron. Not. Theor. Comput. Sci. 80, 1--16.","journal-title":"Electron. Not. Theor. Comput. Sci."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2005.33"},{"key":"e_1_2_1_16_1","unstructured":"Camus J.-L. and Dion B. 2003. Efficient development of airborne software with Scade suite. Tech. Rep. Esterel Technologies. www.esterel-technologies.com.  Camus J.-L. and Dion B. 2003. Efficient development of airborne software with Scade suite. Tech. Rep. Esterel Technologies. www.esterel-technologies.com."},{"key":"e_1_2_1_17_1","volume-title":"Proceedings of the 1st International Workshop on Embedded Software (EMSOFT)","volume":"2211","author":"Caspi P.","year":"2001","unstructured":"Caspi , P. 2001 . Embedded control: From asynchrony to synchrony and back . In Proceedings of the 1st International Workshop on Embedded Software (EMSOFT) ( Lake Tahoe, CA), Th. A. Henzinger and Ch. M. Kirsch, Eds. Lecture Notes in Computer Science , vol. 2211 , Springer Verlag. Caspi, P. 2001. Embedded control: From asynchrony to synchrony and back. In Proceedings of the 1st International Workshop on Embedded Software (EMSOFT) (Lake Tahoe, CA), Th. A. Henzinger and Ch. M. Kirsch, Eds. Lecture Notes in Computer Science, vol. 2211, Springer Verlag."},{"key":"e_1_2_1_18_1","volume-title":"Taxys: A tool for the development and verification of real-time embedded systems. In Proceedings of the Computer Aided Verification (CAV) (London)","author":"Closse E.","year":"2001","unstructured":"Closse , E. , Poize , M. , Pulou , J. , Sifakis , J. , Venier , P. , Weil , D. , and Yovine , S . 2001 . Taxys: A tool for the development and verification of real-time embedded systems. In Proceedings of the Computer Aided Verification (CAV) (London) . Springer Verlag . Closse, E., Poize, M., Pulou, J., Sifakis, J., Venier, P., Weil, D., and Yovine, S. 2001. Taxys: A tool for the development and verification of real-time embedded systems. In Proceedings of the Computer Aided Verification (CAV) (London). Springer Verlag."},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the 6th Australian Workshop on Safety Critical Systems and Software (SCS). Australian Computer Society, Darlinghurst Australia. 13--21","author":"Conmy P.","year":"2001","unstructured":"Conmy , P. and McDermid , J. 2001 . High level failure analysis for integrated modular avionics . In Proceedings of the 6th Australian Workshop on Safety Critical Systems and Software (SCS). Australian Computer Society, Darlinghurst Australia. 13--21 . Conmy, P. and McDermid, J. 2001. High level failure analysis for integrated modular avionics. In Proceedings of the 6th Australian Workshop on Safety Critical Systems and Software (SCS). Australian Computer Society, Darlinghurst Australia. 13--21."},{"key":"e_1_2_1_20_1","volume-title":"Proceedings of the 16th IEEE Real Time Systems Symposium (RTSS)","author":"Daws C.","unstructured":"Daws , C. and Yovine , S . 1995. Two examples of verification of multirate timed automata with Kronos . In Proceedings of the 16th IEEE Real Time Systems Symposium (RTSS) ( Pisa, Italy). IEEE Press. Daws, C. and Yovine, S. 1995. Two examples of verification of multirate timed automata with Kronos. In Proceedings of the 16th IEEE Real Time Systems Symposium (RTSS) (Pisa, Italy). IEEE Press."},{"key":"e_1_2_1_21_1","volume-title":"Proceedings of the International Symposium on Theoretical Programming","volume":"5","author":"Dennis J. B.","unstructured":"Dennis , J. B. , Fossen , J. B. , and Linderman , J. P . 1974. Data flow schemas . In Proceedings of the International Symposium on Theoretical Programming ( London, UK), A. Ershov and V. A. Nepomniaschy, Eds. Lecture Notes in Computer Science , vol. 5 , Springer Verlag. 187--216. Dennis, J. B., Fossen, J. B., and Linderman, J. P. 1974. Data flow schemas. In Proceedings of the International Symposium on Theoretical Programming (London, UK), A. Ershov and V. A. Nepomniaschy, Eds. Lecture Notes in Computer Science, vol. 5, Springer Verlag. 187--216."},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of the Conference on Dependable Computing for Critical Applications (DCCA)","author":"Di Vito B.","year":"1999","unstructured":"Di Vito , B. 1999 . A model of cooperative noninterference for integrated modular avionics . In Proceedings of the Conference on Dependable Computing for Critical Applications (DCCA) ( Washington, DC). IEEE Computer Society. 269. Di Vito, B. 1999. A model of cooperative noninterference for integrated modular avionics. In Proceedings of the Conference on Dependable Computing for Critical Applications (DCCA) (Washington, DC). IEEE Computer Society. 269."},{"key":"e_1_2_1_23_1","unstructured":"ESPRESSO-IRISA. 2006. The Polychrony website. www.irisa.fr\/espresso\/Polychrony.  ESPRESSO-IRISA. 2006. The Polychrony website. www.irisa.fr\/espresso\/Polychrony."},{"key":"e_1_2_1_24_1","volume-title":"Tech. Rep. 4678, INRIA. December. www.inria.fr\/rrrt\/rr-4678.html.","author":"Gamati\u00e9 A.","year":"2002","unstructured":"Gamati\u00e9 , A. and Gautier , T . 2002 . Synchronous modeling of modular avionics architectures using the Signal language. Tech. Rep. 4678, INRIA. December. www.inria.fr\/rrrt\/rr-4678.html. Gamati\u00e9, A. and Gautier, T. 2002. Synchronous modeling of modular avionics architectures using the Signal language. Tech. Rep. 4678, INRIA. December. www.inria.fr\/rrrt\/rr-4678.html."},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of the 10th IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS). 80","author":"Gamati\u00e9 A.","unstructured":"Gamati\u00e9 , A. and Gautier , T . 2003a. The signal approach to the design of system architectures . In Proceedings of the 10th IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS). 80 . Gamati\u00e9, A. and Gautier, T. 2003a. The signal approach to the design of system architectures. In Proceedings of the 10th IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS). 80."},{"key":"e_1_2_1_26_1","volume-title":"9th IEEE Real-Time\/Embedded Technology and Applications Symposium. IEEE Computer Society","author":"Gamati\u00e9 A.","unstructured":"Gamati\u00e9 , A. and Gautier , T . 2003b. Synchronous modeling of avionics applications using the Signal language . In 9th IEEE Real-Time\/Embedded Technology and Applications Symposium. IEEE Computer Society , Los Alamitos, CA. Gamati\u00e9, A. and Gautier, T. 2003b. Synchronous modeling of avionics applications using the Signal language. In 9th IEEE Real-Time\/Embedded Technology and Applications Symposium. IEEE Computer Society, Los Alamitos, CA."},{"key":"e_1_2_1_27_1","volume-title":"Proceedings of the 10th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA)","author":"Gamati\u00e9 A.","year":"2004","unstructured":"Gamati\u00e9 , A. , Gautier , T. , and Le Guernic , P. 2004 . An example of synchronous design of embedded real-time systems based on IMA . In Proceedings of the 10th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA) ( Gothenburg, Sweden). Lecture Notes in Computer Science. Springer Verlag. Gamati\u00e9, A., Gautier, T., and Le Guernic, P. 2004. An example of synchronous design of embedded real-time systems based on IMA. In Proceedings of the 10th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA) (Gothenburg, Sweden). Lecture Notes in Computer Science. Springer Verlag."},{"key":"e_1_2_1_28_1","volume-title":"Safety-Critical Systems Symposium (SSS)","author":"Gautier T.","unstructured":"Gautier , T. and Le Guernic, P. 1999. Code generation in the Sacres project . In Safety-Critical Systems Symposium (SSS) ( Huntington, UK), F. Redmill and T. Anderson, Ed. Springer Verlag. Gautier, T. and Le Guernic, P. 1999. Code generation in the Sacres project. In Safety-Critical Systems Symposium (SSS) (Huntington, UK), F. Redmill and T. Anderson, Ed. Springer Verlag."},{"key":"e_1_2_1_29_1","volume-title":"Formal Methods and Models for Codesign Conference (MEMOCODE). IEEE Computer Society","author":"Grandpierre T.","unstructured":"Grandpierre , T. and Sorel , Y . 2003. From algorithm and architecture specifications to automatic generation of distributed real-time executives: A seamless flow of graphs transformations . In Formal Methods and Models for Codesign Conference (MEMOCODE). IEEE Computer Society , Los Alamitos, CA. Grandpierre, T. and Sorel, Y. 2003. From algorithm and architecture specifications to automatic generation of distributed real-time executives: A seamless flow of graphs transformations. In Formal Methods and Models for Codesign Conference (MEMOCODE). IEEE Computer Society, Los Alamitos, CA."},{"key":"e_1_2_1_30_1","volume-title":"Proceedings of the Conference on Embedded Software (EMSOFT)","volume":"2491","author":"Halbwachs N.","unstructured":"Halbwachs , N. and Baghdadi , S . 2002. Synchronous modelling of asynchronous systems . In Proceedings of the Conference on Embedded Software (EMSOFT) ( Grenoble, France), J. Sifakis and A. Sangiovanni-Vincentelli, Eds. Lecture Notes in Computer Science , vol. 2491 , Springer Verlag. 240--251. Halbwachs, N. and Baghdadi, S. 2002. Synchronous modelling of asynchronous systems. In Proceedings of the Conference on Embedded Software (EMSOFT) (Grenoble, France), J. Sifakis and A. Sangiovanni-Vincentelli, Eds. Lecture Notes in Computer Science, vol. 2491, Springer Verlag. 240--251."},{"key":"e_1_2_1_31_1","volume-title":"Algebraic Methodology and Software Technology. Springer Verlag, 1994","author":"Halbwachs N.","year":"1985","unstructured":"Halbwachs , N. , Lagnier , F. , and Raymond , P . 1993. Synchronous observers and the verification of reactive systems . In Algebraic Methodology and Software Technology. Springer Verlag, 1994 , ISBN 3-540- 1985 2-0, Enschede, The Netherlands. 83--96. Halbwachs, N., Lagnier, F., and Raymond, P. 1993. Synchronous observers and the verification of reactive systems. In Algebraic Methodology and Software Technology. Springer Verlag, 1994, ISBN 3-540-19852-0, Enschede, The Netherlands. 83--96."},{"key":"e_1_2_1_32_1","volume-title":"Proceedings of the 25th International Conference on Software Engineering (ICSE)","author":"Hatcliff J.","year":"2003","unstructured":"Hatcliff , J. , Deng , W. , Dwyer , M. , Jung , G. , and Prasad Ranganath , V. 2003 . Cadena: An integrated development, analysis, and verification environment for component-based systems . In Proceedings of the 25th International Conference on Software Engineering (ICSE) ( Washington, DC). IEEE Computer Society. 160--173. Hatcliff, J., Deng, W., Dwyer, M., Jung, G., and Prasad Ranganath, V. 2003. Cadena: An integrated development, analysis, and verification environment for component-based systems. In Proceedings of the 25th International Conference on Software Engineering (ICSE) (Washington, DC). IEEE Computer Society. 160--173."},{"key":"e_1_2_1_33_1","volume-title":"Proceedings of the ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems. ACM Press","author":"Henzinger T.","unstructured":"Henzinger , T. , Horowitz , B. , and Kirsch , C . 2001. Embedded control systems development with Giotto . In Proceedings of the ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems. ACM Press , New York. 64--72. 10.1145\/384198.384208 Henzinger, T., Horowitz, B., and Kirsch, C. 2001. Embedded control systems development with Giotto. In Proceedings of the ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems. ACM Press, New York. 64--72. 10.1145\/384198.384208"},{"key":"e_1_2_1_34_1","first-page":"L","article-title":"The semantics of a simple language for parallel programming","volume":"74","author":"Kahn G.","year":"1974","unstructured":"Kahn , G. 1974 . The semantics of a simple language for parallel programming . In Information Processing , vol. 74 , J. L . Rosenfeld, Ed. North-Holland, New York. 471--475. Kahn, G. 1974. The semantics of a simple language for parallel programming. In Information Processing, vol. 74, J. L. Rosenfeld, Ed. North-Holland, New York. 471--475.","journal-title":"Information Processing"},{"key":"e_1_2_1_36_1","volume-title":"IEE Colloquium on Hardware-Software Cosynthesis for Reconfigurable Systems. (Jun. 1--9)","author":"Kountouris A.","unstructured":"Kountouris , A. and Le Guernic , P. 1996. Profiling of Signal programs and its application in the timing evaluation of design implementations . In IEE Colloquium on Hardware-Software Cosynthesis for Reconfigurable Systems. (Jun. 1--9) , Bristol, UK . Kountouris, A. and Le Guernic, P. 1996. Profiling of Signal programs and its application in the timing evaluation of design implementations. In IEE Colloquium on Hardware-Software Cosynthesis for Reconfigurable Systems. (Jun. 1--9), Bristol, UK."},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126603000763"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.868693"},{"key":"e_1_2_1_40_1","volume-title":"Proceedings of the International Conference on Dependable Systems and Networks (DSN)","author":"Lee Y.-H.","year":"2000","unstructured":"Lee , Y.-H. , Kim , D. , Younis , M. , Zhou , J. , and McElroy , J. 2000 . Resource scheduling in dependable integrated modular avionics . In Proceedings of the International Conference on Dependable Systems and Networks (DSN) ( Washington, DC). IEEE Computer Society. 14--23. Lee, Y.-H., Kim, D., Younis, M., Zhou, J., and McElroy, J. 2000. Resource scheduling in dependable integrated modular avionics. In Proceedings of the International Conference on Dependable Systems and Networks (DSN) (Washington, DC). IEEE Computer Society. 14--23."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008311720696"},{"key":"e_1_2_1_42_1","volume-title":"Proceedings of the 2nd International Conference on Embedded Software (EMSOFT)","volume":"2491","author":"Pnueli A.","year":"2002","unstructured":"Pnueli , A. 2002 . Embedded systems: Challenges in specification and verification . In Proceedings of the 2nd International Conference on Embedded Software (EMSOFT) ( Grenoble, France), J. Sifakis and A. Sangiovanni-Vincentelli, Eds. Lecture Notes in Computer Science , vol. 2491 . Springer Verlag. 252--265. Pnueli, A. 2002. Embedded systems: Challenges in specification and verification. In Proceedings of the 2nd International Conference on Embedded Software (EMSOFT) (Grenoble, France), J. Sifakis and A. Sangiovanni-Vincentelli, Eds. Lecture Notes in Computer Science, vol. 2491. Springer Verlag. 252--265."},{"key":"e_1_2_1_43_1","volume-title":"Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS)","author":"Puaut I.","unstructured":"Puaut , I. and Decotigny , D . 2002. Low-Complexity algorithms for static cache locking in multitasking hard real-time systems . In Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS) ( Washington, DC). IEEE Computer Society. 114. Puaut, I. and Decotigny, D. 2002. Low-Complexity algorithms for static cache locking in multitasking hard real-time systems. In Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS) (Washington, DC). IEEE Computer Society. 114."},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008119029962"},{"key":"e_1_2_1_45_1","volume-title":"Proceedings of the 14th Euromicro Conference on Real Time Systems (ECRTS) (Work in Progress session). IEEE Computer Society","author":"Romberg J.","year":"2002","unstructured":"Romberg , J. 2002 . Model-Based deployment with autofocus: A first cut . In Proceedings of the 14th Euromicro Conference on Real Time Systems (ECRTS) (Work in Progress session). IEEE Computer Society , Los Alamitos, CA. 41--44. Romberg, J. 2002. Model-Based deployment with autofocus: A first cut. In Proceedings of the 14th Euromicro Conference on Real Time Systems (ECRTS) (Work in Progress session). IEEE Computer Society, Los Alamitos, CA. 41--44."},{"key":"e_1_2_1_48_1","volume-title":"Proceedings of the 1st International Symposium on Information and Communication Technologies (ISICT)","author":"S\u00e1nchez-Puebla M.","unstructured":"S\u00e1nchez-Puebla , M. and Carretero , J . 2003. A new approach for distributed computing in avionics systems . In Proceedings of the 1st International Symposium on Information and Communication Technologies (ISICT) ( Dublin, Ireland). 579--584. S\u00e1nchez-Puebla, M. and Carretero, J. 2003. A new approach for distributed computing in avionics systems. In Proceedings of the 1st International Symposium on Information and Communication Technologies (ISICT) (Dublin, Ireland). 579--584."},{"key":"e_1_2_1_49_1","volume-title":"Workshop on Model-Driven Embedded Systems in RTAS. IEEE Computer Society","author":"Sharp D.","unstructured":"Sharp , D. and Roll , W . 2003. Model-Based integration of reusable component-based avionics systems . In Workshop on Model-Driven Embedded Systems in RTAS. IEEE Computer Society , Los Alamitos, CA. Sharp, D. and Roll, W. 2003. Model-Based integration of reusable component-based avionics systems. In Workshop on Model-Driven Embedded Systems in RTAS. IEEE Computer Society, Los Alamitos, CA."},{"key":"e_1_2_1_50_1","volume-title":"Proceedings of the 1st International Workshop on Embedded Software (EMSOFT)","author":"Sifakis J.","year":"2001","unstructured":"Sifakis , J. 2001 . Modeling real-time systems---Challenges and work directions . In Proceedings of the 1st International Workshop on Embedded Software (EMSOFT) ( London). Springer Verlag. Sifakis, J. 2001. Modeling real-time systems---Challenges and work directions. In Proceedings of the 1st International Workshop on Embedded Software (EMSOFT) (London). Springer Verlag."},{"key":"e_1_2_1_51_1","volume-title":"Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)","author":"Stankovic J.","unstructured":"Stankovic , J. , Zhu , R. , Poornalingam , R. , Lu , C. , Yu , Z. , Humphrey , M. , and Ellis , B . 2003. Vest: An aspect-based composition tool for real-time systems . In Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) ( Washington, DC). IEEE Computer Society. 58. Stankovic, J., Zhu, R., Poornalingam, R., Lu, C., Yu, Z., Humphrey, M., and Ellis, B. 2003. Vest: An aspect-based composition tool for real-time systems. In Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) (Washington, DC). IEEE Computer Society. 58."},{"key":"e_1_2_1_52_1","volume-title":"Proceedings of the International Workshop on Scientific Engineering of Distributed JAVA Applications","author":"Talpin J.-P.","year":"2003","unstructured":"Talpin , J.-P. , Gamati\u00e9 , A. , Berner , D. , Le Dez , B. , and Le Guernic , P. 2003 . Hard real-time implementation of embedded systems in Java . In Proceedings of the International Workshop on Scientific Engineering of Distributed JAVA Applications ( Berlin). Springer Verlag. 33--47. Talpin, J.-P., Gamati\u00e9, A., Berner, D., Le Dez, B., and Le Guernic, P. 2003. Hard real-time implementation of embedded systems in Java. In Proceedings of the International Workshop on Scientific Engineering of Distributed JAVA Applications (Berlin). Springer Verlag. 33--47."},{"key":"e_1_2_1_53_1","volume-title":"Workshop on Parallel and Distributed Real-Time Systems. IEEE Computer Society","author":"Vestal S.","year":"1997","unstructured":"Vestal , S. 1997 . MetaH support for real-time multi-processor avionics . In Workshop on Parallel and Distributed Real-Time Systems. IEEE Computer Society , Los Alamitos, CA. Vestal, S. 1997. MetaH support for real-time multi-processor avionics. In Workshop on Parallel and Distributed Real-Time Systems. IEEE Computer Society, Los Alamitos, CA."},{"key":"e_1_2_1_54_1","volume-title":"Semantics of Concurrent Computation","author":"Wadge W. W.","unstructured":"Wadge , W. W. 1979. An extensional treatment of dataflow deadlock . In Semantics of Concurrent Computation , G. Kahn, Ed. Lecture Notes in Computer Science, vol. 70 , Springer Verlag . 285--299. Wadge, W. W. 1979. An extensional treatment of dataflow deadlock. In Semantics of Concurrent Computation, G. Kahn, Ed. Lecture Notes in Computer Science, vol. 70, Springer Verlag. 285--299."},{"key":"e_1_2_1_55_1","volume-title":"Proceedings of the 1st International Workshop on Embedded Software (EMSOFT)","volume":"2211","author":"Wirth N.","year":"2001","unstructured":"Wirth , N. 2001 . Embedded systems and real-time programming . In Proceedings of the 1st International Workshop on Embedded Software (EMSOFT) ( Tahoe City, CA), Th. A. Henzinger and Ch. M. Kirsch, Eds. Lecture Notes in Computer Science , vol. 2211 . Springer Verlag. 486--492. Wirth, N. 2001. Embedded systems and real-time programming. In Proceedings of the 1st International Workshop on Embedded Software (EMSOFT) (Tahoe City, CA), Th. A. Henzinger and Ch. M. Kirsch, Eds. Lecture Notes in Computer Science, vol. 2211. Springer Verlag. 486--492."}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1217295.1217298","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1217295.1217298","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:29:33Z","timestamp":1750285773000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1217295.1217298"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,4]]},"references-count":48,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,4]]}},"alternative-id":["10.1145\/1217295.1217298"],"URL":"https:\/\/doi.org\/10.1145\/1217295.1217298","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"value":"1049-331X","type":"print"},{"value":"1557-7392","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,4]]},"assertion":[{"value":"2007-04-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}