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
People
- Prof. Dr.-Ing. Alois Knoll
- Dr.-Ing. Gerhard Schrott
- Dr. Christian Buckl (fortiss)
- Dipl.-Inf. Simon Barner
- Dipl.-Ing. Benedikt Baumgartner
- Chih-Hong Cheng, M.E.
- Irina Gaponova, M.Sc.
- Dipl.-Ing. Matthias Geisbauer
- Dipl.-Inf. Michael Geisinger (fortiss)
- Alejandro Mendoza, M.Sc.
- Thorsten Röder, M.S
- Dipl.-Inf. Dominik Sojer
- Dipl.-Inf. Stephan Sommer
- Dipl.-Ing. Binh An Tran
- Dipl.-Inf. Martin Wojtczyk
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)
- SPES 2020 - Software Platform Embedded Systems
- WIND? - Design method for highly available embedded systems
Sponsors
Publications
| [1] | Martin Buechel, Jelena Frtunikj, Klaus Becker, Stephan Sommer, Christian Buckl, Michael Armbruster, Andre Marek, Andreas Zirkler, Cornel Klein, and Alois Knoll. An automated electric vehicle prototype showing new trends in automotive architectures. In International Conference on Intelligent Transportation Systems (ITSC 2015). IEEE, September 2015. [ .bib | .pdf ] |
| [2] | Klaus Becker, Jelena Frtunikj, Meik Felser, Ludger Fiege, Christian Buckl, Stefan Rothbauer, Licong Zhang, and Cornel Klein. Race rte: A runtime environment for robust fault-tolerant vehicle functions. In CARS Workshop, 11th European Dependable Computing Conference - Dependability in Practice. IEEE, September 2015. [ .bib ] |
| [3] | Morteza Hashemi Farzaneh, Alois Knoll, and Jonas Pfeiffer. Opart: Towards an open platform for abstraction of real-time communication in cross-domain applications. In 6th International Conference on Automation, Robotics and Applications (ICARA), pages 246-250, Feb 2015. [ DOI | .bib | .pdf ] |
| [4] | Konstantin Schorp and Stephan Sommer. Component-based modeling and integration of automotive application architectures. In International Electric Vehicle Conference (IEVC 2014). IEEE, December 2014. [ .bib | .pdf ] |
| [5] | Stephan Sommer, Alexander Camek, Klaus Becker, Christian Buckl, Andreas Zirkler, Ludger Fiege, Michael Armbruster, Gernot Spiegelberg, and Alois Knoll. Race: A centralized platform computer based architecture for automotive applications. In Vehicular Electronics Conference (VEC) and the International Electric Vehicle Conference (IEVC) (VEC/IEVC 2013). IEEE, October 2013. [ DOI | .bib | .pdf ] |
| [6] | Hauke Staehle, Ljubo Mercep, Gernot Spiegelberg, and Alois Knoll. Towards the deployment of a centralized ict architecture in the automotive domain. In Embedded Computing (MECO), 2013 Mediterranean Conference on, June 2013. [ .bib | .pdf ] |
| [7] | Frank Reichenbach, Dominik Sojer, Christian Buckl, and Alois Knoll. A model-driven approach for runtime reliability analysis. In Proceedings of the Sixth Latin-American Symposium on Dependable Computing, April 2013. [ DOI | .bib | .pdf ] |
| [8] | Stephan Sommer, Michael Geisinger, Christian Buckl, Gerd Bauer, and Alois Knoll. Reconfigurable industrial process monitoring using the CHROMOSOME middleware. In The Fifth International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2013). ACM, April 2013. [ .bib | .pdf ] |
| [9] | Kai Huang, Gang Chen, Nadine Keddis, Michael Geisinger, and Christian Buckl. Demo abstract: An inverted pendulum demonstrator for timed model-based design of embedded systems. In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS), page 224, April 2012. [ DOI | .bib | .pdf | .pdf ] |
| [10] | A. Hattendorf, A. Raabe, and A. Knoll. Shared memory protection for spatial separation in multicore architectures. In 2012 7th IEEE International Symposium on Industrial Embedded Systems (SIES), pages 299-302, 2012. [ DOI | .bib | .pdf ] |
| [11] | Dominik Sojer, Christian Buckl, and Alois Knoll. Deriving fault-detection mechanisms from safety requirements. Springer Computer Science - Research and Development, 2012. [ DOI | .bib | .pdf ] |
| [12] | Klaus Becker and Christian Buckl and Alexander Camek and Reiner Falk and Ludger Fiege and Juergen Gessner and Stephan Sommer. SW-basierte Integration von neuen Fahrzeugfunktionen in zentralisierten Controllern. In Automotive 2012 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik, 2012. [ .bib | .pdf ] |
| [13] | Gokul Balakrishnan, Michael Geisinger, and Christian Buckl. Multifunk: Self-organizing sensor networks for industrial process monitoring. In Jian-Jia Chen, editor, Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'11), Work-in-Progress Session, pages 57-60, 2011. [ .bib | .pdf ] |
| [14] | 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, 2011. [ .bib | .pdf ] |
| [15] | Christian Buckl and Michael Geisinger. Middleware-Architekturen zur Integration von Systemen in Systems-of-Systems. In Tagungsband Embedded Software Engineering Kongress, pages 38-42, Sindelfingen, Germany, 2011. [ .bib | .pdf ] |
| [16] | 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, 2011. [ DOI | .bib | .pdf ] |
| [17] | Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois Knoll, and Harald Ruess. Model construction and priority synthesis for simple interaction systems. In Proceedings of the 3rd NASA Formal Methods Symposium (NFM'11), LNCS. Springer-Verlag, 2011. [ DOI | .bib | .pdf ] |
| [18] | Chih-Hong Cheng, Barbara Jobstmann, Alois Knoll, and Christian Buckl. On the hardness of priority synthesis. In Proceedings of the 16th International Conference on Implementation and Application of Automata (CIAA'11), LNCS. Springer-Verlag, 2011. [ DOI | .bib | .pdf ] |
| [19] | 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 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11), LNCS. Springer-Verlag, 2011. [ DOI | .bib | .pdf ] |
| [20] | Chih-Hong Cheng, Harald Ruess, Christian Buckl, and Alois Knoll. Synthesis of fault-tolerant embedded systems using games: from theory to practice. In Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'11), LNCS. Springer, 2011. [ DOI | .bib | .pdf ] |
| [21] | Dominik Sojer, Christian Buckl, and Alois Knoll. Synthesis of diagnostic techniques based on an IEC 61508-aware metamodel. In Proceedings of the 6th Symposium on Industrial Embedded Systems (SIES2011), Work-in-Progress Session, 2011. [ DOI | .bib | .pdf ] |
| [22] | Dominik Sojer. Synthesis of fault detection mechanisms. In Proceedings of the 35th IEEE International Computer Software andApplications Conference (COMPSAC 2011), Doctoral Symposium, 2011. [ DOI | .bib | .pdf ] |
| [23] | 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. In Jürgen Gausemeier, Franz Ramming, Wilhelm Schäfer, and Ansgar Trächtler, editors, Entwurf mechatronischer Systeme, volume 272 of HNI-Verlagsschriftenreihe, pages 23-36, Paderborn, Germany, 2010. [ .bib | .pdf ] |
| [24] | Simon Barner, Christian Buckl, and Alois Knoll. Hardware-aware model-driven software development. In ACACES 2010 Poster Abstracts, pages 89-92, Terrassa, Spain, 2010. High-Performance Embedded Architecture and Compiliation Network of Excellence. [ .bib | .pdf ] |
| [25] | 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, 2010. [ .bib | .pdf ] |
| [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, 2010. [ DOI | .bib | .pdf ] |
| [27] | Christian Buckl, Irina Gaponova, Michael Geisinger, Alois Knoll, and Edward A. Lee. Model-based specification of timing requirements. In Proceedings of the 10th ACM International Conference on Embedded Software (EMSOFT 2010), pages 239-248, Scottsdale, Arizona, USA, 2010. Association for Computer Machinery. [ DOI | .bib | .pdf ] |
| [28] | Chih-Hong Cheng, Christian Buckl, and Alois Knoll. Tool-based development of light-weight fault-tolerant embedded systems. In Proceedings of the 16th IEEE Real-Time and Embedded Technology andApplications Symposium (RTAS 10), Work-in-Progress Session, 2010. [ .bib | .pdf ] |
| [29] | 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), volume 6252 of LNCS, pages 347-352. Springer, 2010. [ DOI | .bib | .pdf ] |
| [30] | 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, 2010. [ DOI | .bib | .pdf ] |
| [31] | Andreas Scholz, Stephan Sommer, Christian Buckl, Gerd Kainz, 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, 2010. [ DOI | .bib | .pdf ] |
| [32] | Dominik Sojer, Christian Buckl, and Alois Knoll. Stand und Anforderungen an eine Werkzeugunterstützung zur Entwicklung von Automatisierungssoftware. Technical Report TUM-I1003, Technische Universität München, 2010. [ .bib | .pdf ] |
| [33] | 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), 2010. [ .bib | .pdf ] |
| [34] | Dominik Sojer, Christian Buckl, and Alois Knoll. Vom Modell zum Code fuer IEC 61508, ISO 26262 und Co. In Proceedings of the 3rd Embedded Software Engineering Congress, 2010. [ .bib ] |
| [35] | Dominik Sojer, Christian Buckl, and Alois Knoll. Propagation, transformation and refinement of safety requirements. In Proceedings of the 3rd Workshop on Non-functional System Propertiesin Domain Specific Modeling Languages, 2010. [ .bib | .pdf ] |
| [36] | Stephan Sommer, Christian Buckl, Gerd Kainz, 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). IEEE, 2010. [ DOI | .bib | .pdf ] |
| [37] | Stephan Sommer, Christian Buckl, Alois Knoll, Gerd Bauer, and Jens Schulz. MultiNet: An intelligent sensor cable. In Fifth IEEE International Workshop on Practical Issues in Building Sensor Network Applications (SenseApp 2010). IEEE, 2010. [ DOI | .bib | .pdf ] |
| [38] | 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, 2009. [ DOI | .bib | .pdf ] |
| [39] | 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), month 2009. [ .bib ] |
| [40] | Chih-Hong Cheng, Markus Rickert, Christian Buckl, EdwardA. 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), Seattle, WA, USA, 2009. [ DOI | .bib | .pdf ] |
| [41] | Chih-Hong Cheng, Christian Buckl, Javier Esparza, and AloisKnoll. 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, 2009. [ DOI | .bib | .pdf ] |
| [42] | 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, 2009. [ .bib | .pdf ] |
| [43] | 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, 2009. Springer-Verlag Berlin Heidelberg. [ DOI | .bib | .pdf ] |
| [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. [ .bib | .pdf ] |
| [45] | 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), 2009. [ DOI | .bib | .pdf ] |
| [46] | 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, 2009. [ DOI | .bib | .pdf ] |
| [47] | 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, 2009. [ DOI | .bib | .pdf ] |
| [48] | 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), 2009. [ .bib | .pdf ] |
| [49] | 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, 2008. [ DOI | .bib | .pdf ] |
| [50] | 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, 2008. [ DOI | .bib | .pdf ] |
| [51] | Christian Buckl. Model-Based Development of Fault-Tolerant Real-Time Systems. PhD thesis, Technische Universität München, 2008. [ .bib | .pdf ] |
| [52] | 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, 2008. [ DOI | .bib | .pdf ] |
| [53] | 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, 2008. [ .bib | .pdf ] |
| [54] | 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, 2007. [ .bib | .pdf ] |
| [55] | 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, 2007. [ .bib | .pdf ] |
| [56] | 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, 2007. [ .bib | .pdf ] |
| [57] | 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, 2007. [ .bib | .pdf ] |
| [58] | Christian Buckl. Developing dependable real-time systems. In Proceedings of the Embedded World Conference, pages 285-294, 2006. [ .bib | .pdf ] |
| [59] | 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, 2006. [ .bib | .pdf ] |
| [60] | 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, 2006. [ .bib | .pdf ] |
| [61] | 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, 2005. [ .bib | .pdf ] |
| [62] | 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, 2005. [ .bib | .pdf ] |
| [63] | 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, 2005. [ .bib | .pdf ] |
| [64] | 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, 1998. Elsevier Science Ltd., Oxford. [ .bib | .pdf ] |
| [65] | 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, 1997. Springer. [ .bib | .pdf ] |
| [66] | Markus Freericks. A compiler for ALDiSP, May 1996. [ .bib | .pdf ] |
| [67] | 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 49-54, Dresden, 1996. DFKI. [ .bib | .pdf ] |
| [68] | 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, 1995. IEEE Computer Society Press. [ .bib | .pdf ] |
| [69] | A. Fauth and A. Knoll. 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 457-460, Minneapolis, Minnesota, USA, 1993. IEEE. [ .bib | .pdf ] |
| [70] | Markus Freericks and Alois Knoll. Aldisp - eine applikative Programmiersprache für Anwendungen in der digitalen Signalverarbeitung. Forschungsberichte des Fachbereichs Informatik, 9:147, 1990. [ .bib | .pdf ] |
| [71] | Alois Knoll and Markus Freericks. ALDiSP - an applicative real-time language for DSP programming. In CIT/IEEE International Conference on Signal Processing, Beijing, 1990. [ .bib ] |