Výsledky vyhledávání - "Schlickling, Marc"

CompCert: Practical Experience on Integrating and Qualifying a Formally Verified Optimizing Compiler

Autor: Kästner, Daniel, Barrho, Jörg, Wünsche, Ulrich, Schlickling, Marc, Schommer, Bernhard, Schmidt, Michael, Ferdinand, Christian, Leroy, Xavier, Blazy, Sandrine

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, SEE, SIE, Jan 2018, Toulouse, France. pp.1-9

International audience; CompCert is the first commercially available optimizing compiler that is formally verified, using machine-assisted mathematical proofs, to be exempt from mis-compilation. The executable code it produces is proved to behave exa

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

Zobrazit plný text záznamu

Data Flow Model Coverage Analysis: Principles and Practice

Autor: Camus, Jean-Louis, Haudebourg, Carole, Schlickling, Marc, Barrho, Joerg

Safety critical software requires rigorous processes in order to achieve a high degree of integrity. These processes include so-called " verification of verification ". In the case of Model Based Development and Verification, DO-178C/DO-331 requires

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8c5b6d4aaeac17e1262bae5baeaa2ef6
https://hal.science/hal-01262411

Zobrazit plný text záznamu

Confidence in Timing

Autor: Kästner, Daniel, Pister, Markus, Gebbard, Gernot, Schlickling, Marc, Ferdinand, Christian

All contemporary safety standards require to demonstrate the absence of functional and non-functional safety hazards. In real-time systems this includes demonstrating the absence of critical timing hazards. To meet this veri cation objective it is ne

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::58f42eb4d3ee1b34f71fa8372ef00219
https://hal.archives-ouvertes.fr/hal-00848489

Zobrazit plný text záznamu

Timing model derivation : static analysis of hardware description languages

Autor: Schlickling, Marc

Safety-critical hard real-time systems are subject to strict timing constraints. In order to derive guarantees on the timing behavior, the worst-case execution time (WCET) of each task comprising the system has to be known. The aiT tool has been deve

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::344fae50de12f97373ce63a2ee124cfc

Zobrazit plný text záznamu

A Framework for Static Analysis of VHDL Code

Autor: Schlickling, Marc, Pister, Markus

Software in real time systems underlies strict timing constraints. These are among others hard deadlines regarding the worst-case execution time (WCET) of the application. Thus, the computation of a safe and precise WCET is a key issue1 for validatin

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::d75fd107927e513498d2d95058657027

Zobrazit plný text záznamu

Bananas, Dark Worlds, and AspectH: (Group 5 Discussion)

Autor: Breu, Silvia, F. Rodrigues, Nuno, Schlickling, Marc Schlickling

Publikováno v: Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::fdb498002040a5091d0234f088538863

Zobrazit plný text záznamu

05451 Group 5 �� Bananas, Dark Worlds, and AspectH

Autor: Breu, Silvia, Schlickling, Marc, Rodrigues, Nuno Miguel Feixa

This report summarises our idea of code clone detection in Haskell code and refactorings based on identified clones as it evolved in our working group-of-three discussion at the Dagstuhl seminar "Beyond Program Slicing".

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::0eb10a6c189a30af08a8d50e0be70de9

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání