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.9.2.48
URN: urn:nbn:de:0030-drops-108581
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2019/10858/
Go back to Dagstuhl Reports

Deshmukh, Jyotirmoy V. ; Maler, Oded ; Nickovic, Dejan
Weitere Beteiligte (Hrsg. etc.): Jyotirmoy V. Deshmukh and Oded Maler and Dejan Nickovic

Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071)

pdf-format:
dagrep_v009_i002_p048_19071.pdf (10 MB)

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar
19071 "Specification Formalisms for Modern Cyber-Physical Systems."
Specifications play a major role in evaluating behaviors of modern
cyber-physical systems (CPS). There is currently no specification
language that allows joint description of safety, performance,
security, privacy, and reliability aspects of CPS applications. The
Dagstuhl seminar brought together researchers and practitioners from
formal methods, control theory, machine learning and robotics to
discuss the state-of-the-art and open challenges in specifying
properties of modern CPS. Special attention was given to exploring the
intersection of machine learning and formal specification languages,
where formal specifications can serve as a bridge between the world of
verification and the world of learning and data-mining.

BibTeX - Entry

@Article{deshmukh_et_al:DR:2019:10858,
  author =	{Jyotirmoy V. Deshmukh and Oded Maler and Dejan Nickovic},
  title =	{{Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071)}},
  pages =	{48--72},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{9},
  number =	{2},
  editor =	{Jyotirmoy V. Deshmukh and Oded Maler and Dejan Nickovic},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2019/10858},
  URN =		{urn:nbn:de:0030-drops-108581},
  doi =		{10.4230/DagRep.9.2.48},
  annote =	{Keywords: Cyber-physical systems, formal specifications, runtime verification and control}
}

Keywords: Cyber-physical systems, formal specifications, runtime verification and control
Collection: Dagstuhl Reports, Volume 9, Issue 2
Issue Date: 2019
Date of publication: 16.07.2019

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