Chair of software engineering: Dependability

Prof. Dr.-Ing. habil. Peter Liggesmeyer

Role

Head of the chair Software Engineering: Dependability and Scientific Director of the Fraunhofer Instituts für Experimentelles Software Engineering

 

Research Focus

  • Dependability: safety, security, reliability, availability.
  • Systems engineering of dependable embedded systems.
  • Model-based safety and reliability analysis.
  • Dynamic risk assessment and safety assurance under uncertainty.

 

Address

Prof. Dr. Peter Liggesmeyer
Technische Universität Kaiserslautern
Building 32, Room 425
P.O. Box 3049
67653 Kaiserslautern
Germany

 

Contact

Secretary: +49 (631) 205-3341 (Caroline Frey)

Fax: +49 (631) 205-3331

Publications

  • N. Laxman, C. H. Koo and P. Liggesmeyer,  “U-Map: A Reference Map for Safe Handling of Runtime Uncertainties”, in International Symposium on Model-Based Safety and Assessment Springer, Cham, 2020, pp. 227-241.
2020
  • N. Laxman and P. Liggesmeyer,” Should we “Safely” handle uncertainties at runtime? - A rather seldom asked question”, in the 31st International Symposium on Software Reliability Engineering (ISSRE), 2020.
2020
2019
2019
2019
2018
2018
2017
2017
  • P. Liggesmeyer, Smart Everything - welche Macht hat IT?, W. Blocher, D. Heckmann, H. Zech (Hrsg.): Jahrbuch der Deutschen Gesellschaft für Recht und Informatik (DGRI), Verlag Dr. Otto Schmidt KG, Köln, 2017, pp. 65-70. [bibtex]
2017
  • P. Liggesmeyer, "Alles 4.0! Oder manchmal doch 3.5?", Informatik-Spektrum, vol. 40, no. 2, 2017, pp. 210-215. [bibtex]
2017
2017
  • P. Liggesmeyer, M. Trapp, "Safety in der Industrie 4.0: Herausforderungen und Lösungsansätze", in Handbuch Industrie 4.0 Bd.\, 1: Produktion, 2 ed. B. Vogel-Heuser, T. Bauernhansl, M. ten Hompel, Eds., Berlin: Springer, 2017, pp. 107-123. [bibtex][doi]
2017
  • S. Müller, P. Liggesmeyer, "Safety Assurance for Emergent Collaboration of Open Distributed Systems", in Software Reliability Engineering Workshops (ISSREW), 2016 IEEE International Symposium on. [bibtex][doi]
2016
2016
  • P. Liggesmeyer, "IoT, Industrie 4.0 und Big Data: Herausforderungen für die Informatik und die GI.", in GI-Jahrestagung, 2016, pp. 45-46. [bibtex]
2016
  • M. Roth, A. Hartoyo and P. Liggesmeyer, "Efficient reachability graph development for qualitive analysis of state/event fault trees", in Software Reliability Engineering Workshops (ISSREW),  IEEE International Symposium on, 2015, pp. 144-151. [bibtex][doi]
2015
2015
2015
2015
2015
  • C. Schmitt, P. Liggesmeyer, "Instantiating a Model for Structuring and Reusing Security Requirements Sources", in IEEE 2nd Workshop on Evolving Security and Privacy Requirements Engineering, ESPRE 2015, 25 August, 2015, Ottawa, Canada, 2015, pp. 25-30. [bibtex]
2015
2015
2015
2015
  • C. Schmitt, P. Liggesmeyer, "Implications of the Operational Environmental on Software Security Requirements Engineering", in Security in Information Systems, D. G. Rosado et al., Eds., SCITEPRESS, 2014, pp. 63-74. [bibtex]
2014
2014
2014
2013
  • M. Trapp, D. Schneider and P. Liggesmeyer, "A safety roadmap to cyber-physical systems", in Perspectives on the future of software engineering, Springer, 2013, pp. 81-94. [bibtex]
