Technische Universität München Robotics and Embedded Systems
 
 

Embedded Systems

 
The Embedded Systems group at the chair Informatik 6 targets all aspects of embedded systems including fault-tolerance, real-time capabilities and resource constraints. Our research covers the following areas:

  • Model-Driven Development Tools for Modeling and extensive Code Generation with a focus on non-functional requirements (fault-tolerance, distribution, real-time capabilities) and hardware interaction
  • Verification Tools that allow non-experts in formal methods to prove the correctness of an application with emphasize on non-funtional properties
  • Development Tools for Non-Standard Targets including multi-core architectures and FPGA
  • Domain Specific Solutions for sensor/acuator networks, the automotive domain, dependable systems
Applications

Hardware

People

Projects

  • AMIS - Microscope Smart Sensors
  • EasyKit - Innovative Tools for Development and Didactics of Mechatronic Systems
  • eSOA - Embedded service oriented architecture
  • Multifunk - Autonomous, self organizing Sensor Networks for Process Monitoring
  • FTOS - Fault-tolerant Operating System
  • LIFEBRIDGE - Automatic Control of a Heart-Lung Machine
  • PUMA - Program and Model Analysis (graduate school funded by DFG)

Demonstrators

Publications

[1] Stephan Sommer, Christian Buckl, Andreas Scholz, Irina Gaponova, Alois Knoll, Alfons Kemper, Jörg Heuer, and Anton Schmitt. Service migration scenarios for embedded networks. In The Fifth International Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2010) to appear. IEEE, April 2010.
[2] Simon Barner, Michael Geisinger, Jia Huang, Alois Knoll, Holger Bönicke, Christoph Ament, Jochen Mades, Reinhard Pittschellis, and Gerd Bauer. EasyKit - Eine allgemeine Methodik für die Entwicklung von Steuerungskomponenten. To appear, March 2010.
[3] Christian Buckl, Gerd Kainz, Stephan Sommer, and Alois Knoll. Modell-zu-metamodell-transformationen zur entwicklung von komponentenbasierten systemen. In 6. Dagstuhl-Workshop MBEES 2010: Model-Based Development of Embedded Systems, February 2010.
[4] 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.
[5] 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.
[6] 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.
[7] 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. (.pdf )
[8] 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.
[9] 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.
[10] Michael Geisinger, Simon Barner, Martin Wojtczyk, and Alois Knoll. A software architecture for model-based programming of robot systems. In Torsten Kröger and Friedrich M. Wahl, editors, Advances in Robotics Research - Theory, Implementation, Application, pages 135-146, Braunschweig, Germany, June 2009. Springer-Verlag Berlin Heidelberg. (.pdf )
[11] 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 )
[12] 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 )
[13] 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 )
[14] 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 )
[15] 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 )
[16] Christian Buckl. Model-Based Development of Fault-Tolerant Real-Time Systems. PhD thesis, Technische Universität München, October 2008. (http )
[17] 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 )
[18] 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 )
[19] 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 )
[20] 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 )
[21] 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 )
[22] 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 )
[23] 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 )
[24] 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 )
[25] 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 )
[26] Christian Buckl. Developing dependable real-time systems. In Proceedings of the Embedded World Conference, pages 285-294, February 2006. (.pdf )
[27] 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 )
[28] 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 )
[29] 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 )
[30] Gerhard Schrott and Theodor Tempelmeier. Putting hardware-software codesign into practice. In Real Time Programming 1997. A Proceedings volume from the IFAC/IFIP Workshop, pages 15-22, Lyon, France, September 1998. Elsevier Science Ltd., Oxford. (.pdf )
[31] Gerhard Schrott. Reactive real-time programming with distributed agents. In Euro-Par'97 Parallel Processing, Lecture notes in computer science, pages 12-1243, Passau, Germany, August 1997. Springer. (.pdf )
[32] Th. Weiser. Alp: A programming language for reactive intelligent agents. In Working Notes of the KI'96 Workshop on Agent-Oriented Programming and Distributed Systems, pages S. 49-54, Dresden, September 1996. DFKI. (.pdf )
[33] Markus Freericks. A Compiler For ALDiSP. Technische Universität München, May 1996. (.ps )
[34] Gerhard Schrott. A multi-agent distributed real-time system for a microprocessor field-bus network. In Proc. of 7th Euromicro Workshop on Real-Time Systems, pages 302-307, Odense, Denmark, June 1995. IEEE Computer Society Press. (.pdf )
[35] Alois Knoll Markus Freericks. ALDiSP - eine applikative Programmiersprache für Anwendungen in der digitalen Signalverarbeitung. 1990. (.ps )
[36] Markus Freericks Alois Knoll. Aldisp - an applicative real-time language for dsp programming. In CIT/IEEE International Conference on Signal Processing, Beijing, 1990. (.pdf )
[37] A. Knoll A. Fauth. Automated generation of dsp program development tools using a machine description formalism. In Proc. IEEE Int. Conf. on Acoustics, Speech and Signal Processing ICASSP-93, pages pp. 457-460, Minneapolis, Minn, April 1993,. IEEE. (.ps.gz )
© 2010 · Technische Universität München · Department of Informatics · Robotics and Embedded Systems