Keyvisual of fortiss
Deutsch

Dr. Christian Buckl

Christian Buckl

fortiss GmbH
Guerickestr. 25
80805 München

Phone: +49 (0)89 3603522 16
Fax: +49 (0)89 3603522 50

E-Mail: buckl(at)fortiss.org
Web: www.fortiss.org

Curriculum Vitæ

Current Projects

  • eCar - Experimental Platform for Electric Car Architecture
  • 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

  • eSOA: Model-Based Development of Sensor/Actuator Networks (funded by Siemens)
  • 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
  • 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. Christian Buckl, Irina Gaponova, Michael Geisinger, Alois Knoll, and Edward Lee. Model-based specification of timing requirements. In Proceedings of the 10th ACM international conference on Embedded software (EMSOFT 2010), Scottsdale, Arizona, USA, October 2010. Association for Computer Machinery. to appear.
  2. Gerd Kainz, Christian Buckl, Stephan Sommer, and Alois Knoll. Model-to-metamodel-transformation for the development of component-based systems. In The 13th International Conference on Model Driven Engeneering Languages and Systems (MODELS 2010). ACM/IEEE, October 2010. to appear.
  3. Stephan Sommer, Christian Buckl, and Alois Knoll. MultiNet: An Intelligent Sensor Cable. In 5th IEEE International Workshop on Practical Issues in Building Sensor Network Applications (SENSEAPP 2010). IEEE, October 2010. to appear.
  4. Chih-Hong Cheng, Christian Buckl, Michael Luttenberger, and Alois Knoll. GAVS: Game arena visualization and synthesis. In Proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA'10), September 2010. to appear
  5. Christian Buckl, Dominik Sojer, and Alois Knoll. FTOS: Model-driven development of fault-tolerant automation systems. Proceedings of the 15th IEEE International Conference on Emerging Techonologies and Factory Automation, September 2010. to appear.
  6. Andreas Scholz, Stephan Sommer, Christian Buckl, Alfons Kemper, Alois Knoll, Jörg Heuer, and Anton Schmitt. Towards and adaptive execution of applications in heterogeneous embedded networks. In Software Engineering for Sensor Network Applications (SESENA 2010). ACM/IEEE, May 2010. 
  7. Dominik Sojer, Christian Buckl, and Alois Knoll. Formal modeling of safety requirements in the model-driven development of safety critical embedded systems. In Proceedings of the Eighth European Dependable Computing Conference (EDCC 2010), April 2010.
  8. Stephan Sommer, Andreas Scholz, Irina Gaponova, Alois Knoll, Alfons Kemper, Christian Buckl, Jörg Heuer, and Anton Schmitt. Services Migration Scenarios for Embedded Networks. In The 5th Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2009). IEEE, April 2010. 
  9. Chih-Hong Cheng, Christian Buckl, Alois Knoll. Tool-based Development of Light-weight Fault-tolerant Embedded Systems. In 16th IEEE Real-Time and Embedded Technology and Applications Symposium (Work-In Progress), April 2010.
  10. Dominik Sojer, Christian Buckl, and Alois Knoll. Stand und Anforderungen an eine Werkzeugunterstuetzung zur Entwicklung von Automatisierungssoftware. Technical Report TUM-I1003, Technische Universität München, February 2010.
  11. Christian Buckl, Gerd Kainz, Stephan Sommer, and Alois Knoll. Modell-zu-Metamodell-Transformationen zur Entwicklung von komponentenbasierten Systemen. In 6. Dagstuhl-Workshop der Reihe "Modellbasierte Entwicklung eingebetteter  Systeme".pages 208-215. Februar 2010.
  12. Nationale Roadmap Embedded Systems. ZVEI, December 2009.(pdf)
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. 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 )
  20. 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 )
  21. 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 )
  22. 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 )
  23. 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 )
  24. Christian Buckl. Model-Based Development of Fault-Tolerant Real-Time Systems. PhD thesis, Technische Universität München, October 2008. (http )
  25. 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 )
  26. 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 )
  27. 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 )
  28. 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 )
  29. 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 )
  30. 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 )
  31. 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 )
  32. 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 )
  33. 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 )
  34. Christian Buckl. Developing dependable real-time systems. In Proceedings of the Embedded World Conference, pages 285-294, February 2006. (.pdf )
  35. 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 )
  36. 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 )
  37. 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 )
  38. Christian Buckl. Zerberus language specification version 1.0. Technical Report TUM-I0501, Technische Universität München, January 2005.

fortiss GmbH - Münchner Software und Systeme Institut

Guerickestraße 25 | 80805 München | Deutschland
Tel: +49 (0)89 360 35 22 0 | Fax: +49 (0)89 360 35 22 50
info@fortiss.org | Impressum