2013
2013
  • M. Roth, P. Liggesmeyer, "Qualitative Analyse der funktionalen Sicherheit software-intensiver Systeme mittels Zustands/Ereignis-Fehlerbäumen", in Funktionale Sicherheit, W. A. Halang, Ed., Berlin / Heidelberg, Germany: Springer, 2013, pp. 117-126. [bibtex][doi]
2013
2013
2013
  • K. Jamboti, P. Liggesmeyer, "A Framework for Generating Integrated Component Fault Trees from Architectural Views", in 14th International Symposium on High-Assurance Systems Engineering (HASE), 2012, pp. 114-121. [bibtex][doi]
2012
  • P. Keller, V. Köppen and P. Liggesmeyer, "Sicherheit in der Fahrzeugtechnik", OBJEKTSpektrum, vol. 06/12, Jun 2012. [bibtex]
2012
2012
  • Y. Yang, P. Keller and P. Liggesmeyer, "Visual Approach Facilitating the Importance Analysis of Component Fault Trees", in Computer Safety, Reliability, and Security - SAFECOMP 2012, F. Ortmeier, P. Daniel, Eds., Berlin/Heidelberg, Germany: Springer, pp. 486-497. [bibtex]
2012
  • M. Steiner, P. Keller and P. Liggesmeyer, "Modeling the Effects of Software on Safety and Reliability in Complex Embedded Systems", in Computer Safety, Reliability, and Security, F. Ortmeier, P. Daniel, Eds., Springer Berlin Heidelberg, 2012, pp. 454-465. [bibtex][doi]
2012
  • M. Roth, M. Steiner and P. Liggesmeyer, "Ein Ansatz zur integrierten Sicherheitsanalyse komplexer Systeme", in Kommunikation unter Echtzeitbedingungen, W. A. Halang, Ed., Berlin / Heidelberg, Germany: Springer, 2012, pp. 109-118. [bibtex][doi]
2012
2012
  • M. Trapp, T. Kuhn and P. Liggesmeyer, "Modellbasierte Entwicklung eingebetteter Softwaresysteme", ELEKTRONIKPRAXIS. Embedded Software, Engineering Report, no. 1, 2011. [bibtex]
2011
  • P. Liggesmeyer, "Architekturen Eingebetteter Systeme", in Lehrbuch der Softwaretechnik: Entwurf, Implementierung, Installation und Betrieb, 3rd ed. H. Balzert, Ed., Elsevier, Spektrum Akademischer Verlag, 2011, pp. 123; 125; 126; 397-411. [bibtex]
2011
2010
  • P. Liggesmeyer, "2017. Reisefreuden - Reiseleiden", in Heinz' Life 1962 - 2032. Kleine Geschichte vom Kommen und Gehen des Computers, L. Heuser, Ed., Munich, Germany: Carl Hanser Verlag, 2010, pp. 257-261. [bibtex]
2010
2010
  • J. Dörr, P. Liggesmeyer, "3. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung", in Software Engineering 2010 - SE 2010, pp. 243. [bibtex]
2010
  • J. Münch, P. Liggesmeyer, Eds., Software Engineering 2009 – Workshop-Band, Fachtagung des GI-Fachbereichs Softwaretechnik, Kaiserslautern, Germany, March 02-06, 2009, Köllen Verlag. [bibtex]
2009
  • P. Liggesmeyer et al., Eds., Software Engineering 2009, Fachtagung des GI-Fachbereichs Softwaretechnik, Kaiserslautern, Germany, March 02-06, 2009 - Proceedings, Köllen Verlag. [bibtex]
2009
2009
2009
2009
  • P. Liggesmeyer, "Software-Qualitätssicherung gestern und heute: Theorie und Erfahrung, Standards und Common Sense", in Industrialisierung des Software-Managements 2008, pp. 13. [bibtex]
2008
  • J. Dörr, P. Liggesmeyer, "2. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung", in Software Engineering 2008 - SE 2008. [bibtex]
