Verification, Validation and Certification of Embedded Software

2020-01-28
6:00 p.m.
The Albany Club - 91 King Street East, Toronto, Ontario

Dr. Akramul Azim



Dr. Akramul Azim is currently an Assistant Professor in software engineering at Ontario Tech University.

He completed his PhD from University of Waterloo and he has professional experience working with Ericsson Canada, BlackBerry QNX, Quanser, and Huawei. He is also a professional engineer of Ontario and senior member of IEEE. He is currently leading the Real-Time EMbedded SOFTware (RTEMSOFT) research lab at Ontario Tech University.

Dr. Azim’s areas of research include verification and validation of software systems, software testing, embedded software, real-time operating systems, and safety-critical systems.



Event Document

Document Name - Verification, Validation and Certification of Embedded Software
Download - Download

Speaker: Dr. Akramul Azim, Assistant Professor in software engineering at Ontario Tech University

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.

Automated verification is useful for verifying properties, even for large programs. However, validating complex functions such as embedded machine learning algorithms often tend to be difficult because of the large software size of the current embedded system (size can be measured in lines of code, number of system inputs and outputs, and/or number of classes/modules). The code size also constrains the functional safety certification process, such as IEC 61508 (generic), ISO 26262 (automotive), and IEC 62304 (medical). This talk will cover some guidelines to test software systems ranging from automotive to medical device software to accelerate the functional safety certification process.

Agenda

  • 5:30pm-6pm: Welcoming and Networking
  • 6pm-7pm: Conference
  • 7pm-7:30pm: Discussion and Networking
  • 7:30pm: Dinner

Presentation only is free for members and $10 for non-members, presentation and 3 courses dinner is $40 for members and $55 for non-members.