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.


Wafa Hasanain
Faculty Supervisor: 
Dr. Yvan Labiche