Polyhedral Scheduling and Relaxation of Synchronous Reactive Systems

Autor: Iooss, Guillaume, Cohen, Albert, Potop-Butucaru, Dumitru, Pouzet, Marc, Bregeon, Vincent, Souyris, Jean, Baufreton, Philippe

Publikováno v: IMPACT 2022-12th International Workshop on Polyhedral Compilation Techniques
IMPACT 2022-12th International Workshop on Polyhedral Compilation Techniques, Jun 2022, Budapest, Hungary. pp.1-12

International audience; The design and implementation of reactive, hard real-time systems involves modeling and generating efficient code for the integration of harmonic multi-periodic tasks. The simple principles of synchronous reactive programming

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1992527b8c3c1872d8c7e49b3eeafccf
https://hal.inria.fr/hal-03901645

Efficient fine-grain parallelism in shared memory for real-time avionics

Autor: Baufreton, Philippe, Bregeon, Vincent, Didier, Keryan, Iooss, Guillaume, Potop-Butucaru, Dumitru, Souyris, Jean

Publikováno v: ERTS 2020-10th European Congress Embedded Real Time Systems
ERTS 2020-10th European Congress Embedded Real Time Systems, Jan 2020, Toulouse, France

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::440abf96f40bb83e726f70d515f8a6bc
https://inria.hal.science/hal-02431187

Automatic Parallelization from Lustre Models in Avionics

Autor: Souyris, Jean, Didier, Keryan, Potop-Butucaru, Dumitru, Iooss, Guillaume, Bourke, Timothy, Cohen, Albert, Pouzet, Marc

Publikováno v: ERTS2 2018-9th European Congress Embedded Real-Time Software and Systems
ERTS2 2018-9th European Congress Embedded Real-Time Software and Systems, 3AF-Association Aéronautique Astronautique de France; SEE-Société de l'électricité, de l'électronique et des technologies de l'information et de la communication; SIA-Société de Ingénieurs de l'Automobile, Jan 2018, Toulouse, France. pp.1-4

International audience; This poster presents ongoing research on automatic generation and execution of embedded parallel C code. We target safety-critical avionics programs specified in the synchronous language Lustre. The work described is part of t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ee8a00c81341b86750f3ed603ed4e585
https://hal.inria.fr/hal-01714054

Imaging with synthetic aperture radar [electronic resource] / Didier Massonnet & Jean-Claude Souyris.

Autor: Massonnet, Didier

Externí odkaz: Kolekce e-knih KNAV Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.

Towards Formally Verified Optimizing Compilation in Flight Control Software

Autor: Bedin França, Ricardo, Favre-Felix, Denis, Leroy, Xavier, Pantel, Marc, Souyris, Jean

Publikováno v: PPES 2011: Predictability and Performance in Embedded Systems
PPES 2011: Predictability and Performance in Embedded Systems, Mar 2011, Grenoble, France. pp.59-68, ⟨10.4230/OASIcs.PPES.2011.59⟩

International audience; This work presents a preliminary evaluation of the use of the CompCert formally specified and verified optimizing compiler for the development of level A critical flight control software. First, the motivation for choosing Com

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::07da0bee1e01c4f3ab939ff5c8bf1b1d
https://inria.hal.science/inria-00551370/document