Development of a Generic Voter under FoCal

Abstract : Safety and security are claimed major concerns by the formal FoCaL development environment. In [7] we introduced a safety development cycle cus-tomised to FoCaL. In this paper, we examine how to specify and implement a concrete example following this cycle. We show that indeed it is feasible and we present how FoCaL features fit with software best practises like modularity, reuse, fault confinement and maintenance.
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01241361
Contributor : François Pessaux <>
Submitted on : Friday, December 11, 2015 - 1:59:15 PM
Last modification on : Wednesday, July 3, 2019 - 10:48:05 AM
Long-term archiving on : Saturday, April 29, 2017 - 11:15:51 AM

File

papier_voteur_tap09.pdf
Files produced by the author(s)

Identifiers

Citation

Philippe Ayrault, Thérèse Hardin, François Pessaux. Development of a Generic Voter under FoCal. TAP 2009 - 3rd International Conference on Tests and Proofs, Jul 2009, Zurich, Switzerland. pp.10-26, ⟨10.1007/978-3-642-02949-3_3⟩. ⟨hal-01241361⟩

Share

Metrics

Record views

107

Files downloads

97