{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:09:08Z","timestamp":1750219748307,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T00:00:00Z","timestamp":1683590400000},"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":[],"published-print":{"date-parts":[[2023,5,9]]},"DOI":"10.1145\/3576914.3587495","type":"proceedings-article","created":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T22:48:26Z","timestamp":1683586106000},"page":"319-324","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Semantics foundations of PsyC based on synchronous Logical Execution Time"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8027-0745","authenticated-orcid":false,"given":"Fabien","family":"Siron","sequence":"first","affiliation":[{"name":"Krono-Safe, France and Universit\u00e9 C\u00f4te d'Azur, Inria, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3672-6156","authenticated-orcid":false,"given":"Dumitru","family":"Potop-Butucaru","sequence":"additional","affiliation":[{"name":"Inria, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3123-7591","authenticated-orcid":false,"given":"Robert","family":"De Simone","sequence":"additional","affiliation":[{"name":"Inria, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6794-9593","authenticated-orcid":false,"given":"Damien","family":"Chabrol","sequence":"additional","affiliation":[{"name":"Krono-Safe, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2062-3451","authenticated-orcid":false,"given":"Amira","family":"Methni","sequence":"additional","affiliation":[{"name":"Krono-Safe, France"}]}],"member":"320","published-online":{"date-parts":[[2023,5,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2023. Krono-Safe. https:\/\/www.krono-safe.com\/"},{"key":"e_1_3_2_1_2_1","unstructured":"2023. Prover Technology. https:\/\/www.prover.com\/"},{"key":"e_1_3_2_1_3_1","unstructured":"Charles Andr\u00e9. 2010. Verification of clock constraints: CCSL Observers in Esterel. Research Report. INRIA."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2007.4297340"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/648145.750150"},{"key":"e_1_3_2_1_6_1","volume-title":"From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation *. Leibniz Transactions on Embedded Systems","author":"Carle Thomas","year":"2015","unstructured":"Thomas Carle, Dumitru Potop-Butucaru, Yves Sorel, and David Lesens. 2015. From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation *. Leibniz Transactions on Embedded Systems (2015)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050046"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111054"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Vincent David Jean Delcoigne Evelyne Leret Alain Ourghanlian Philippe Hilsenkopf and Philippe Paris. 1998. Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems. In SAFECOMP.","DOI":"10.1007\/3-540-49646-7_4"},{"volume-title":"The sparse synchronous model. In 2020 Forum for Specification and Design Languages (FDL)","author":"Edwards A","key":"e_1_3_2_1_10_1","unstructured":"Stephen\u00a0A Edwards and John Hui. 2020. The sparse synchronous model. In 2020 Forum for Specification and Design Languages (FDL). IEEE, 1\u20138."},{"key":"e_1_3_2_1_11_1","volume-title":"Event-Driven Programming with Logical Execution Times. In International Workshop on Hybrid Systems: Computation and Control, Vol.\u00a02993","author":"Ghosal Arkadeb","year":"2004","unstructured":"Arkadeb Ghosal, Thomas Henzinger, Christoph Kirsch, and Marco Sanvido. 2004. Event-Driven Programming with Logical Execution Times. In International Workshop on Hybrid Systems: Computation and Control, Vol.\u00a02993. 357\u2013371."},{"volume-title":"Embedded Software","author":"Girault Alain","key":"e_1_3_2_1_12_1","unstructured":"Alain Girault and Xavier Nicollin. 2003. Clock-Driven Automatic Distribution of Lustre Programs. In Embedded Software. Springer, 206\u2013222."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Christoph Kirsch and Ana Sokolova. 2012. The Logical Execution Time Paradigm. In Advances in Real-Time Systems.","DOI":"10.1007\/978-3-642-24349-3_5"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3448128"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2018.00031"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Gordon Plotkin. 2004. A structural approach to operational semantics. J. Log. Algebraic Methods Program. (2004).","DOI":"10.1016\/S1567-8326(04)00026-8"},{"key":"e_1_3_2_1_17_1","volume-title":"Constructive Operational Semantics. Compiling Esterel","author":"Potop-Butucaru Dumitru","year":"2007","unstructured":"Dumitru Potop-Butucaru, Stephen\u00a0A Edwards, and G\u00e9rard Berry. 2007. Constructive Operational Semantics. Compiling Esterel (2007), 79\u2013102."},{"key":"e_1_3_2_1_18_1","unstructured":"Fabien Siron Dumitru Potop-Butucaru Robert De\u00a0Simone Damien Chabrol and Amira Methni. 2022. Formal Semantics of the PsyC language. Research Report. INRIA Sophia Antipolis - M\u00e9diterran\u00e9e (France). to appear."},{"key":"e_1_3_2_1_19_1","volume-title":"ERTS 2022 - Embedded Real Time Systems","author":"Siron Fabien","year":"2022","unstructured":"Fabien Siron, Dumitru Potop-Butucaru, Robert De\u00a0Simone, Damien Chabrol, and Amira Methni. 2022. The synchronous Logical Execution Time paradigm. In ERTS 2022 - Embedded Real Time Systems. Toulouse, France."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40561-7_1"}],"event":{"name":"CPS-IoT Week '23: Cyber-Physical Systems and Internet of Things Week 2023","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"San Antonio TX USA","acronym":"CPS-IoT Week '23"},"container-title":["Proceedings of Cyber-Physical Systems and Internet of Things Week 2023"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576914.3587495","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3576914.3587495","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:47Z","timestamp":1750178207000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576914.3587495"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,9]]},"references-count":20,"alternative-id":["10.1145\/3576914.3587495","10.1145\/3576914"],"URL":"https:\/\/doi.org\/10.1145\/3576914.3587495","relation":{},"subject":[],"published":{"date-parts":[[2023,5,9]]},"assertion":[{"value":"2023-05-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}