2008
  • C. Denger, M. Trapp and P. Liggesmeyer, "SafeSpection - A Systematic Customization Approach for Software Hazard Identification", in SAFECOMP 2008: The 27th International Conference on Computer Safety, Reliability and Security, pp. 44-57. [bibtex]
2008
  • P. Müller, P. Liggesmeyer, E. Maehle, Eds., Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007). [bibtex]
2007
  • P. Liggesmeyer, H. Rombach, "Software Engineering", in Technologieführer. Grundlagen - Anwendungen - Trends, H. J. Bullinger, Ed., Springer, 2007, pp. 166-169. [bibtex]
2007
  • P. Liggesmeyer, "Formal Techniques in Software Engineering: Correct Software and Safe Systems", in 20th International Conference, Theorem Proving in Higher Order Logics - TPHOLs 2007, pp. 3-4. [bibtex]
2007
  • J. Doerr, P. Liggesmeyer, "Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung", in Software Engineering 2007 - SE 2007, pp. 285-286. [bibtex]
2007
  • C. Denger, P. Liggesmeyer and M. Trapp, "Safety Engineering für eingebettete Softwaresysteme", in Software Engineering 2007 - SE 2007, pp. 287-292. [bibtex]
2007
  • C. Robinson-Mallett, P. Liggesmeyer, "State Identification and Verification using a Model Checker", in Software Engineering 2006 - SE 2006, pp. 131-142. [bibtex]
2006
  • R. Kalcklösch, P. Liggesmeyer, "Communication Test for Object-Oriented Systems using Gossiped Data", in 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI): Informatik 2006 – Informatik für Menschen!, pp. 282-283. [bibtex]
2006
  • P. Liggesmeyer, K. Pohl, M. Goedicke, Eds., Software Engineering 2005, Fachtagung des GI-Fachbereichs Softwaretechnik, Essen, Germany, March 08-11, 2005 - Proceedings, Köllen Verlag. [bibtex]
2005
  • P. Liggesmeyer, "Prüfung eingebetteter Software", in Software Engineering eingebetteter Systeme. Grundlagen – Methodik – Anwendungen, P. Liggesmeyer, H. Rombach, Eds., Elsevier, Spektrum Akademischer Verlag, 2005, pp. 205-225. [bibtex]
2005
  • P. Liggesmeyer, "Einleitung und Überblick", in Software Engineering eingebetteter Systeme. Grundlagen – Methodik – Anwendungen, P. Liggesmeyer, H. Rombach, Eds., Elsevier, Spektrum Akademischer Verlag, 2005, pp. 1-12. [bibtex]
2005
  • M. Weske, P. Liggesmeyer, Eds., Object-Oriented and Internet-Based Technologies - 5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World (NODE 2004), Erfurt, Germany, September 27-30, 2004 - Proceedings, Springer. [bibtex]
2004
  • P. Liggesmeyer, O. Mäckel, "A Comprehensive Approach for Automated Safety and Reliability Analysis of Systems", in Probalistic Safety Assessment and Management - PSAM 7 - ESREL 04, 2004. [bibtex]
2004
  • M. Heisel, P. Liggesmeyer, S. Wittmann, Eds., Computer Safety, Reliability, and Security, 23rd International Conference (SAFECOMP 2004), Potsdam, Germany, September 21-24, 2004 - Proceedings, Springer. [bibtex][doi]
2004
  • P. Liggesmeyer, "Testen sicherheitskritischer Software zwischen Theorie und Praxis: Eine Bestandsaufnahme", It – Information Technology, vol. 45, no. 1, 2003, pp. 39-45. [bibtex]
2003
  • B. Kaiser, P. Liggesmeyer and O. Mäckel, "A new component concept for fault trees", in 8th Australian Workshop on Industrial Experience with Safety Critical Systems and Software – SCS 2003. [bibtex]
2003
2002
  • J. Gericke, P. Liggesmeyer, "Eine Erweiterung der Unified Modeling Language zur Verfolgung von Software-Anforderungen in sicherheitskritischen Systemen", Informatik – Forschung & Entwicklung, vol. 17, no. 2, 2002, pp. 60-67. [bibtex]
