Verification and validation of Real-time Embedded Software with RTEdge



An embedded software system is a software system that is part of a larger system composed of software and hardware elements and that often have to react in real-time to its environment. The cruise control in a car, or the auto-pilot in an aircraft are typical examples of embedded software systems. Embedded software systems are pervasive in today's society. RTEdge is a development platform for embedded sohare systems created by Edgewater Computer Systems Inc. The purpose of this project is to add verification capabilities (i.e., is the designed and built software behaving as expected) to RTEdge such that verification activities (e.g., through software testing) can be derived from design models of the software and therefore start early during the development life cycle of the embedded software.


Faculty Supervisor:

Dr. Yvan Labiche


Wafa Hasanain


Edgewater Computer Systems


Computer science


Information and communications technologies


Carleton University



Current openings

Find the perfect opportunity to put your academic skills and knowledge into practice!

Find Projects