License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.5.4.142
URN: urn:nbn:de:0030-drops-53543
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2015/5354/
Go back to Dagstuhl Reports

Cofer, Darren ; Klein, Gerwin ; Slind, Konrad ; Wiels, Virginie
Weitere Beteiligte (Hrsg. etc.): Darren Cofer and Gerwin Klein and Konrad Slind and Virginie Wiels

Qualification of Formal Methods Tools (Dagstuhl Seminar 15182)

pdf-format:
dagrep_v005_i004_p142_s15182.pdf (0.8 MB)

Abstract

Formal methods tools have been shown to be effective at finding defects in and
verifying the correctness of safety-critical systems, many of which require some form of certification. However, there are still many issues that must be addressed before formal verification tools can be used as part of the certification of safety-critical systems. For example, most developers of avionics systems are unfamiliar with which formal methods tools are most appropriate for different problem domains. Different levels of expertise are necessary to use these tools effectively and correctly. In most certification processes, a tool used to meet process objectives must be qualified. The qualification of formal verification tools will likely pose unique challenges.

BibTeX - Entry

@Article{cofer_et_al:DR:2015:5354,
  author =	{Darren Cofer and Gerwin Klein and Konrad Slind and Virginie Wiels},
  title =	{{Qualification of Formal Methods Tools (Dagstuhl Seminar 15182)}},
  pages =	{142--159},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{5},
  number =	{4},
  editor =	{Darren Cofer and Gerwin Klein and Konrad Slind and Virginie Wiels},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2015/5354},
  URN =		{urn:nbn:de:0030-drops-53543},
  doi =		{10.4230/DagRep.5.4.142},
  annote =	{Keywords: Dependable systems, Certification, Qualification, Formal methods, Verification tools}
}

Keywords: Dependable systems, Certification, Qualification, Formal methods, Verification tools
Collection: Dagstuhl Reports, Volume 5, Issue 4
Issue Date: 2015
Date of publication: 16.12.2015

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI