M.A.Sc. Research Seminar
Posted on July 24, 2006
Filed Under Software Eng |
Breaking news:
The first of 2 presentations of my research work (the other being the formal defence) goes Thursday July 27 @ 10:00, at McMaster.
Topic: Symbolic Timing Analysis of Real-Time Systems
Abstract:
Timing analysis of a real-time control program is often required to verify that the system meets timing requirements. For example, if a real-time control program responds too slowly or too quickly, then the system may become unstable and fail. Traditional methods to determine timing bound estimates are often restrictive, labour-intensive, and error-prone. This thesis proposes an automated method of obtaining best- and worst-case timing bounds on unstructured assembly code without the need for manual annotation of loop or recursive call bounds. A prototype tool suite takes an assembly program as input and then generates the static control-flow graph. The generated static control-flow graph is then automatically translated into a timed automata model that models instruction processing times and adds variables to model the processor state. The resulting timed automata’s transition relation represents the dynamic control-flow graph of the program. Fastest and slowest trace algorithms in recent prototype versions of \textsc{Uppaal}, a timed automata model checker, are then used to extract tight best- and worst-case execution times of the program. The method is applied to code examples for two different low-end (i.e., no cache or pipeline) 8 and 16-bit microcontroller architectures, the PIC and IBM1800.
Much love to the beats in my ears that help keep me focused from Julien, Jay, Jian, Kelly and Cameron, and Grant. Well, I haven’t been that focused and thinking other things… but when I am it is thanks to the music, so peace. Now back to finish writing the @#$@@#$ thesis.
Update:My supervisory committee approved my work and I will defend it at the end of August.
Comments
2 Responses to “M.A.Sc. Research Seminar”
Leave a Reply
[…] 2 years of blood, sweat, and tears comes to a close on Friday, @13:00. For those interested, ITB/201. For abstract etc. see, mhp’s musings […]
[…] 2 years of blood, sweat, and tears comes to a close on Friday, @13:00. For those interested, ITB/201. For abstract etc. see, mhp’s musings >> M.A.Sc. Research Seminar. […]