model-based design

forum

Visible to the public Call for Papers: CyPhy’19 (EXTENDED DEADLINE)

Call for Papers -- Extended Deadline

The Ninth International Workshop on Model-Based Design of Cyber-Physical Systems (CyPhy'19)

October 17-18th, 2019 | New York, NY | www.cyphy.org

Part of ESWeek (www.esweek.org) in NYC, NY. The conference will take place at the Kimmel Center for University Life.

file

Visible to the public Model-Based Grey-Box Fuzzing

Constraint solving technology can be used to generate tests from model-based system requirements. Such tests can be generated automatically and are capable of meeting even stringent MC/DC code coverage criteria required for DO-178C Level A certification. Given that high-quality safety-relevant behavioral tests can be generated from requirements-level models, perhaps a similar approach works for security-relevant testing as well.

file

Visible to the public Compositional System Modeling with Interfaces - COSMOI

Abstract:

Design of cyber-physical systems today relies on executable models. Designers develop models, simulate them, find defects, and improve their designs before the system is built, thus greatly reducing the design costs.

file

Visible to the public Precise Piecewise Affine Models from Input Output Data

Abstract:

Formal design and analysis of embedded control software relies on mathematical models of dynamical systems, and such models can be hard to obtain. In this paper, we focus on automatic construction of piecewise affine models from input-output data.

file

Visible to the public Science of Cyber-Physical System Integration

Abstract:

The objective of this project is to develop a science of integration for cyber physical systems (CPS). The proposed research program has three focus areas: (1) foundations, (2) tools and tool architectures, (3) systems/experimental research. The project has pushed along several frontiers towards these overall objectives. In the following, we describe selected accomplishments: