2 Search Results for "Hatcliff, John"

Document

Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041)

Authors: Erika Abraham, Stefan Hallerstede, John Hatcliff, Danielle Stewart, and Noah Abou El Wafa

Published in: Dagstuhl Reports, Volume 13, Issue 1 (2023)

Abstract

This report documents the program and the outcomes of the Dagstuhl Seminar 23041 "Integrated Rigorous Analysis in Cyber-Physical Systems (CPS) Engineering". This seminar brought together academic and industry representations from a variety of domains with backgrounds in different techniques to develop a roadmap for addressing the current challenges in the area of CPS engineering. An overarching theme was the potential use of integrated models and associated methodologies that support cross-technique information/results sharing and smooth workflow hand-offs between individual tools and methods.

Cite as

Erika Abraham, Stefan Hallerstede, John Hatcliff, Danielle Stewart, and Noah Abou El Wafa. Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041). In Dagstuhl Reports, Volume 13, Issue 1, pp. 155-183, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)

Copy BibTex To Clipboard

@Article{abraham_et_al:DagRep.13.1.155,
  author =	{Abraham, Erika and Hallerstede, Stefan and Hatcliff, John and Stewart, Danielle and Wafa, Noah Abou El},
  title =	{{Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041)}},
  pages =	{155--183},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2023},
  volume =	{13},
  number =	{1},
  editor =	{Abraham, Erika and Hallerstede, Stefan and Hatcliff, John and Stewart, Danielle and Wafa, Noah Abou El},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.13.1.155},
  URN =		{urn:nbn:de:0030-drops-191209},
  doi =		{10.4230/DagRep.13.1.155},
  annote =	{Keywords: cyber-physical systems, formal methods, rigorous modelling and analysis, systems engineering}
}

Document

DOI: 10.4230/DagRep.3.1.111

Software Certification: Methods and Tools (Dagstuhl Seminar 13051)

Authors: Darren Cofer, John Hatcliff, Michaela Huhn, and Mark Lawford

Published in: Dagstuhl Reports, Volume 3, Issue 1 (2013)

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).

Cite as

Darren Cofer, John Hatcliff, Michaela Huhn, and Mark Lawford. Software Certification: Methods and Tools (Dagstuhl Seminar 13051). In Dagstuhl Reports, Volume 3, Issue 1, pp. 111-148, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@Article{cofer_et_al:DagRep.3.1.111,
  author =	{Cofer, Darren and Hatcliff, John and Huhn, Michaela and Lawford, Mark},
  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 =	{Cofer, Darren and Hatcliff, John and Huhn, Michaela and Lawford, Mark},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.3.1.111},
  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}
}

Refine by Author
2 Hatcliff, John
1 Abraham, Erika
1 Cofer, Darren
1 Hallerstede, Stefan
1 Huhn, Michaela
Show More...

Refine by Classification
1 Computer systems organization → Embedded and cyber-physical systems
1 Security and privacy → Logic and verification

Refine by Keyword
2 formal methods
1 certification
1 cyber-physical systems
1 dependable systems,safety security
1 model-driven development
Show More...

Refine by Type
2 document

Refine by Publication Year
1 2013
1 2023

2 Search Results for "Hatcliff, John"

Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041)

Abstract

Cite as

Software Certification: Methods and Tools (Dagstuhl Seminar 13051)

Abstract

Cite as

Thanks for your feedback!

Could not send message