2002
  • P. Liggesmeyer, O. Mäckel, "Quantifying the reliability of embedded systems by automated analysis", in DSN 2001. [bibtex]
2001
  • P. Liggesmeyer, O. Mäckel, "Automatic Reliability Analysis of Electronic Designs using Fault Trees", in 13. Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 2001. [bibtex]
2001
  • P. Liggesmeyer, "Bedingungsüberdeckungstesttechniken: Vergleich, Bewertung und Anwendung in der Praxis", Softwaretechnik Trends, vol. 21, no. 3, 2001, pp. 15-17. [bibtex]
2001
  • P. Liggesmeyer, "Entwicklung technischer Software: Eine Situationsanalyse", in ADA-Deutschland Tagung 2001. [bibtex]
2001
  • A. Spillner, P. Liggesmeyer, "Editorial Themenheft: Aktuelle Entwicklungen im Softwaretest", Informatik – Forschung & Entwicklung, vol. 15, no. 3, 2000, pp. 119-120. [bibtex]
2000
  • P. Liggesmeyer, O. Mäckel, "Automatisierung erweiterter Fehlerbaumanalysen für komplexe technische Systeme", at - Automatisierungstechnik, vol. 48, no. 2, 2000, pp. 67-76. [bibtex]
2000
  • P. Liggesmeyer, "Formale und stochastische Methoden zur Qualitätssicherung technischer Software", Softwaretechnik Trends, vol. 20, no. 3, 2000. [bibtex]
2000
  • P. Liggesmeyer, "Qualitätsmanagement technischer Software – Standortbestimmung und Prognose der weiteren Entwicklung", LOG IN, vol. 20, no. 6, 2000, pp. 19-23. [bibtex]
2000
  • P. Liggesmeyer, "Formale und stochastische Methoden zur Qualitätssicherung technischer Software", in Informatik 2000. [bibtex]
2000
  • P. Liggesmeyer, "Automated Failure Modeling of Embedded Systems", in 17th International Conference on Testing Computer Software, 2000. [bibtex]
2000
  • P. Liggesmeyer, Qualitätssicherung softwareintensiver technischer Systeme, Heidelberg, Germany: Spektrum-Verlag, 2000. [bibtex]
2000
  • P. Liggesmeyer, O. Mäckel, "Statistische Messung und Prognose von Zuverlässigkeit", in Workshop der GI-Fachgruppen 2.1.4 und 3.6.2: Sicherheit und Zuverlässigkeit software-basierter Systeme, 1999. [bibtex]
1999
  • P. Liggesmeyer, "Statistische Messung und Prognose von Zuverlässigkeit", Softwaretechnik-Trends, vol. 19, no. 1, 1999, pp. 7-8. [bibtex]
1999
  • P. Liggesmeyer, "Quantified Risk Assessment and Test Support by Automated Fault Tree Analysis", in 7th European International Conference on Software Testing, Analysis and Review – EuroSTAR ´99, 1999. [bibtex]
1999
  • P. Liggesmeyer, "Testing non-functional quality characteristics of software-based systems", in Conquest '1999. [bibtex]
1999
  • M. Rettelbach, P. Liggesmeyer and M. Greiner, "Prediction of Project Quality by applying Stochastic Techniques to Measures based on Accounting Data: An Industrial Case Study", in 2nd International European Quality Week, 1998. [bibtex]
1998
  • P. Liggesmeyer et al., "Qualitätssicherung softwarebasierter Systeme: Problembereiche und Lösungsansätze", Informatik-Spektrum, vol. 21, no. 5, 1998, pp. 249-258. [bibtex]
1998
  • P. Liggesmeyer, M. Rothfelder, "Towards Automated Proof of Fail-safe Behavior", in SAFECOMP 98, The 17th International Conference on Computer Safety, Reliability and Security, 1998, pp. 169-184. [bibtex]
