Projects

Current Own Projects

EffiSynth — Design of Energy Effficient Mechatronic Systems based on Automated Controller Synthesis and Trajectory Planning

  • DFG project (Sachbeihilfe)
  • PIs:
    • Prof. Dr. Joel Greenyer, Software Engineering Group, Leibniz Universität Hannover, Germany.
    • Dr. Jens Kotlarski, Institute for Mechatronic Systems, Leibniz Universität Hannover, Germany.
  • started in April 2016.

Scenario-based Specification and Analysis of Structurally Dynamic Reactive Systems

GIF project group: Shlomi Steinberg, Assaf Marron, Daniel Gritzner, Joel Greenyer, David Harel

  • GIF project (German-Israeli Foundation for Scientific Research and Development)
  • PIs:
    • Prof. Dr. Joel Greenyer, Software Engineering Group, Leibniz Universität Hannover, Germany.
    • Prof. David Harel, Department of Computer Science and Applied Mathematics Faculty of Mathematics and Computer Science, Weizmann Institute of Science, Israel.
  • started in January 2015

Industry Collaborations

  • Automatic Tests of Programmable Logic Controllers by Executing Modifiable Recordings of the Machine’s Behavior, cooperation with Continental Machinery, 2016.
  • Evaluating a Formal Scenario-based Method for the Requirements Analysis in Automotive Software Engineering, cooperation with IAV Automotive Engineering, 2014-2015.
  • Hybrid Modeling — Integration of Hybrid Modeling and Validation Techniques in CAMeL-View, Transfer project T2 of the Collaborative Research Center 614, cooperation with iXtronics GmbH, 2010-2011.
  • Automated Testing of the Code Generator TargetLink, in cooperation with dSPACE GmbH,2009.

Past Project Involvement (other PIs)

  • Self-Managing Situated Computing (SMScom), ERC Advanced Investigator Grant N. 227977, PI Prof. Carlo Ghezzi, http://www.erc-smscom.org/, as postdoc.
  • Collaborative Research Center 614 “Self-Optimizing Concepts and Structures in Mechanical Engineering”, DFG Sonderforschungsbereich (SFB~614), as doctoral student. Working Group B2, Design Methodology.