@inproceedings{Huang2012, author = {Huang, Kai and Chen, Gang and Keddis, Nadine and Geisinger, Michael and Buckl, Christian}, title = {Demo Abstract: An Inverted Pendulum demonstrator for Timed Model-based Design of Embedded Systems}, booktitle = {2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS)}, pages = {224}, year = {2012}, month = apr, doi = {10.1109/ICCPS.2012.45}, keywords = {chromosome, embedded systems, field programmable gate arrays, FPGA platform, inverted pendulum demonstrator, middleware, model-based software design, modular software framework, nonlinear systems, pendulums, safety-critical embedded systems, safety-critical software, timed model-based design}, }