1998
  • P. Liggesmeyer, M. Rothfelder, "Going beyond Correctness: Improving Software Robustness", in 11th International Software Quality Week, 1998. [bibtex]
1998
  • P. Liggesmeyer, M. Rothfelder, "Improving System Reliability with Automatic Fault Tree Generation", in 28th Annual Fault Tolerant Computing Symposium, 1998, pp. 90-99. [bibtex]
1998
  • P. Liggesmeyer, M. Rothfelder, "System Safety Improvement by Automated Software Robustness Evaluation", in 15th International Conference on Testing Computer Software, 1998, pp. 71-77. [bibtex]
1998
  • P. Liggesmeyer, M. Rothfelder, "Automating Reliability and Safety Analysis Based on Formal System Models", in International Conference and workshop: Engineering of Computer Based Systems, 1998, pp. 264-271. [bibtex]
1998
  • P. Liggesmeyer, T. Ackermann, "Applying Reliability Engineering: Empirical Results, Lessons Learned, and Furthermore Improvements", in ISSRE ´98, The 9th International Symposium on Software Reliability Engineering, 1998, pp. 263-271. [bibtex]
1998
1998
  • P. Liggesmeyer, "A set of complexity metrics for guiding the software test process", Software Quality Journal, vol. 4, no. 4, 1995, pp. 257-273. [bibtex]
1995
  • P. Liggesmeyer, "The influence of object orientation and process orientation on software testing", in 3rd European International Conference on Software Testing, Analysis and Review – EuroSTAR ´95, 1995, pp. 25/1-25/10. [bibtex]
1995
  • P. Liggesmeyer, "Software-Qualitätssicherung: Chancen und Risiken neuer Entwicklungen", in Software DevCon, 1995, pp. 101-106. [bibtex]
1995
  • P. Liggesmeyer, "A framework for selecting appropriate test techniques", in 4th International Conference on Software Testing, Analysis and Review – STAR ´95, 1995, pp. 725-733. [bibtex]
1995
  • P. Liggesmeyer, "Software Engineering und Software-Qualitätssicherung: Was kann man von neuen Techniken erwarten?", in 10. SAVE-Frühjahrstagung, 1995. [bibtex]
1995
  • P. Liggesmeyer, A. Spillner, "Software-Qualitätssicherung in der Praxis", Informatik Spektrum, vol. 17, no. 6, 1994, pp. 368-372. [bibtex]
1994
  • P. Liggesmeyer, "Ein Überblick über objektorientiertes Testen", Softwaretechnik-Trends, vol. 15, no. 4, 1994, pp. 14-15. [bibtex]
1994
  • P. Liggesmeyer, "Das Capability Maturity Model und die Bewertung von Software-Entwicklungsprozessen mit Assessments", Softwaretechnik-Trends, vol. 14, no. 2, 1994, pp. 11-12. [bibtex]
1994
  • P. Liggesmeyer, "Software-Komplexitätsmetriken als Basis zur Auswahl von Prüfverfahren", Softwaretechnik-Trends, vol. 14, no. 1, 1994, pp. 11-12. [bibtex]
1994
  • P. Liggesmeyer, "Software-Komplexitätsmetriken zur Testunterstützung", Informatik – Forschung & Entwicklung, vol. 9, no. 3, 1994, pp. 153-166. [bibtex]
1994
  • P. Liggesmeyer, "Eine Methode zur Konstruktion von Prüfstrategien für Software", Informatik – Forschung & Entwicklung, vol. 9, no. 2, 1994, pp. 82-92. [bibtex]
1994
  • P. Liggesmeyer, "Achieving reliable software by adapting test, analysis, and verification techniques to the requirements of the test process", in ICINAS-94 International Infomatization Forum II – International Conference on Informational Networks and Systems, 1994, pp. 73-83. [bibtex]
1994
  • P. Liggesmeyer, "A method for the selection of suitable unit test techniques", in 2nd European International Conference on Software Testing, Analysis and Review – EuroSTAR ´94, 1994, pp. 23/1-23/10. [bibtex]
