May 202018

I will be chairing DATE track E3 on Model-Based Design, Verification and Security for Embedded Systems.

Todd Austin at the University of Michigan will co-chair the track.

The general call for papers to DATE 2019 is available here.

DATE 2019 will be held on March 25 – 29, 2019, in the marvelous Firenze, Italy.

More details to be announced soon. Below is the track description.

Verification techniques for embedded and cyber-physical systems ranging from simulation, testing, model-checking, SAT and SMT-based reasoning, compositional analysis and analytical methods. Modeling, analysis and optimization of non-functional and performance aspects such as security, timing, memory usage, QoS and reliability. Model-based design of software architectures and deployment. Theories, languages and tools supporting model-based design flows covering software, control and physical components. Monitoring and run-time verification of embedded systems.

 Posted by at 8:22 AM