Výsledky vyhledávání - "Timothy Bourke"

Akademický článek

Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers

Autor: Timothy Bourke, Jun Inoue, Marc Pouzet

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 285, Iss Proc. ML/OCAML 2016, Pp 101-130 (2018)

This paper describes the design and implementation of a comprehensive OCaml interface to the Sundials library of numeric solvers for ordinary differential equations, differential algebraic equations, and non-linear equations. The interface provides a

Externí odkaz: https://doaj.org/article/098eff4293d943668a2065c72b00f51f

Zobrazit plný text záznamu

Verified Lustre Normalization with Node Subsampling

Autor: Basile Pesin, Paul Jeanmaire, Marc Pouzet, Timothy Bourke

Publikováno v: ACM Transactions on Embedded Computing Systems (TECS)
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2021, 20 (5s), pp.1-25. ⟨10.1145/3477041⟩
ACM Transactions on Embedded Computing Systems (TECS), 2021, 20 (5s), pp.1-25. ⟨10.1145/3477041⟩

Dataflow languages allow the specification of reactive systems by mutually recursive stream equations, functions, and boolean activation conditions called clocks. Lustre and Scade are dataflow languages for programming embedded systems. Dataflow prog

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ed12de49e67fec9bbd345a1cb70235aa
https://doi.org/10.1145/3477041

Zobrazit plný text záznamu

Specification and end-to-end proof of a reactive language and its compiler (invited talk)

Autor: Timothy Bourke

Publikováno v: REBLS@SPLASH

Embedded control systems have long been designed using block diagrams and state machines. These models often simply guide the manual implementation of software. But in Model-Based Design they are treated as programs and compiled automatically into lo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::d9fe7afb3c3983454e9a0a170286528d
https://doi.org/10.1145/3486605.3487187

Zobrazit plný text záznamu

Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers

Autor: Marc Pouzet, Timothy Bourke, Jun Inoue

Publikováno v: Electronic Proceedings in Theoretical Computer Science
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2018, ML Family Workshop / OCaml Users and Developers workshops (MLOCAML 2016), 285, pp.101-130. ⟨10.4204/EPTCS.285.4⟩
Electronic Proceedings in Theoretical Computer Science, Vol 285, Iss Proc. ML/OCAML 2016, Pp 101-130 (2018)
Electronic Proceedings in Theoretical Computer Science, 2018, ML Family Workshop / OCaml Users and Developers workshops (MLOCAML 2016), 285, pp.101-130. ⟨10.4204/EPTCS.285.4⟩

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::972af29b9500f29d67ade3d629d13dcb
https://doi.org/10.4204/eptcs.285.4

Zobrazit plný text záznamu

Mechanized semantics and verified compilation for a dataflow synchronous language with reset

Autor: Lélio Brun, Timothy Bourke, Marc Pouzet

Publikováno v: Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (POPL), pp.1-29. ⟨10.1145/3371112⟩
Proceedings of the ACM on Programming Languages, 2020, 4 (POPL), pp.1-29. ⟨10.1145/3371112⟩

Specifications based on block diagrams and state machines are used to design control software, especially in the certified development of safety-critical applications. Tools like SCADE Suite and Simulink/Stateflow are equipped with compilers that tra

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1603e0b528d0e8e3a027cc21ac3a4a48
https://hal.inria.fr/hal-02426573/file/bourke-brun-pouzet-popl2020.pdf

Zobrazit plný text záznamu

Building a Hybrid Systems Modeler on Synchronous Languages Principles

Autor: Jean-Louis Colaço, Albert Benveniste, Cédric Pasteur, Timothy Bourke, Benoît Caillaud, Marc Pouzet

Publikováno v: Proceedings of the IEEE
Proceedings of the IEEE, Institute of Electrical and Electronics Engineers, 2018, Design Automation for Cyber-Physical Systems, 106 (9), pp.1568-1592. ⟨10.1109/JPROC.2018.2858016⟩
Proceedings of the IEEE, 2018, Design Automation for Cyber-Physical Systems, 106 (9), pp.1568-1592. ⟨10.1109/JPROC.2018.2858016⟩

International audience; Hybrid systems modeling languages that mix discrete and continuous time signals and systems are widely used to develop Cyber-Physical systems where control software interacts with physical devices. Compilers play a central rol

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2f641d247d2db8df85cf93ee72fc63ab
https://doi.org/10.1109/jproc.2018.2858016

Zobrazit plný text záznamu

Towards a verified Lustre compiler with modular reset

Autor: Lélio Brun, Marc Pouzet, Timothy Bourke

Publikováno v: 21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018)
21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018), May 2018, Sankt Goar, Germany. pp.4, ⟨10.1145/3207719.3207732⟩
SCOPES

International audience; This paper presents ongoing work to add a modular reset construct to a verified Lustre compiler. We present a novel formal specification for the construct and sketch our plans to integrate it into the compiler and its correctn

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e1ac46a7aeedd35820c0dbac344267f2
https://inria.hal.science/hal-01817949/file/paper.pdf

Zobrazit plný text záznamu

A Type-based Analysis of Causality Loops in Hybrid Systems Modelers

Autor: Marc Pouzet, Bruno Pagano, Timothy Bourke, Benoît Caillaud, Albert Benveniste

Publikováno v: Nonlinear Analysis: Hybrid Systems
Nonlinear Analysis: Hybrid Systems, 2017, 26, pp.168-189. ⟨10.1016/j.nahs.2017.04.004⟩
HSCC
Nonlinear Analysis: Hybrid Systems, Elsevier, 2017, 26, pp.168-189. ⟨10.1016/j.nahs.2017.04.004⟩

International audience; Explicit hybrid systems modelers like Simulink/Stateflow allow for programming both discrete-and continuous-time behaviors with complex interactions between them. An important step in their compilation is the static detection

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8d978aeca694175a11c52fb42a903b6c
https://hal.inria.fr/hal-01549183

Zobrazit plný text záznamu

A Synchronous Look at the Simulink Standard Library

Autor: Cédric Pasteur, Francois Carcenac, Bruno Pagano, Timothy Bourke, Jean-Louis Colaço, Marc Pouzet

Publikováno v: EMSOFT 2017-17th International Conference on Embedded Software
EMSOFT 2017-17th International Conference on Embedded Software, Oct 2017, Seoul, South Korea. pp.23

Hybrid systems modelers like Simulink come with a rich collection of discrete-time and continuous-time blocks. Most blocks are not defined in terms of more elementary ones—and some cannot be—but are instead written in imperative code and explaine

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f9f455d8545ac22dcbeb07d58a4fb1de
https://hal.inria.fr/hal-01575631/document

Zobrazit plný text záznamu

Real-Time Ticks for Synchronous Programming

Autor: Timothy Bourke, Alain Girault, Reinhard von Hanxleden

Publikováno v: FDL 2017-12th Forum on Specification and Design Languages
FDL 2017-12th Forum on Specification and Design Languages, Electronic Chips & System Design Initiative (ECSI), Sep 2017, Vérone, Italy
FDL

International audience; We address the problem of synchronous programs that cannot be easily executed in a classical time-triggered or event-triggered execution loop. We propose a novel approach, referred to as dynamic ticks, that reconciles the sema

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e88c72d0c13cf2cffe3e30e21171e847
https://hal.inria.fr/hal-01575629

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání