Zobrazeno 1 - 10 of 51 pro vyhledávání: '"Virginie Wiels"'
1
Verification Coverage for Combining Test and Proof
Autor: Julien Signoles, Loïc Correnson, Virginie Wiels, Viet Hoang Le
Publikováno v: 12th International Conference on Tests and Proofs
12th International Conference on Tests and Proofs, Jun 2018, Toulouse, France. ⟨10.1007/978-3-319-92994-1_7⟩
Tests and Proofs ISBN: 9783319929934
TAP@STAF
International audience; The V&V practices of safety-critical industries (e.g. avionics) are currently based on either unit testing or unit proof to verify that a function satisfies its low-level requirements in order to be compliant with the highest
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6177e1acd88c47bbafe28277a836893d
https://hal.archives-ouvertes.fr/hal-02901326
Zobrazit plný text záznamu
2
Automatic Generation of DO-178 Test Procedures
Autor: César Ochoa Escudero, Remi Delmas, Thomas Bochot, Virginie Wiels, Matthieu David
Publikováno v: Lecture Notes in Computer Science ISBN: 9783319779348
NFM
The work presented in this paper takes place in the context of the testing activities of safety critical Air Management Systems for civilian and military aircraft. The applicative software of such systems is developed following DO-178 guidelines, usi
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::29cba2ecc395bcffdfd707ba239a3d33
https://doi.org/10.1007/978-3-319-77935-5_27
Zobrazit plný text záznamu
4
Testing or Formal Verification: DO-178C Alternatives and Industrial Experience
Autor: Virginie Wiels, Hervé Delseny, Benjamin Monate, Yannick Moy, Emmanuel Ledinot
Publikováno v: IEEE Software. 30:50-57
Software for commercial aircraft is subject to the stringent certification processes described in the DO-178B standard, "Software Considerations in Airborne Systems and Equipment Certification." Issued in 1992, this document focuses strongly on the v
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::9fc10d637b643dbf63327dd01865eb0c
https://doi.org/10.1109/ms.2013.43
Zobrazit plný text záznamu
5
Trace analysis from ERTMS engineering
Autor: Antoine Ferlin, Philippe Bon, Virginie Wiels, Simon Collart-Dutilleul
Publikováno v: COMPRAIL
COMPRAIL, Jul 2016, MADRID, Spain
Comprail, International Conference on Railway Engineering Design and Operation
Comprail, International Conference on Railway Engineering Design and Operation, Jul 2016, Madrid, Spain. 12p
nteroperability of railway systems is a major concern in the European Union. Therefore, ERTMS (European Railway Train Management System) has been defined. Nevertheless, ERTMS has to be paired with national track rules. The Perfect project studies the
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::39a32ccd951f92f0e936bafddb1c39ef
https://hal.archives-ouvertes.fr/hal-01386725/document
Zobrazit plný text záznamu
6
The landing gear case study: challenges and experiments
Autor: Virginie Wiels, Klaus-Dieter Schewe, Frédéric Boniol, Yamine Ait-Ameur
Publikováno v: International Journal on Software Tools for Technology Transfer
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2016, 19 (2), pp.133-140. ⟨10.1007/s10009-016-0431-4⟩
International audience; Embedded critical systems need to be validated very thoroughly; it usually results in very long and onerous test phases. Formal techniques, in particular formal specification languages and associated proof tools, could be an a
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3db1fad54a1b51a8b659e8e9d6b0fb79
https://hal.archives-ouvertes.fr/hal-01851720/file/boniol_24855.pdf
Zobrazit plný text záznamu
7
Statistical automaton for verifying temporal properies and computing information on traces
Autor: Philippe Bon, Antoine Ferlin, Virginie Wiels
Publikováno v: International Journal of Computers, Communications and Control
International Journal of Computers, Communications and Control, Agora University of Oradea, 2016, 11 (5), pp.645-656. ⟨10.15837/ijccc.2016.5.2148⟩
Scopus-Elsevier
International Journal of Computers, Communications and Control, Agora University of Oradea, 2016, 11 (5), p. 645-656. ⟨10.15837/ijccc.2016.5.2148⟩
Verification is decisive for embedded software. The goal of this work is to verify temporal properties on industrial applications, with the help of formal dynamic analysis. The approach presented in this paper is composed of three steps: formalizatio
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::220511d230ec0580e48517a0bbb80a82
https://hal.archives-ouvertes.fr/hal-01363470
Zobrazit plný text záznamu
8
Toward a wider use of formal methods for aerospace systems design and verification
Autor: Yamine Ait Ameur, Virginie Wiels, Frédéric Boniol
Publikováno v: International Journal on Software Tools for Technology Transfer. 12:1-7
Nowadays, it is well accepted that the development of critical systems involves the use of formal methods. One of the major fields where these methods made a lot of progress are the avionics, aerospace and more generally transport areas. Several meth
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c233c4e8c3c7372a2ec186ebd1881fb7
https://doi.org/10.1007/s10009-009-0131-4
Zobrazit plný text záznamu
9
Elektronická kniha
ABZ 2014: The Landing Gear Case Study : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
Autor: Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe
This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use differen
Zobrazit plný text záznamu
10
Show Me New Counterexamples: A Path-Based Approach
Autor: Virginie Wiels, Hélène Waeselynck, Kalou Cabrera Castillos
Publikováno v: 8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015)
8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015), Apr 2015, Graz, Austria. ⟨10.1109/ICST.2015.7102606⟩
ICST
International audience; We consider lightweight usage of model-checking for the debugging of Simulink models. A problem is that model-checkers typically return only one counterexample, which may slow down the debugging process. We propose an approach
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a75af05c42eba38e7651191abef024d9
https://hal.archives-ouvertes.fr/hal-01953299/document
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