Thursday October 17th, 2019
| |
| 9:00 - 10:00 | Invited Talk: Actors Revisited for Cyberphysical Systems. Edward A Lee. |
| 10:00 - 10:30 | Break |
| 10:30 - 11:00 | Guaranteed optimal reachability control of reaction-diffusion equations using one-sided Lipschitz constants and model reduction Adrien Le Coent and Laurent Fribourg. |
| 11:00 - 11:30 | Guaranteed Simulation of Dynamical Systems with Integral Constraints & Application on Delayed Dynamical Systems Paul Rousse, Julien Alexandre Dit Sandretto, Alexandre Chapoutot and Pierre-Loic Garoche. |
| 11:30 - 12:00 | Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation Ayman Aljarbouh, Adam Duracz, Ferenc A. Bartha, Jawad Masood, Roland Philippsen, Henrik Eriksson, Jan Duracz, Fei Xu, Yingfu Zeng and Christian Grante. |
| 12:00 - 1:30 | Lunch |
| 1:30 - 2:00 | A Modular SystemC RTOS Model for Uncertainty Analysis Lorenzo Lazzara, Giulio Mose Mancuso, Alessandro Ulisse and Fabio Cremona. |
| 2:00 - 2:30 | Practical Multicore Extension of Functionally and Temporally Correct Real-Time Simulation for Automotive Systems Wonseok Lee, Jaehwan Jeong, Seonghyeon Park and Chang-Gun Lee. |
| 2:30 - 3:00 | Multicore Models of Communication for Cyber Physical Systems Martin Schoeberl. |
| 3:00 - 3:30 | Break |
| 3:30 - 4:00 | A Remote Test Environment for a Large-Scale Microcontroller Laboratory Course Manfred Smieschek, Stefan Rakel, David Thönnessen, Andreas Derks, André Stollenwerk and Stefan Kowalewski. |
| 4:00 - 4:30 | An Embedded Graduate Lab Course with Spirit Andre Stollenwerk. An Embedded Graduate |
| 4:30 - 5:00 | Competence networks in the era of CPS – lessons learnt in the ICES cross-disciplinary and multi-domain center Martin Törngren, Fredrik Asplund, Tor Ericson, Erik Herzog, Mats Magnusson, Stefan Norrwing, Johanna Johanna and Johnny Öberg. |
Friday October 18th, 2019
| |
| 9:00 - 10:00 | Invited Talk: What can Embedded Systems education learn from current research and trends in the general engineering education area? Martin Hedin Grimheden. |
| 10:00 - 10:30 | Break |
| 10:30 - 11:00 | Towards Creating A Deployable Grasp Type Probability Estimator for a Prosthetic Hand Mehrshad Zandigohar, Mo Han, Deniz Erdogmus and Gunar Schirner. |
| 11:00 - 11:30 | Towards Formal co-Validation of Hardware and Software Timing Models of CPS Mihail Asavoae, Imane Haur, Mathieu Jan, Martin Schoeberl and Belgacem Ben Hedia. |
| 11:30 - 12:00 | Constraint-based modeling and symbolic simulation of hybrid systems with HydLa and HyLaGI Yunosuke Yamada, Masashi Sato and Kazunori Ueda. |
| 12:00 - 12:30 | Reactors: A Deterministic Model for Composable Reactive Systems Marten Lohstroh, Íñigo Íncer Romeo, Andrés Goens, Patricia Derler, Jeronimo Castrillion, Edward Lee and Alberto Sangiovanni-Vincentelli. |
| 12:30 - 1:30 | Lunch |
Model-Based Design of Cyber Physical Systems (CyPhy'19)
Sunday, September 22, 2019
Monday, August 5, 2019
CyPhy 2019 CFP -- Deadline Approaching
A reminder that CyPhy'19 deadlines for abstract and paper submission are as follows.
| Abstract submission | August 12th, 2019 |
| Paper deadline | August 16th, 2019 |
A detailed CFP can be found here.
Friday, June 14, 2019
Call for Papers -- Extended Deadline
Model-Based Design of Cyber-Physical Systems (CyPhy'19) takes a broad interpretation of the area and aims to facilitate the timely consolidation and sharing of new knowledge from its diverse sub-disciplines. Cyber-physical systems (CPSs) integrate computing and communication capabilities into physical systems and are therefore an important domain for innovation, encompassing robotics; smart homes, buildings, and mobility solutions; medical implants; drones, and numerous others. CPSs are also the medium through which next-generation Artificial Intelligence and Machine Learning applications will be deployed, and are a growing source of big data. CyPhy'19 brings together researchers and practitioners working on next-generation technologies for modeling, development, analysis, simulation, optimization, evaluation, and deployment of CPSs.
CyPhy will be held as part of ESWeek in NYC, NY. The conference will take place at the Kimmel Center for University Life.
This year, Professor Edward A. Lee (UC Berkeley) will give the invited talk.
Important Dates:
Topics of interest include, but are not limited to the following aspects of cyber-physical systems:
Research papers will be evaluated according to the traditional standards of novelty, technical contribution, clarity, and overall quality of presentation. Such papers may contain theoretical results, experimental results, or cases studies that go beyond the scope of what prior art has been able to address. Research papers may also address open problems. Such papers will be evaluated based on the extent to which these problems were not articulated previously and the extent to which they are clear and actionable. Research papers may also be surveys. Such papers will be evaluated based on their timeliness, the absence of comparable surveys, how comprehensive they are, and the extent to which they organize existing information in a useful manner.
Advanced tutorials will be evaluated based on the extent to which they make it clear that there is a need for expository material on this subject, that there is currently a shortage of such material, the technical depth of the material covered, and the accessibility and overall quality of the presentation.
Tool demonstrations will be evaluated based on the timeliness of the presentation of the tool, the extent to which the tool can address problems that are currently much more difficult or impossible by existing tools, and the accessibility and overall quality of the presentation.
Proceedings: As with previous years, the proceedings are expected to be published in the Springer
Verlag Lecture Notes in Computer Science (LNCS) series. To maximize the benefit from the workshop, authors will be asked to first prepare a camera-ready copy of accepted papers before the meeting, and to submit a revised version that takes into account workshop feedback after the meeting.
Program Committee (CyPhy19 and WESE19)
Houssam Abbas, Oregon State University
Erika Abraham, RWTH Aachen University
Julien Alexandre dit Sandretto, ENSTA ParisTech
Ayman Aljarbouh, Grenoble Alpes
Matthias Althoff, TU Munich
Henric Andersson, Environment & Innovation
Stanley Bak, Safe Sky Analytics
Ferenc Bartha, Independent
Saddek Bensalem, University of Grenoble
Sergiy Bogomolov, Australian National University
Mirko Bordignon, Fraunhofer IPA, Germany
Manfred Broy, TU München
Manuela Bujorianu, University of Strathclyde
Daniela Cancila, Commissariat à l'Energie Atomique (CEA)
Thao Dang, Verimag, France
Alex Dean, North Carolina State University
Rayna Dimitrova, Leicester
Adam Duracz, Rice University
Sinem Coleri Ergen, Koc University
Xinyu Feng, USTC
Martin Fränzle, University of Oldenburg
Goran Frehse, Université Grenoble Alpes
Laurent Fribourg, CNRS
Helen Gill, Retired
Ichiro Hasuo, University of Tokyo
Holger Hermanns, Saarland University
Bardh Hoxha, South Illinois University
Jun Inoue, AIST
Daisuke Ishii, Tokyo Institute of Technology
Taylor T. Johnson, Vanderbilt University
Mehdi Kargahi, University of Tehran
Ueda Kazunori, Waseda University
Michal Konečný, Aston University
Vladik Kreinovich, University of Texas at Elpaso
Kim G. Larsen, Aalborg University
Lucia Lo Bello, University of Catania
Peter Marwedel, TU Dortmund
Karl Meinke, KTH
Nacim Meslem, Grenoble INP
Stefan Mitsch, CMU
Yilin Mo, Tsinghua
Eugenio Moggi, Università degli studi di Genova
Wojciech Mostowski, Halmstad University
Mohammad Reza Mousavi, Leicester University
Marco Mugnaini, University of Sienna
Jogesh Muppala, Hong Kong University of Science & Technology
Andreas Naderlinger, University of Salsburg
Marc Pouzet, ENS
Maria Prandini, Politecnico di Milano
Nacim Ramdani, University of Orleans
Andreas Rauh, University of Rostock
Michel Reniers, Eindhoven University of Technology
Jan Oliver Ringert, Leicester
Bernhard Rumpe, RWTH University Aachen
Maytham Safar, Kuwait University
Cherif Salama, American University in Cairo
Ashraf Salem, Ain Shams University
Falk Salewski, Muenster University of Applied Sciences
Erwin Schoitsch, Austrian Institute of Technology
Ulrik P. Schultz, University of Southern Denmark, Denmark
Marjan Sirjani, Mälardalen University
Martin Steffen, Oslo University
Marielle Stoelinga, Radboud University, the Netherlands
Zain Ul-Abdin, HEC Pakistan
Rafael Wisniewski, Aalborg University
Andreas Wortmann, RWTH Aachen University, Germany
Sebastian Wrede, Bielefeld University, Germany
Yingfu Zeng, Rice University
Mikal Ziane, Lip6, Laboratoire d'Informatique de Paris, France
Publicity Chair
CyPhy will be held as part of ESWeek in NYC, NY. The conference will take place at the Kimmel Center for University Life.
This year, Professor Edward A. Lee (UC Berkeley) will give the invited talk.
Important Dates:
| Abstract submission | August 12th, 2019 |
| Paper deadline | August 16th, 2019 |
| Notifications | September 6th, 2019 |
| Camera-ready | October 25th, 2019 |
| Workshop | October 17-18th, 2019 |
- Case studies and applications: Experience and case studies in the development of industrial and/or research-oriented cyber-physical systems in domains such as smart mobility, health innovation, medical and healthcare devices, smart homes, emerging communication and networking technologies (for example 5G and 6G), Internet-of-Things,
- Methods: Systematic, rigorous, and set-based methods for modeling, implementation, simulation, optimization, manufacturing, testing, and verification of cyber-physical systems; model-based engineering, systems engineering; the use of formal verification and reachability analysis tools; counterexample-guided abstraction refinement (CEGAR), safe/verified Artificial Intelligence and Machine Learning (AI/ML),
- Tools: New tool technologies, evaluations of novel research tools, extensive case studies and industrial experiences, comparisons of state of the art tools in realistic contexts, and
- Foundations: Domain specific languages (DSLs) including hybrid automata, hybrid process calculi, and differential games; models of computation; multi-domain modeling languages; correctness of implementations, interval computation and validated numerical methods; experimental model validation.
Research papers will be evaluated according to the traditional standards of novelty, technical contribution, clarity, and overall quality of presentation. Such papers may contain theoretical results, experimental results, or cases studies that go beyond the scope of what prior art has been able to address. Research papers may also address open problems. Such papers will be evaluated based on the extent to which these problems were not articulated previously and the extent to which they are clear and actionable. Research papers may also be surveys. Such papers will be evaluated based on their timeliness, the absence of comparable surveys, how comprehensive they are, and the extent to which they organize existing information in a useful manner.
Advanced tutorials will be evaluated based on the extent to which they make it clear that there is a need for expository material on this subject, that there is currently a shortage of such material, the technical depth of the material covered, and the accessibility and overall quality of the presentation.
Tool demonstrations will be evaluated based on the timeliness of the presentation of the tool, the extent to which the tool can address problems that are currently much more difficult or impossible by existing tools, and the accessibility and overall quality of the presentation.
Proceedings: As with previous years, the proceedings are expected to be published in the Springer Verlag Lecture Notes in Computer Science (LNCS) series. To maximize the benefit from the workshop, authors will be asked to first prepare a camera-ready copy of accepted papers before the meeting, and to submit a revised version that takes into account workshop feedback after the meeting.
Program Committee (CyPhy19 and WESE19)
Houssam Abbas, Oregon State University
Erika Abraham, RWTH Aachen University
Julien Alexandre dit Sandretto, ENSTA ParisTech
Ayman Aljarbouh, Grenoble Alpes
Matthias Althoff, TU Munich
Henric Andersson, Environment & Innovation
Stanley Bak, Safe Sky Analytics
Ferenc Bartha, Independent
Saddek Bensalem, University of Grenoble
Sergiy Bogomolov, Australian National University
Mirko Bordignon, Fraunhofer IPA, Germany
Manfred Broy, TU München
Manuela Bujorianu, University of Strathclyde
Daniela Cancila, Commissariat à l'Energie Atomique (CEA)
Thao Dang, Verimag, France
Alex Dean, North Carolina State University
Rayna Dimitrova, Leicester
Adam Duracz, Rice University
Sinem Coleri Ergen, Koc University
Xinyu Feng, USTC
Martin Fränzle, University of Oldenburg
Goran Frehse, Université Grenoble Alpes
Laurent Fribourg, CNRS
Helen Gill, Retired
Ichiro Hasuo, University of Tokyo
Holger Hermanns, Saarland University
Bardh Hoxha, South Illinois University
Jun Inoue, AIST
Daisuke Ishii, Tokyo Institute of Technology
Taylor T. Johnson, Vanderbilt University
Mehdi Kargahi, University of Tehran
Ueda Kazunori, Waseda University
Michal Konečný, Aston University
Vladik Kreinovich, University of Texas at Elpaso
Kim G. Larsen, Aalborg University
Lucia Lo Bello, University of Catania
Peter Marwedel, TU Dortmund
Karl Meinke, KTH
Nacim Meslem, Grenoble INP
Stefan Mitsch, CMU
Yilin Mo, Tsinghua
Eugenio Moggi, Università degli studi di Genova
Wojciech Mostowski, Halmstad University
Mohammad Reza Mousavi, Leicester University
Marco Mugnaini, University of Sienna
Jogesh Muppala, Hong Kong University of Science & Technology
Andreas Naderlinger, University of Salsburg
Marc Pouzet, ENS
Maria Prandini, Politecnico di Milano
Nacim Ramdani, University of Orleans
Andreas Rauh, University of Rostock
Michel Reniers, Eindhoven University of Technology
Jan Oliver Ringert, Leicester
Bernhard Rumpe, RWTH University Aachen
Maytham Safar, Kuwait University
Cherif Salama, American University in Cairo
Ashraf Salem, Ain Shams University
Falk Salewski, Muenster University of Applied Sciences
Erwin Schoitsch, Austrian Institute of Technology
Ulrik P. Schultz, University of Southern Denmark, Denmark
Marjan Sirjani, Mälardalen University
Martin Steffen, Oslo University
Marielle Stoelinga, Radboud University, the Netherlands
Zain Ul-Abdin, HEC Pakistan
Rafael Wisniewski, Aalborg University
Andreas Wortmann, RWTH Aachen University, Germany
Sebastian Wrede, Bielefeld University, Germany
Yingfu Zeng, Rice University
Mikal Ziane, Lip6, Laboratoire d'Informatique de Paris, France
Program Chair
Walid Taha, Halmstad University
Publicity Chair
Abd-Elhamid M. Taha, Alfaisal University
Advisory Committee
Manfred Broy, Technische Universität München
Karl Iagnemma, MIT
Karl Henrik Johansson, Royal Institute of Technology
Insup Lee, University of Pennsylvania
Pieter Mosterman, McGill University
Janos Sztipanovits, Vanderbilt University
Walid Taha, Halmstad University
Paper Submission: Papers should be submitted electronically via the EasyChair web site.
Advisory Committee
Manfred Broy, Technische Universität München
Karl Iagnemma, MIT
Karl Henrik Johansson, Royal Institute of Technology
Insup Lee, University of Pennsylvania
Pieter Mosterman, McGill University
Janos Sztipanovits, Vanderbilt University
Walid Taha, Halmstad University
Paper Submission: Papers should be submitted electronically via the EasyChair web site.
Papers should be formatted according to the Springer LNCS Style, and be submitted in PDF. Except for regular research papers, the paper category must be indicated at the end of the title in parenthesis at the time of the initial submission and in the final camera-ready version.
Simultaneous submission to other venues with a formal publication (workshops, conferences, symposia, and journals) is not allowed. Duplicated submissions or other types of plagiarism will result in rejection and a report will be sent to the corresponding institution's dean or manager.
Papers not adhering to the format or page limit may be rejected without a review.
Tuesday, March 12, 2019
Colocation with EMSOFT and Call for Papers
We are pleased to announce that EMSOFT has approved this year's CyPhy workshop proposal. CyPhy'19 will take place on October 17th in NYC. The deadline for abstract submission is June 8th, and the full Call for Papers can now be found online at www.cyphy.org.
Subscribe to:
Posts (Atom)