License
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.3.1.111
URN: urn:nbn:de:0030-drops-40119
URL: http://drops.dagstuhl.de/opus/volltexte/2013/4011/
Go back to Dagstuhl Reports


Cofer, Darren ; Hatcliff, John ; Huhn, Michaela ; Lawford, Mark
Weitere Beteiligte (Hrsg. etc.): Darren Cofer and John Hatcliff and Michaela Huhn and Mark Lawford

Software Certification: Methods and Tools (Dagstuhl Seminar 13051)

pdf-format:
dagrep_v003_i001_p111_s13051.pdf (0.8 MB)


Abstract

With the pervasive deployment of software in dependable systems used in everyday life,society is increasingly demanding that software used in critical systems must meet minimum safety, security and reliability standards. Certification is the procedure by which an authorized person or agency assesses and verifies characteristics of a system or product in accordance with established requirements, standards, or regulations. For software, it encompasses traditional notions of verification, but also includes the evidence, tools, methods, and personnel qualifications that are needed to convince the certification authority that the system or product conforms to the relevant standard. Manufacturers of these systems need consistent and effective guidelines as to what constitutes acceptable evidence of software quality, and how to achieve it. Compared to process-oriented certification procedures, recent approaches provide evidence for dependability by the thorough evaluation of the product itself and the adequacy, coverage and maturity of design and quality assurance methods. Substantial progress has been made in areas including safety and assurance cases, the conceptual foundation of evidence and formal methods, and tooling for software design and verification. New approaches are necessary to develop holistic and cost-effective methodologies and to provide integrated tool support for creating certifiable software-intensive systems, as well as product-focused approaches to certifying these systems. Experts from academia and industrial practitioners met in the Dagstuhl Seminar 13051 "Software Certification: Methods and Tools" to discuss and software certification challenges, best practices, and the latest advances in certification technologies in several different software-intensive domains (automotive, aircraft, medical, nuclear, and rail).

BibTeX - Entry

@Article{cofer_et_al:DR:2013:4011,
  author =	{Darren Cofer and John Hatcliff and Michaela Huhn and Mark Lawford},
  title =	{{Software Certification: Methods and Tools (Dagstuhl Seminar 13051)}},
  pages =	{111--148},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{1},
  editor =	{Darren Cofer and John Hatcliff and Michaela Huhn and Mark Lawford},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2013/4011},
  URN =		{urn:nbn:de:0030-drops-40119},
  doi =		{10.4230/DagRep.3.1.111},
  annote =	{Keywords: dependable systems,safety security, certification, formal methods, model-driven development, validation & verification, tools}
}

Keywords: dependable systems,safety security, certification, formal methods, model-driven development, validation & verification, tools
Seminar: Dagstuhl Reports, Volume 3, Issue 1
Issue Date: 2013
Date of publication: 18.06.2013


DROPS-Home | Fulltext Search | Imprint Published by LZI