{"title":"Synchronous interface theories and time triggered scheduling","publist_id":"3539","page":"203 - 218","volume":7273,"oa_version":"Submitted Version","month":"06","file":[{"file_name":"IST-2012-88-v1+1_Synchronous_interface_theories_and_time_triggered_scheduling.pdf","date_updated":"2020-07-14T12:46:01Z","checksum":"feae2e07f2d9a59843f8ddabf25d179f","relation":"main_file","date_created":"2018-12-12T10:11:25Z","access_level":"open_access","content_type":"application/pdf","file_id":"4879","creator":"system","file_size":493198}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","type":"conference","pubrep_id":"88","date_published":"2012-06-01T00:00:00Z","has_accepted_license":"1","acknowledgement":"Research partially supported by the Danish-Chinese Center for Cyber Physical Systems (Grant No.61061130541) and VKR Center of Excellence MT-LAB.","abstract":[{"text":"We propose synchronous interfaces, a new interface theory for discrete-time systems. We use an application to time-triggered scheduling to drive the design choices for our formalism; in particular, additionally to deriving useful mathematical properties, we focus on providing a syntax which is adapted to natural high-level system modeling. As a result, we develop an interface model that relies on a guarded-command based language and is equipped with shared variables and explicit discrete-time clocks. We define all standard interface operations: compatibility checking, composition, refinement, and shared refinement. Apart from the synchronous interface model, the contribution of this paper is the establishment of a formal relation between interface theories and real-time scheduling, where we demonstrate a fully automatic framework for the incremental computation of time-triggered schedules.","lang":"eng"}],"language":[{"iso":"eng"}],"date_updated":"2021-01-12T07:41:26Z","author":[{"last_name":"Delahaye","first_name":"Benoît","full_name":"Delahaye, Benoît"},{"first_name":"Uli","full_name":"Fahrenberg, Uli","last_name":"Fahrenberg"},{"first_name":"Thomas A","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger"},{"last_name":"Legay","first_name":"Axel","full_name":"Legay, Axel"},{"id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87","full_name":"Nickovic, Dejan","first_name":"Dejan","last_name":"Nickovic"}],"intvolume":" 7273","scopus_import":1,"publisher":"Springer","conference":{"name":"FORTE: Formal Techniques for Networked and Distributed Systems & FMOODS: Formal Methods for Open Object-Based Distributed Systems ","end_date":"2012-06-16","location":"Stockholm, Sweden","start_date":"2012-06-13"},"department":[{"_id":"ToHe"}],"alternative_title":["LNCS"],"_id":"3155","ddc":["004"],"doi":"10.1007/978-3-642-30793-5_13","date_created":"2018-12-11T12:01:43Z","file_date_updated":"2020-07-14T12:46:01Z","citation":{"apa":"Delahaye, B., Fahrenberg, U., Henzinger, T. A., Legay, A., & Nickovic, D. (2012). Synchronous interface theories and time triggered scheduling (Vol. 7273, pp. 203–218). Presented at the FORTE: Formal Techniques for Networked and Distributed Systems & FMOODS: Formal Methods for Open Object-Based Distributed Systems , Stockholm, Sweden: Springer. https://doi.org/10.1007/978-3-642-30793-5_13","short":"B. Delahaye, U. Fahrenberg, T.A. Henzinger, A. Legay, D. Nickovic, in:, Springer, 2012, pp. 203–218.","ama":"Delahaye B, Fahrenberg U, Henzinger TA, Legay A, Nickovic D. Synchronous interface theories and time triggered scheduling. In: Vol 7273. Springer; 2012:203-218. doi:10.1007/978-3-642-30793-5_13","chicago":"Delahaye, Benoît, Uli Fahrenberg, Thomas A Henzinger, Axel Legay, and Dejan Nickovic. “Synchronous Interface Theories and Time Triggered Scheduling,” 7273:203–18. Springer, 2012. https://doi.org/10.1007/978-3-642-30793-5_13.","mla":"Delahaye, Benoît, et al. Synchronous Interface Theories and Time Triggered Scheduling. Vol. 7273, Springer, 2012, pp. 203–18, doi:10.1007/978-3-642-30793-5_13.","ista":"Delahaye B, Fahrenberg U, Henzinger TA, Legay A, Nickovic D. 2012. Synchronous interface theories and time triggered scheduling. FORTE: Formal Techniques for Networked and Distributed Systems & FMOODS: Formal Methods for Open Object-Based Distributed Systems , LNCS, vol. 7273, 203–218.","ieee":"B. Delahaye, U. Fahrenberg, T. A. Henzinger, A. Legay, and D. Nickovic, “Synchronous interface theories and time triggered scheduling,” presented at the FORTE: Formal Techniques for Networked and Distributed Systems & FMOODS: Formal Methods for Open Object-Based Distributed Systems , Stockholm, Sweden, 2012, vol. 7273, pp. 203–218."},"status":"public","day":"01","oa":1,"quality_controlled":"1","publication_status":"published","year":"2012"}