Development of a generic voter under focal

Philippe Ayrault; Thérèse Hardin; François Pessaux

doi:10.1007/978-3-642-02949-3_3

Development of a generic voter under focal

Philippe Ayrault
, Thérèse Hardin
, François Pessaux

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Safety and security are claimed major concerns by the formal FoCal development environment. In [7] we introduced a safety development cycle customised 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.

Original language	English
Title of host publication	Tests and Proofs - Third International Conference, TAP 2009, Proceedings
Pages	10-26
Number of pages	17
DOIs	https://doi.org/10.1007/978-3-642-02949-3_3
Publication status	Published - 2 Nov 2009
Externally published	Yes
Event	3rd International Conference on Tests and Proofs, TAP 2009 - Zurich, Switzerland Duration: 2 Jul 2009 → 3 Jul 2009

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5668 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	3rd International Conference on Tests and Proofs, TAP 2009
Country/Territory	Switzerland
City	Zurich
Period	2/07/09 → 3/07/09

Keywords

Development cycle
FoCal
Formal methods
Voter

Access to Document

10.1007/978-3-642-02949-3_3

Cite this

Ayrault, P., Hardin, T., & Pessaux, F. (2009). Development of a generic voter under focal. In Tests and Proofs - Third International Conference, TAP 2009, Proceedings (pp. 10-26). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5668 LNCS). https://doi.org/10.1007/978-3-642-02949-3_3

@inproceedings{16a9354e0f044d3aa8778e3a78da72d0,

title = "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 customised 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.",

keywords = "Development cycle, FoCal, Formal methods, Voter",

author = "Philippe Ayrault and Th{\'e}r{\`e}se Hardin and Fran{\c c}ois Pessaux",

year = "2009",

month = nov,

day = "2",

doi = "10.1007/978-3-642-02949-3\_3",

language = "English",

isbn = "3642029485",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "10--26",

booktitle = "Tests and Proofs - Third International Conference, TAP 2009, Proceedings",

note = "3rd International Conference on Tests and Proofs, TAP 2009 ; Conference date: 02-07-2009 Through 03-07-2009",

}

Ayrault, P, Hardin, T & Pessaux, F 2009, Development of a generic voter under focal. in Tests and Proofs - Third International Conference, TAP 2009, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5668 LNCS, pp. 10-26, 3rd International Conference on Tests and Proofs, TAP 2009, Zurich, Switzerland, 2/07/09. https://doi.org/10.1007/978-3-642-02949-3_3

Development of a generic voter under focal. / Ayrault, Philippe; Hardin, Thérèse; Pessaux, François.
Tests and Proofs - Third International Conference, TAP 2009, Proceedings. 2009. p. 10-26 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5668 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Development of a generic voter under focal

AU - Ayrault, Philippe

AU - Hardin, Thérèse

AU - Pessaux, François

PY - 2009/11/2

Y1 - 2009/11/2

N2 - Safety and security are claimed major concerns by the formal FoCal development environment. In [7] we introduced a safety development cycle customised 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.

AB - Safety and security are claimed major concerns by the formal FoCal development environment. In [7] we introduced a safety development cycle customised 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.

KW - Development cycle

KW - FoCal

KW - Formal methods

KW - Voter

UR - https://www.scopus.com/pages/publications/70350398641

U2 - 10.1007/978-3-642-02949-3_3

DO - 10.1007/978-3-642-02949-3_3

M3 - Conference contribution

AN - SCOPUS:70350398641

SN - 3642029485

SN - 9783642029486

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 10

EP - 26

BT - Tests and Proofs - Third International Conference, TAP 2009, Proceedings

T2 - 3rd International Conference on Tests and Proofs, TAP 2009

Y2 - 2 July 2009 through 3 July 2009

ER -

Development of a generic voter under focal

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this