1994
  • P. Liggesmeyer, "Selecting adequate test techniques in the real world", in 11th International Conference on Testing Computer Software, 1994, pp. 61-69. [bibtex]
1994
  • P. Liggesmeyer, "Wissensbasierte Qualitätsassistenz zur problemspezifischen Konstruktion von Prüfstrategien (Kurzfassung)", Softwaretechnik-Trends, vol. 13, no. 2, 1993, pp. 20-21. [bibtex]
1993
  • P. Liggesmeyer, "Software-Komplexitätsmetriken als Basis zur Auswahl von Prüfverfahren", in GI-Fachtagung Softwaretechnik '93, pp. 103-110. [bibtex]
1993
  • P. Liggesmeyer, "Werkzeuge für den Softwaretest – ein Vergleich", in CASE – Auswahl, Einführung, Erfahrungen, H. Balzert, Ed., Mannheim, Germany: BI Wissenschaftsverlag, 1993, pp. 127-148. [bibtex]
1993
  • P. Liggesmeyer, Wissensbasierte Qualitätsassistenz zur Konstruktion von Prüfstrategien für Software-Komponenten, Mannheim, Germany: BI Wissenschaftsverlag, 1993. [bibtex]
1993
  • H. Balzert, P. Liggesmeyer, "Software-Qualitätssicherung: Neue Werkzeuge für Industrie und Lehre", RUBIN, 1993, pp. 40-45. [bibtex]
1993
  • H. Balzert, P. Liggesmeyer, Systematisches Testen mit Tensor, Mannheim, Germany: BI Wissenschaftsverlag, 1993. [bibtex]
1993
  • P. Liggesmeyer, A. Dregger and H. Balzert, "Ein experimentelles Testsystem für die Sprache HyperTalk", in Testen, Analysieren und Verifizieren von Software, P. Liggesmeyer, H. Sneed, A. Spillner, Eds., Berlin / Heidelberg, Germany: Springer, 1992, pp. 177-186. [bibtex]
1992
  • P. Liggesmeyer, "Ein experimentelles Testsystem für die Sprache HyperTalk (Kurzfassung)", Softwaretechnik-Trends, vol. 12, no. 1, 1992, pp. 12-13. [bibtex]
1992
  • P. Liggesmeyer, "Kriterien für die Auswahl von Test-, Analyse- und Verifikationsverfahren in der Praxis", HMD Theorie und Praxis der Wirtschaftsinformatik, vol. 29, no. 166, 1992, pp. 16-30. [bibtex]
1992
  • P. Liggesmeyer, "Testen, Analysieren und Verifizieren von Software – eine klassifizierende Übersicht der Verfahren", in Testen, Analysieren und Verifizieren von Software, S. Liggesmeyer P., A. Spillner, Eds., Berlin / Heidelberg, Germany: Springer, 1992, pp. 1-25. [bibtex]
1992
  • P. Liggesmeyer, "TensorC, TensorM, TensorP – Werkzeuge zur Testunterstützung", in CASE Systeme und Werkzeuge, H. Balzert, Ed., Mannheim, Germany: BI Wissenschaftsverlag, 1992, pp. 505-520. [bibtex]
1992
1992
  • P. Liggesmeyer, "Klassifikation der Verfahren zur analytischen Software-Qualitätssicherung auf der Modulebene", Softwaretechnik-Trends, vol. 11, no. 2, 1991, pp. 54-55. [bibtex]
1991
  • P. Liggesmeyer, Modultest und Modulverifikation – State of the Art, Mannheim, Germany: BI Wissenschaftsverlag, 1990. [bibtex]
1990
  • P. Liggesmeyer, L. Sturm, "Ein Vorschlag für die Erweiterung von Prädikats-Trasitions-Netzen zur Spezifikation komplexer Anwendungen", Angewandte Informatik, vol. 30, no. 6, 1988, pp. 252-258. [bibtex]
1988
Zum Seitenanfang