2 Search Results for "Jones, Cliff B."

Document
DOI: 10.4230/LIPIcs.ECRTS.2022.14
An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems

Authors: A. Burns and Cliff B. Jones

Published in: LIPIcs, Volume 231, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)

Abstract
This paper proposes a formal framework for describing the relationship between a criticality-aware scheduler and a set of application tasks that are assigned different criticality levels. The exposition employs a series of examples starting with scheduling simple jobs and then moving on to mixed-criticality robust and resilient tasks. The proposed formalism extends the rely-guarantee approach, which facilitates formal reasoning about the functional behaviour of concurrent systems, to address real-time properties.
Cite as

A. Burns and Cliff B. Jones. An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems. In 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 231, pp. 14:1-14:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

Copy BibTex To Clipboard

@InProceedings{burns_et_al:LIPIcs.ECRTS.2022.14,
  author =	{Burns, A. and Jones, Cliff B.},
  title =	{{An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems}},
  booktitle =	{34th Euromicro Conference on Real-Time Systems (ECRTS 2022)},
  pages =	{14:1--14:23},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-239-6},
  ISSN =	{1868-8969},
  year =	{2022},
  volume =	{231},
  editor =	{Maggio, Martina},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2022.14},
  URN =		{urn:nbn:de:0030-drops-163315},
  doi =		{10.4230/LIPIcs.ECRTS.2022.14},
  annote =	{Keywords: real-time, scheduling, mixed criticality, rely/guaranteed conditions}
}
Document
DOI: 10.4230/DagRep.2.7.1
AI meets Formal Software Development (Dagstuhl Seminar 12271)

Authors: Alan Bundy, Dieter Hutter, Cliff B. Jones, and J Strother Moore

Published in: Dagstuhl Reports, Volume 2, Issue 7 (2013)

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 12271 ``AI meets Formal Software Development''. This seminar brought together researchers from formal methods and AI. The participants addressed the issue of how AI can aid the formal software development process, including modelling and proof. There was a pleasing number of participants from industry and this made it possible to ground the discussions on industrial-scale problems.
Cite as

Alan Bundy, Dieter Hutter, Cliff B. Jones, and J Strother Moore. AI meets Formal Software Development (Dagstuhl Seminar 12271). In Dagstuhl Reports, Volume 2, Issue 7, pp. 1-29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@Article{bundy_et_al:DagRep.2.7.1,
  author =	{Bundy, Alan and Hutter, Dieter and Jones, Cliff B. and Moore, J Strother},
  title =	{{AI meets Formal Software Development (Dagstuhl Seminar 12271)}},
  pages =	{1--29},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{7},
  editor =	{Bundy, Alan and Hutter, Dieter and Jones, Cliff B. and Moore, J Strother},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.2.7.1},
  URN =		{urn:nbn:de:0030-drops-37318},
  doi =		{10.4230/DagRep.2.7.1},
  annote =	{Keywords: Learning of proof processes and strategies, Theory development, Formal software development, Automated reasoning, Formal modelling, Industrial use of formal methods}
}
  • Refine by Author
  • 2 Jones, Cliff B.
  • 1 Bundy, Alan
  • 1 Burns, A.
  • 1 Hutter, Dieter
  • 1 Moore, J Strother

  • Refine by Classification
  • 1 Computer systems organization → Embedded and cyber-physical systems
  • 1 Software and its engineering → Real-time schedulability

  • Refine by Keyword
  • 1 Automated reasoning
  • 1 Formal modelling
  • 1 Formal software development
  • 1 Industrial use of formal methods
  • 1 Learning of proof processes and strategies
  • Show More...

  • Refine by Type
  • 2 document

  • Refine by Publication Year
  • 1 2012
  • 1 2022

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
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact