Search Results

Documents authored by 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.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
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.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}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail