Wednesday, December 7, 2016

Training Session "Introduction to modeling dynamic systems in MapleSim"

The session will give an introduction to modeling dynamic systems in MapleSim.

Jonathan Spike, Application Engineer, Maplesoft

Thursday, November 24, 2016

Seminar "Lattice-theoretic progress measures and co-algebraic model checking" and "Time Robustness in MTL and Expressivity in Hybrid System Falsification"

Ichiro Hasuo, Associate Professor at Department of Computer
Science, the University of Tokyo, Japan

Friday, July 1, 2016

Research Platform "Autonomoose"

The University of Waterloo now ows an autonomous vehicle research platform called "Autonomoose". 

The car, a 2015 Lincoln MKZ Hybrid, is equipped with sensors and drive-by-wire system to allow for sensing the environment and programmatically controlling the car.

A few CREATE students participate in the project to develop an autonomous shuttle for UWaterloo campus ring-road. 

For more information, see autonomoose.net website.

Tuesday, May 10, 2016

Technical Course "Automotive Software Engineering with AutoSAR"

On May 25, 2016, we are beginning a 5-lecture technical course on Automotive Software Engineering with AutoSAR. The course is recommended to all CREATE participants. Registration is required.

The main topics of the course include:

Wednesday, April 20, 2016

Training session "Safety Cases for Self-Driving Cars"

On May 3, 2016, we are hosting a training session "Safety Cases for Self-Driving Cars". The session is recommended for all CREATE participants.

Funded by

NSERC logo

  1. 2024 (1)
    1. March (1)
  2. 2017 (1)
  3. 2016 (5)
  4. 2015 (2)