License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.ASD.2020.5
URN: urn:nbn:de:0030-drops-125995
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2020/12599/
Go to the corresponding OASIcs Volume Portal

Donzé, Alexandre

BreachFlows: Simulation-Based Design with Formal Requirements for Industrial CPS (Extended Abstract)

pdf-format:
OASIcs-ASD-2020-5.pdf (0.5 MB)

Abstract

Cyber-Physical Systems (CPS) are computerized systems in interaction with their physical environment. They are notoriously difficult to design because their programming must take into account these interactions which are, by nature, a mix of discrete, continuous and real-time behaviors. As a consequence, formal verification is impossible but for the simplest CPS instances, and testing is used extensively but with little to no guarantee. Falsification is a type of approach that goes beyond testing in the direction of a more formal methodology. It has emerged in the recent years with some success. The idea is to generate input signals for the system, monitor the output for some requirements of interest, and use black-box optimization to guide the generation toward an input that will falsify, i.e., violate, those requirements. Breach is an open source Matlab/Simulink toolbox that implements this approach in a modular and extensible way. It is used in academia as well as for industrial applications, in particular in the automotive domain. Based on experience acquired during close collaborations between academia and industry, Decyphir is developing BreachFlows, and extension/front-end for Breach which implements features that are required or useful in an industrial context.

BibTeX - Entry

@InProceedings{donz:OASIcs:2020:12599,
  author =	{Alexandre Donz{\'e}},
  title =	{{BreachFlows: Simulation-Based Design with Formal Requirements for Industrial CPS (Extended Abstract)}},
  booktitle =	{2nd International Workshop on Autonomous Systems Design (ASD 2020)},
  pages =	{5:1--5:5},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-141-2},
  ISSN =	{2190-6807},
  year =	{2020},
  volume =	{79},
  editor =	{Sebastian Steinhorst and Jyotirmoy V. Deshmukh},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2020/12599},
  URN =		{urn:nbn:de:0030-drops-125995},
  doi =		{10.4230/OASIcs.ASD.2020.5},
  annote =	{Keywords: Cyber Physical Systems, Verification and Validation, Test, Model-Based Design, Formal Requirements, Falsification}
}

Keywords: Cyber Physical Systems, Verification and Validation, Test, Model-Based Design, Formal Requirements, Falsification
Collection: 2nd International Workshop on Autonomous Systems Design (ASD 2020)
Issue Date: 2020
Date of publication: 10.08.2020

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