SAFE DESIGN OF
SOFTWARE EMBEDDED
SYSTEMS
TECHNICAL RESEARCH
Thursday, Nov 11, 2021
01:00 – 02:00 PM EST
LRC 322, WVU Tech
512 South Kanawha Street, Beckley, WV
Speaker
Salam Hajjar, PhD
Electrical and Computer
Engineering
WVU Institute of Tech.
Software Embedded Systems are defined as the software part that is responsible of controlling hardware components in automatic and semiautomatic systems such as autonomous vehicles and robots. This speech introduces a safe method to design errorless software control components for Embedded systems using the Discrete Controller Synthesis approach.
Zoom link : https://wvu.zoom.us/j/93706311489?pwd=TVVhLzVQREZQamg5L0hlQUowWDRyUT09
Contact: salam.hajjar@mail.wvu.edu