Sign In


College of Computing and Mathematics


Computer Engineering Department


Presents Public Seminar


"Design and Research challenges in Real-Time Embedded Software"



Date: Monday, 23rd January, 2023,

Time: 02:30 PM – 03:30 PM

Location: Bldg. 22, Room 130



Dr. Akramul Azim

Associate Professor, Ontario Tech University

(Dr. Akramul is visiting COE department)



Embedded and real-time systems have significantly increased and will continue to grow in the upcoming years. Embedded system applications execute various periodic tasks that are carried out repeatedly within a certain time interval. Each task is characterized by its deadline where it is expected to perform a function producing a correct result within a specified amount of time. Although identification of tasks and/or mapping them into processors manually are robust practices, but they are time consuming and difficult to reconfigure for any changes required. Therefore, we require an automated design process to help identifying tasks and/or mapping them into processors automatically.

Moreover, we want embedded software to be verifiable. However, if all the interactions of the software with its associated system are not known, we may not be able to provide evidence of predictable and deterministic system behavior. The evidence is crucial for any safety-critical functionality, such as autonomous driving. The behavior of a system represents not only functionality but also architectural and execution properties such as resource consumption and timing. Non-determinism might arise for unpredictable input or output, which makes a system uncontrollable. Therefore, it is important to adhere with standards and promote automated hardware-in-the-loop based testing.

In addition to these, real-time systems are now being introduced to handle numerous situations in various dynamic conditions. Real-time systems need to analyze and adapt to different impacts and situations of the application environment which are often difficult to predict during the system design. Therefore, it is required to use machine learning to analyze the system behavior at runtime and adapt to different situations including identification of any potential security vulnerabilities. In this talk, I plan to discuss all of the above research challenges that are on a number of topics such as design automation, verification and validation, situational awareness, and security.


Speaker Bio:

Dr. Azim is an Associate Professor in Software Engineering at Ontario Tech University and leads the real-time embedded software group, which is composed by undergraduate, MASc and PhD students. The group promotes research regarding automotive embedded software research, innovation and development. Prior joining academia, Dr. Azim worked on embedded system applications design and development in BlackBerry QNX and Ericsson Canada. Dr. Azim has several top-quality publications in the areas of embedded software systems that include modeling, design, development, verification, and validation. He is a senior member of IEEE and a licensed Professional Engineer of Ontario.



All faculty, researchers and graduate students are invited to attend.


Computer Engineering Department, College of Computing and Mathematics

Telephone: +966 (13) 860 2110, Email:, Website:


Copyright © 2014 King Fahd University of Petroleum & Minerals



23 Jan 2023


02:30 PM to 03:30 PM