Dr. Christian Buckl

Curriculum Vitæ

Current Projects

• eCar - Experimental Platform for Electric Car Architecture
• eSOA: Model-Based Development of Sensor/Actuator Networks (funded by Siemens)
• FTOS: Model-Based Development of Fault-Tolerant Real-Time Systems (funded by the German Ministry for Education and Research)
• PUMA: Program and Model Analysis (graduate school funded by DFG), Homepage
• VARS - Formale Verifikation von Anlagen- und Robotersteuerungen

Previous Projects

• WS-AMUSE: WS-AMUSE - Web Service Architecture for Multimedia Services (funded by Siemens)

Research Interests

• Real-Time Systems
• Embedded Systems
• Fault Tolerance
• Model-Based/Model-Driven Development
• Code Generation of Non-Functional Aspects (e.g. Fault-Tolerance Mechanism, Communication, Scheduling)

Education

• 1999-2004: Diploma in Informatics, Department of Informatics, Technische Universität München
• 2004-2008: Ph.D. in Informatics, Department of Informatics, Technische Universität München
  • Electronic version of thesis: Model-Based Development of Fault-Tolerant Real-Time Systems
• 2008-2009: Research Associate at Group "Embedded Systems and Robotics", Department of Informatics, Technische Universität München
• since 2009 Head of Cyber-Physical Systems group at fortiss

Publications

