Zobrazeno 1 - 10 of 11 pro vyhledávání: '"Duprat, Stéphane"'
1
Éditorial
Autor: Marlin, Cyrille, Duprat, Stéphane
Le numéro 28 de la revue Projets de Paysage fait l’objet d’une exploration. Celle des régimes de savoirs qui orientent l’action en matière de paysage. Il s’est agi de repérer et de clarifier des modalités de production alternatives de sa
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=openedition_::e822b6d10fa362f37ff678b6b14f0dc2
https://journals.openedition.org/paysage/32695
Zobrazit plný text záznamu
2
Les savoirs paysagers dans l’action
Autor: Marlin, Cyrille, Duprat, Stéphane
Ce dossier thématique propose une exploration. Celle des régimes de savoirs qui orientent l’action en matière de paysage. Mais sous un angle particulier, en tentant de repérer et de clarifier des modalités de production alternatives de savoirs
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=openedition_::e154a88978e2faabeaa4d5f0fa2a1049
https://journals.openedition.org/paysage/32700
Zobrazit plný text záznamu
5
Spreading Static Analysis with Frama-C in Industrial Contexts
Autor: Duprat, Stéphane, Moya Lamiel, Victoria, Kirchner, Florent, Correnson, Loïc, Delmas, David
Publikováno v: 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016)
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
International audience; This article deals with the usage of Frama-C to detect runtime-errors. As static analysis for runtime-error detection is not a novelty, we will present significant new usages in industrial contexts, which represent a change in
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::be50c1a5097a26ef4c260aad947ab699
https://hal.archives-ouvertes.fr/hal-01260276/document
Zobrazit plný text záznamu
6
Use of formal methods in embedded software development: stakes, constraints and proposal
Autor: Fernandes Pires, Anthony, Polacsek, Thomas, Wiels, Virginie, Duprat, Stéphane
Publikováno v: EMBEDDED REAL TIME SOFTWARE AND SYSTEMS (ERTS 2014)
EMBEDDED REAL TIME SOFTWARE AND SYSTEMS (ERTS 2014), Feb 2014, TOULOUSE, France
ERTS 2014 proceedings
Embedded real-time software and systems (ERTS² 2014)
Embedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France
International audience; In aeronautics, software development is submitted to strong constraints. The DO-178 certification standard specifies development and verification objectives. Moreover, its supplement DO-333 defines guidelines for the use of fo
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::213a7913c76663ac925bafb626f8e652
https://hal.archives-ouvertes.fr/hal-01102152/file/DTIM15002.1420710841.pdf
Zobrazit plný text záznamu
7
USE OF MODELLING METHODS AND TOOLS IN AN INDUSTRIAL EMBEDDED SYSTEM PROJECT: WORKS AND FEEDBACK
Autor: Fernandes Pires, Anthony, Duprat, Stéphane, Faure, Tristan, Besseyre, Cédrik, Beringuier, Jack, Rolland, Jean-François
Publikováno v: ERTS 2012 proceedings
Embedded Real Time Software and Systems (ERTS2012)
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
International audience; In a context where critical embedded systems are more and more difficult to design while ensuring high safety requirements and a non-ambiguous specification, Model Driven Engineering offers opportunities to address such challe
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::73f93e288f4d0c3ab8373cd3226e4b48
https://hal.archives-ouvertes.fr/hal-02263442
Zobrazit plný text záznamu
8
Fan-C, a Frama-C plug-in for data flow verification
Autor: Cuoq, Pascal, Delmas, David, Duprat, Stéphane, Lamiel, Victoria
DO-178B compliant avionics development processes must both define the data and control flows of embedded software at design level, and verify flows are faithfully implemented in the source code. This verification is traditionally performed during ded
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0b4862c9b24e121c6aff710922635ba2
https://hal.archives-ouvertes.fr/hal-02263407
Zobrazit plný text záznamu
9
Taster, a Frama-C plug-in to enforce Coding Standards
Autor: Delmas, David, Duprat, Stéphane, Lamiel, Victoria, Signoles, Julien
Publikováno v: ERTS 2010 proceedings
ERTS2 2010, Embedded Real Time Software & Systems
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France
International audience; Enforcing Coding Standards is part of the traditional concerns of industrial soft- ware developments. In this paper, we present a framework based on the open source Frama- C platform for easily developing syntactic, typing (an
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::45719a79505a672510f85e607fd3de89
https://hal.science/hal-02267697/document
Zobrazit plný text záznamu
10
Kniha
Behavioural Verification in Embedded Software, from Model to Source Code.
Autor: Pires, Anthony Fernandes, Polacsek, Thomas, Wiels, Virginie, Duprat, Stéphane
Publikováno v: Model-Driven Engineering Languages & Systems; 2013, p320-335, 16p
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje