[ecoop-info] CyPhy 2016: Call for Participation and Program (Advance Registration: September 9)

[M.R. Mousavi]

===========================================

The 6th International Workshop on
Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy 2016)

Pittsburgh, USA

October 6, 2016

http://www.cyphy.org/

(Held in conjunction with ESWEEK 2016)

Advance Registration Deadline: September 9, 2016

===========================================


Outline
=======

Cyber physical systems (CPSs) combine computing and networking power with
physical components. They enable innovation in a wide range of domains
including robotics; smart homes, vehicles, and buildings; medical implants;
and future-generation sensor networks. CyPhy'16 brings together researchers
and practitioners working on modeling, simulation, and evaluation of CPS,
based on a broad interpretation of these areas, to collect and exchange
expertise from a diverse set of disciplines. The workshop places particular
focus on techniques and components to enable and support virtual
prototyping and testing.


Program
==========

(Keynote)
Jyotirmoy Deshmukh, Toyota Technical Center
Formal methods for cyberphysical systems in the automotive domain

Ken Vanherpen, Joachim Denil, Paul De Meulenaere and Hans Vangheluwe.
Ontological Reasoning as an Enabler of Contract-Based Co-Design.

Waheed Ahmad, Bugra Mehmet Yildiz, Arend Rensink and Marielle Stoelinga.
A Model-Driven Framework for Hardware-Software Co-design of Dataflow
Applications.

Sebastian Schlesinger, Paula Herber, Thomas Göthel and Sabine Glesner.
Proving Correctness of Refactorings for Hybrid Simulink Models with Control
Flow.

Kenichi Betsuno, Shota Matsumoto and Kazunori Ueda.
Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes
Using Loop Detection.

Georgiana Caltais, Florian Leitner-Fischer, Stefan Leue and Jannis Weiser.
SysML to NuSMV model transformation via object-orientation.

Stefan Schwab, Bernd Holzmueller and Soeren Hohmann.
Automated Verification of Switched Systems using Hybrid Identification.

Jonas Westman, Mattias Nyberg and Oscar Thyden.
CPS Specifier -- A Specification Tool for Safety-Critical Cyber-Physical
Systems.


*Shafiul Azam Chowdhury, Taylor Johnson and Christoph Csallner. *
*CyFuzz: : A Differential Testing Framework for Cyber-Physical Systems
Development Environments.*

*Fergus Leahy and Naranker Dulay. *
*Ardan: Using 3D Game Engines in Cyber-Physical Simulations.*