In my phd project I build programs from statecharts models. Statecharts are visual specifications used for modeling control behaviors of electronic devices like mobile phones, cd players and microwave ovens. The models are used for correctness checking and automatic construction of programs.
I develop code generation methods which produce compact and fast programs, that can be used even for severely constraint electronic devices, especially for mobile devices. I am also concerned with parameterizing the compilation process. I would like to allow fine control over size-speed trade off of code generation or to specify which part of the model are used in the particular version of the device. The same model could then be used to generate software for whole range of similar devices.
In my work I directly apply program translation techniques, model transformations, compiler optimizations and model-checking.
Modified: Andrzej Wąsowski 21st Feb 2003