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æ

 

 Research Interests 

  •  Real-Time Systems 
  •  Embedded Systems 
  •  Fault Tolerance 
  •  Model-Based/Model-Driven Development 
  •  Code Generation of extra-Functional Aspects (e.g. Fault-Tolerance Mechanism, Communication, Scheduling) 
  • Middleware Architectures with a focus on extra-functional requirements

 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, Michael Geisinger. Middleware-Architekturen zur Integration von Systemen in Systems-of-Systems. In Tagungsband Embedded Software Engineering Kongress. December 2011.
  2. Gerd Kainz, Christian Buckl, and Alois Knoll. Automated model-to-metamodel transformations based on the concepts of deep instantiation. In The 14th International Conference on Model Driven Engineering Languages and Systems (MODELS 2011). ACM/IEEE, October 2011.
  3. Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl and Alois Knoll. Algorithms for Synthesizing Priorities in Component-based Systems In Proceedings of the Ninth International Symposium on Automated Technology for Verification and Analysis (ATVA). Taipei, Taiwan, Oct 2011. 
  4. Jia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl and Alois Knoll. Analysis and Optimization of Fault-Tolerant Task Scheduling on Multiprocessor Embedded Systems. In Proceedings of the International Conference on Hardware-Software Codesign and System Synthesis (CODES+ISSS). Embedded System Week. Taipei, Taiwan, Oct 2011. 
  5. Jia Huang, Jan Blech, Andreas Raabe and Christian Buckl. Reliability-Aware Design Optimization for Multiprocessor Embedded Systems. In Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), August 2011.
  6. Chih-Hong Cheng, Barbara Jobstmann, Christian Buckl and Alois Knoll. On the Hardness of Priority Synthesis. In Proceedings of the 16th International Conference on Implementation and Application of Automata (CIAA'11), LNCS. Springer, July 2011.
  7. Markus Weißmann, Stefan Bedenk, Christian Buckl and Alois Knoll. Model Checking Industrial Robot Systems. In Proceedings of the 18th International SPIN Workshop on Model Checking of Software, LNCS, Springer, July 2011.
  8. Dominik Sojer, Christian Buckl and Alois Knoll. Synthesis of Diagnostic Techniques Based on an IEC 61508-aware Metamodel. In Proceedings of the 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11), IEEE, June 2011.
  9. Chih-Hong Cheng, Alois Knoll, Michael Luttenberger, and Christian Buckl. GAVS+: an Open Platform for the Research of Algorithmic Game Solving. In Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'11), LNCS. Springer, April 2011.
  10. Mehr Software (im) Wagen: Informations- und Kommunikationstechnik (IKT) als Motor der Elektromobilität der Zukunft, Abschlussbericht des vom Bundesministerium für Wirtschaft und Technologie geförderten Verbundvorhabens "eCar-IKT-Systemarchitektur für Elektromobilität". In Konferenzband 2. Automobiltechnisches Kolloqium 2011, VDI Verlag, April 2011
  11. Mehr Software (im) Wagen: Informations- und Kommunikationstechnik (IKT) als Motor der Elektromobilität der Zukunft, Abschlussbericht des vom Bundesministerium für Wirtschaft und Technologie geförderten Verbundvorhabens "eCar-IKT-Systemarchitektur für Elektromobilität", ForTISS GmbH, March 2011, (http)
  12. Mehr Software (im) Wagen: Informations- und Kommunikationstechnik (IKT) als Motor der Elektromobilität der Zukunft, Zusammenfassung der Ergebnisse des vom Bundesministerium für Wirtschaft und Technologie geförderten Verbundvorhabens "eCar-IKT-Systemarchitektur für Elektromobilität", ForTISS GmbH, March 2011, (http)
  13. The Software Car: Information and Communication Technology (ICT) as an Engine for the Electromobility of the Future, Summary of results of the "eCar ICT System Architecture for Electromobility" research project sponsored by the Federal Ministry of Economics and Technology, ForTISS GmbH, March 2011, (http)
  14. Jia Huang, Andreas Raabe, Christian Buckl, Alois Knoll. A Workflow for Runtime Adaptive Task Allocation on a Heterogeneous Multiprocessor Platform. Design Automation and Test in Europe 2011 (DATE’11). March 2011
  15. Simon Barner, Andreas Raabe, Christian Buckl, and Alois Knoll. Beschreibung der Plattformabhängigkeit eingebetteter Applikationen mit Dienstmodellen. In Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, pages 31-40. February 2011.
  16. Jia Huang, Christian Buckl, Andreas Raabe and Alois Knoll. Energy-Aware Task Allocation for Network-on-Chip Based Heterogeneous Multiprocessor Systems. In 19th Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP). Cyprus. Feb 2011. 
  17. Christian Buckl, Alois Knoll, Ina Schieferdecker, and Justyna Zander. Model-Based Analysis and Development of Dependable Systems. In Model-Based Engineering of Embedded Real-Time Systems. Lecture Notes in Computer Science Vol, 6000. Springer Verlag, January 2011. 
     
  18. Chih-Hong Cheng, Christian Buckl, Alois Knoll, and Harald Rueß. Synthesis of Fault-Tolerant Embedded Systems using Games: from Theory to Practice. In Proceedings of the Twelfth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2011). Springer. January 2011. 
  19. Dominik Sojer, Christian Buckl, and Alois Knoll. Vom Modell zum Code für IEC 61508, ISO 26262 und Co. In Proceedings of the 3rd Embedded Software Engineering Congress, December 2010.
  20. 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.
  21. 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 Engineering Languages and Systems (MODELS 2010). ACM/IEEE, October 2010.
  22. Dominik Sojer, Christian Buckl, and Alois Knoll. Propagation, transformation and refinement of safety requirements. In Proceedings of the 3rd Workshop on Non-functional System Properties in Domain Specific Modeling Languages, October 2010.
  23. 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.
  24. Jia Huang, Andreas Raabe, Christian Buckl, and Alois Knoll. Runtime adaptive allocation of dynamically mixed tasks on a heterogeneous mpsoc platform. In Design and Architectures for Signal and Image Processing (DASIP) 2010 conference, Edinburgh, UK, October 2010.
  25. 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. 
  26. 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.
  27. Simon Barner, Christian Buckl, and Alois Knoll. Hardware-aware model-driven software development. In ACACES 2010 Poster Abstracts, pages 89-92, Terrassa, Spain, July 2010. High-Performance Embedded Architecture and Compiliation Network of Excellence.
  28. 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. 
  29. 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.
  30. 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. 
  31. 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.
  32. 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.
  33. 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.
  34. Nationale Roadmap Embedded Systems. ZVEI, December 2009.(pdf)
  35. 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. 
  36. 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.
  37. 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.
  38. 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.
  39. 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.
  40. 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.
  41. 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 )
  42. 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 )
  43. 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 )
  44. 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 )
  45. 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 )
  46. Christian Buckl. Model-Based Development of Fault-Tolerant Real-Time Systems. PhD thesis, Technische Universität München, October 2008. (http )
  47. 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 )
  48. 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 ) 
  49. 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 ) 
  50. 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 ) 
  51. 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 ) 
  52. 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 ) 
  53. 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 )
  54. 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 )
  55. 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 )
  56. Christian Buckl. Developing dependable real-time systems. In Proceedings of the Embedded World Conference, pages 285-294, February 2006. (.pdf )
  57. 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 ) 
  58. 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 ) 
  59. 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 ) 
  60. Christian Buckl. Zerberus language specification version 1.0. Technical Report TUM-I0501, Technische Universität München, January 2005.

fortiss GmbH - An-Institut der Technischen Universität München

Guerickestraße 25 | 80805 München | Deutschland
Tel: +49 89 3603522 0 | Fax: +49 89 3603522 50
info@fortiss.org | Impressum | Datenschutzerklärung