Text

Held in conjunction with ESWEEK 2017 on during October 15-20 2017, Seoul, South Korea.

Saturday, December 23, 2017

Call for Post-Workshop Papers

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.

We solicit research papers for inclusion in the post-proceeding of the 2017 workshop on the Design, Modeling and Evaluation of Cyber-Physical Systems (CyPhy17). Topics of interest include, but are not limited to, the following aspects of cyber-physical systems.
  • Foundations: models of computation, modeling and simulation languages for hybrid and cyber-physical systems, including hybrid automata and hybrid process theory, as well as other integrations of control-theoretic and discrete-event models;
  • Methods: Specifications and evaluation of processes for rigorous modeling, testing, simulation, and verification of new cyber-physical systems;
  • Case studies: Development of industrial or research-oriented cyber-physical systems in domains such as robotics, smart systems (homes, vehicles, buildings), medical and healthcare devices, future generation networks; 
  • Pedagogy and Eduction: design, research, and experiences in embedded and cyber-physical systems education; and
  • Tools: Evaluation of novel research tools, comparisons of state of the art tools in industrial practice.

The papers will be peer-reviewed by the combined program committees of CyPhy17 and WESE17 (Workshop on Embedded and Cyber-Physical Systems Education), and accepted papers will be included in the CyPhy17 post proceeding in a volume of Lecture Notes in Computer Science, by Springer.

Submission Types
This call is soliciting the following submission types.
  1. research papers (max. 15 pages); 
  2. position papers (max. 4 pages); and 
  3. tool demonstrations (max. 10 pages).
Research papers will be judged for technical novelty and scientific merit. Any previous publication in any form must be explicitly identified and cited on the first page of the submission. Papers in the other two categories will be judged on novelty, clarity, accessibility, and suitability.

Important Dates
Full paper submission deadline: January 31, 2018
Notification: February 28, 2018

Committees

General Chair
Walid Taha, Halmstad University and University of Houston

Program Chairs
William L. Harrison, University of Missouri
Pavithra Prabhakar, Kansas State University

Program Committee (CyPhy17 + WESE17)
Julien Alexandre dit Sandretto, ENSTA ParisTech
Jakob Axelsson, Mälardalen University
Christian Berger, Chalmers and University of Gothenburg
Manuela Bujorianu, Leicester University
Thao Dang, Verimag, France
Georgios Fainekos, Arizona State University
Martin Fr‰nzle, University of Oldenburg
Laurent Fribourg, CNRS
Antoine Girard, CNRS
Scott Hissam, Carnegie Mellon University
Daisuke Ishii, Tokyo Institute of Technology
Mehdi Kargahi, University of Tehran
Zhiyun Lin, Zhejiang University
Nacim Meslem, Grenoble INP
Wojciech Mostowski,  Halmstad University
Mohammad Reza Mousavi, Halmstad University
Tarek Raïssi, CNAM
Nacim Ramdani, University of Orleans
Andreas Rauh, University of Rostock
Michel Reniers, Eindhoven University of Technology
Bernhard Rumpe, RWTH University Aachen
Christoph Seidl, TU Braunschweig
Christoffer Sloth, Aalborg University
Jack Stankovic, University of Virginia
Martin Steffen, Oslo University
Rafael Wisniewski, Aalborg University
Hugo Andrade, National Instruments
Lucia Lo Bello, University of Catania
Saddek Bensalem, University of Grenoble
David Broman, UC Berkeley & KTH Royal Institute of Technology
Daniela Cancila, Commissariat `a l'Energie Atomique (CEA)
Janette Cardoso, Institut SupÈrieur de l'AÈronautique et de l'Espace (ISAE)
Alex Dean, North Carolina State University
Martin Grimheden, KTH Royal Institute of Technology
Tei-Wei Kuo, National Taiwan University
Peter Marwedel, TU Dortmund
Jogesh Muppala, Hong Kong University of Science & Technology
Falk Salewski, Muenster University of Applied Sciences
Bernhard Schätz, TU Munich & Fortiss
Erwin Schoitsch, Austrian Institute of Technology
Walid Taha, Halmstad University & Rice University
Martin Törngren, KTH Royal Institute of Technology
Shiao-Li Tsao, National Chiao Tung University
Jon Wade, Stevens Institute of Technology

Advisory Committee
Manfred Broy, Technische Universität München
Karl Henrik Johansson, Royal Institute of Technology
Karl Iagnemma, MIT
Insup Lee, University of Pennsylvania
Pieter Mosterman, McGill University
Janos Sztipanovits, Vanderbilt University

Saturday, September 30, 2017

CyPhy 2017 Program

Session 1. 9:00 am - 10:00 am.

Keynote Address.

Ichiro Hasuo. Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid.

Session 2. 10:30 am – 12:00 pm.

Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi and Toshiaki Aoki. Template-Based Monte-Carlo Test Generation for Simulink Models.

Shakiba Yaghoubi and Georgios Fainekos. Local Descent for Temporal Logic Falsification of Cyber-Physical Systems.

Daisuke Ishii, Alexandre Goldsztejn and Naoki Yonezaki. Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis.

Session 3. 1:30 pm - 3:00 pm.

Hokeun Kim, Edward A. Lee and Armin Wasicek. An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems.

Jeongyoon Eo, Kang-Wook Kim and Chang-Gun Lee. Memory Access Pattern-Aware DRAM Controller Design for Mixed-Criticality Systems.

Chao Wang, Yuming Cheng, Lei Gong, Bo Wan, Aili Wang, Xi Li and Xuehai Zhou. FPGA based Big Data Accelerator Design in Teaching Computer Architecture and Organization.

3:30 pm - 4:30 pm — Panel and Conclusion.

Thursday, July 13, 2017

Deadline Extended to July 23

Following requests for additional time, the submission deadline has been extended to July 23, 2017 (firm). This includes both papers for which an abstract has been received and new papers.

Submission instructions are available here.

Thursday, April 20, 2017

CyPhy part of ESWeek 2017 in Seoul!

We are pleased to announce that CyPhy'17 will be held as part of ESWEEK 2017 in Seoul. The call for papers can be found here.