1. Chih-Hong Cheng, Alois Knoll, Javier Esparza, Christian Buckl, and Yang Chen. Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification. In Proceedings of the 8th IEEE International Symposium on Computational Intelligence in Robotics and Automation (CIRA'09). IEEE, December 2009. to appear.
2. Chih-Hong Cheng, Christian Buckl, Javier Esparza, and Alois Knoll. Modeling and verification for timing satisfaction of fault-tolerant systems with finiteness. In Proceedings of the 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT'09), pages 208-215. IEEE, October 2009.
3. Andreas Scholz, Irina Gaponova, Stephan Sommer, Alfons Kemper, Alois Knoll, Christian Buckl, Jörg Heuer, and Anton Schmitt. Efficient communication in control-oriented embedded networks. In Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation, September 2009.
4. Stephan Sommer, Andreas Scholz, Christian Buckl, Alois Knoll, Alfons Kemper, Jörg Heuer, and Anton Schmitt. Towards the internet of things: Integration of web services and field level devices. In International Workshop on the Future Internet of Things and Services - Embedded Web Services for Pervasive Devices (at FITS 2009), September 2009.
5. Chih-Hong Cheng, Markus Rickert, Christian Buckl, Edward A. Lee, and Alois Knoll. Toward the design of robotic software with verifiable safety. In Proceedings of the 33rd IEEE International Computer Software and Applications Conference (Fast Abstract), July 2009.
6. Chih-Hong Cheng, Christian Buckl, Javier Esparza, and Alois Knoll. Toward an efficient methodology for the analysis of fault-tolerant systems. In 4th International Workshop on Systems Software Verification (SSV'09) (Doctoral Symposium), June 2009.
7. Andreas Scholz, Christian Buckl, Stephan Sommer, Alfons Kemper, Alois Knoll, Jörg Heuer, and Anton Schmitt. eSOA - service oriented architectures adapted for embedded networks. In Proceedings of the 7th International Conference on Industrial Informatics), June 2009. (http )
8. Christian Buckl, Stephan Sommer, Andreas Scholz, Alois Knoll, Alfons Kemper, Jörg Heuer, and Anton Schmitt. Services to the field: An approach for resource constrained sensor/actor networks. In The Fourth Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2009) - extended version. IEEE, May 2009. (.pdf )
9. Stephan Sommer, Christian Buckl, and Alois Knoll. Developing service oriented sensor/actuator networks using a tailored middleware. In 6th International Conference on Information Technology : New Generations (ITNG 2009). IEEE, April 2009. (http )
10. Andreas Scholz, Christian Buckl, Stephan Sommer, Alfons Kemper, Alois Knoll, Jörg Heuer, and Martin Winter. eSOA - SOA für eingebettete netze. In Proceedings of the Workshop on Service Oriented Computing at KIVS 2009), 2009. (http )
11. Simon Barner, Michael Geisinger, Christian Buckl, and Alois Knoll. EasyLab: Model-based development of software for mechatronic systems. In IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, pages 540-545, Beijing, China, October 2008. (.pdf )
12. Christian Buckl. Model-Based Development of Fault-Tolerant Real-Time Systems. PhD thesis, Technische Universität München, October 2008. (http )
13. Stephan Sommer, Christian Buckl, and Alois Knoll. Applying the service oriented paradigm to develop sensor/actuator networks. In Junior Researcher Workshop on Real-Time Computing (JRWRTC 2008). IEEE, October 2008. (.pdf )
14. Christian Buckl, Stephan Sommer, Andreas Scholz, Alois Knoll, and Alfons Kemper. Generating a tailored middleware for wireless sensor network applications. In Proceedings of the IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, pages 162-169. IEEE, June 2008. (http )
15. Andreas Scholz, Christian Buckl, Alfons Kemper, Alois Knoll, Jörg Heuer, and Martin Winter. WS-AMUSE - web service architecture for multimedia services. In Proceedings of the 30th International Conference on Software Engineering, pages 703-712. ACM, May 2008. (http )
16. Christian Buckl, Matthias Regensburger, Alois Knoll, and Gerhard Schrott. Generic fault-tolerance mechanisms using the concept of logical execution time. In Proceedings of the 13th Pacific Rim International Symposium on Dependable Computing), pages 3-10. IEEE, December 2007. (.pdf )
17. Matthias Regensburger, Christian Buckl, Alois Knoll, and Gerhard Schrott. Model based development of safety-critical systems using template based code generation. In Proceedings of the 13th Pacific Rim International Symposium on Dependable Computing), pages 89-92. IEEE, December 2007. (.pdf )
18. Christian Buckl, Matthias Regensburger, Alois Knoll, and Gerhard Schrott. A model-based code generator in the context of safety-critical systems. In Third Latin-American Symposium on Dependable Computing - Fast Abstracts Volume, pages 3-4, September 2007. (.pdf )
19. Christian Buckl, Matthias Regensburger, Alois Knoll, and Gerhard Schrott. Models for automatic generation of safety-critical real-time systems. In Proceedings of the Second International Conference on Availability, Reliability and Security (ARES)), pages 580-587. IEEE, April 2007. (.pdf )
20. Christian Buckl, Alois Knoll, and Gerhard Schrott. Model-based development of fault-tolerant embedded software. In Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (IEEE-ISoLA), pages 103-110. IEEE, November 2006. (.pdf )
21. Christian Buckl, Alois Knoll, and Gerhard Schrott. Template-based development of fault-tolerant embedded software. In Proceedings of the International Conference on Software Engineering Advances, pages 65-70. IEEE, October 2006. (.pdf )
22. Christian Buckl. Developing dependable real-time systems. In Proceedings of the Embedded World Conference, pages 285-294, February 2006. (.pdf )
23. Christian Buckl, Alois Knoll, and Gerhard Schrott. Development of dependable real-time systems with Zerberus. In Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing. IEEE, December 2005. (.pdf )
24. Christian Buckl, Alois Knoll, and Gerhard Schrott. The Zerberus language: Describing the functional model of dependable real-time systems. In Proceedings of the Second Latin-American Symposium on Dependable Computing, number 3747 in Lecture Notes in Computer Science, pages 101-120. Springer, October 2005. (.pdf )
25. Christian Buckl, Alois Knoll, and Gerhard Schrott. Zerberus System - Ein Entwicklungsmodell für sichere und zuverlässige Computersysteme. In Tagungsband Diskussionskreis Fehlertoleranz, pages 15-22. Shaker-Verlag, September 2005. (.pdf )
26. Christian Buckl. Zerberus language specification version 1.0. Technical Report TUM-I0501, Technische Universität München, January 2005.