Raimar Lill Consultant

seit 2015 bei der MATHEMA Software GmbH

Lill_raimar

Raimar Lill ist als Senior Consultant für die MATHEMA Software GmbH in Erlangen tätig. Als Software Engineer hat er sich auf die Entwicklung von Enterprise-Anwendungen auf Basis von JavaEE Technologien spezialisiert. Sein weiteres Interesse gilt Modellierungssprachen, dem modellbasierten Testen komplexer Anwendungen sowie der Testfalldatengenerierung mittels genetischer Algorithmen.

Aufgabenspektrum

  • Architektur-, Design- und Code-Reviews
  • Architektur und Design verteilter Mehrschichtenanwendungen
  • Requirements Engineering
  • Software-Entwicklung
  • Software-Testverfahren
  • Training
  • Technologien
  • Konferenzen
  • Veröffentlichungen
  • Ausbildung
  • Weitere Aktivitäten

Methodiken

  • Design Patterns und Anti-Patterns
  • Entwicklungsprozesse (V-Modell, Scrum, Wasserfall)
  • Fehlertolerierende Softwarearchitekturen
  • Model Checking
  • Model-based Testing
  • Mutation Testing
  • Objektorientierte Analyse und Design (OOA/OOD)
  • Refactoring
  • Requirements Engineering
  • Robustness Testing
  • Quantitative Zuverlässigkeitsanalyse (Reliability Assessment)
  • Test-driven Development

UML

  • ArgoUML
  • Borland Together
  • Eclipse UML2
  • Object Constraint Language (OCL)
  • Sparx Systems Enterprise Architect

Java Middleware

  • EJB
  • CDI

Java Frontend

  • ADF
  • JSF
  • PrimeFaces

Java Application Server

  • Oracle GlassFish
  • Oracle WebLogic

Java DB-Technologien

  • JDBC
  •  JPA
  • Hibernate

Java Tools

  • Eclipse
  • IntelliJ IDEA
  • JDeveloper
  • NetBeans IDE
  • Xcode

Build-Umgebungen

  • Maven
  • Jenkins

Versionsverwaltung

  • Subversion (SVN)

Betriebssysteme

  • Linux
  • MacOS
  • Windows

Datenbanken

  • MySQL
  • Issue-Tracking
  • Jira
  • Rational Requisite Pro
  • Redmine

Qualitätssicherung

  • FindBugs
  • JUnit
  • Mockito
  • SonarQube

Weitere Sprachen

  • C
  • C++
  • HTML
  • Lisp/Scheme
  • MATLAB
  • SML
  • SQL
  • Visual Basic
  • XML

Weitere Tools und Frameworks

  • Access/CPN
  • CPN Tools
  • Eclipse EMF
  • JGAP
  • ROS
  • Reconfigurable ROS-based Resilient Reasoning Robotic Co-operating Systems (R5-COP)  European Workshop on Industrial Computer Systems, Technical Committee on Reliability, Safety and Security (EWICS TC7) winter meeting, University of Erlangen-Nuremberg, Erlangen, 29.01.2015
  • Testing the Cooperation of Autonomous Robotic Agents  9th International Conference on Software Engineering and Applications (ICSOFT-EA 2014), Vienna University of Technology (TU Wien), Wien (AT), 29.08.2014
  • Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets  ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems SAFECOMP 2013, LAAS-CRNS, Toulouse (FR), 24.09.201
  • Resilient Reasoning Robotic Co-operating Systems (R3-COP)  European Workshop on Industrial Computer Systems, Technical Committee on Reliability, Safety and Security (EWICS TC7) winter meeting, University of Erlangen-Nuremberg, Erlangen, 17.01.2013
  • Test Coverage Criteria for Autonomous Mobile Systems based on Coloured Petri Nets  FORMS/FORMAT 2012: 9th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, TU Braunschweig, Braunschweig, 12.12.2012
  • Model-based Testing of Autonomous Systems based on Coloured Petri Nets  ARCS 2012: Architecture of Computing Systems, TU München, München, 28.02.201
  • "Angriff der lebenden Mutanten - Mutationstest in Java mittels PIT" KaffeeKlatsch 06/2016
  • Francesca Saglietti, Stefan Winzinger, Raimar Lill  
    Reconfiguration Testing for Cooperative Autonomous Agents 
    International Conference on Computer Safety, Reliability & Security (SAFECOMP 2015), Lecture Notes in Computer Science Springer-Verlag, 2015
  • Francesca Saglietti, David Föhrweiser, Stefan Winzinger, Raimar Lill  
    Model-based Design and Testing of Decisional Autonomy and Cooperation in Cyberphysical  Systems  
    Euromicro Conference Series on Software Engineering and Advanced ApplicationsProc. 41st International Conference SEAA 2015 Conference Publishing Services und ebenfalls in IEEE Xplore Digital Library
  • Francesa Saglietti, Raimar Lill, Matthias Meitner, Stefan Winziger  
    Resilient Reasoning Robotic Co-operating Systems (R3-COP)
    Deutsche Forschungsberichte Technische Informationsbibliothek Hannover, 2014
  • Raimar Lill, Francesca Saglietti  
    Testing the Cooperation of Autonomous Robotic AgentsInternational Conference on Software Engineering and Applications (ICSOFT-EA 2014) Proceedings of 9th ICSOFT-EA 2014, A. Holzinger, T. Libourel, L. Maciaszek, S. Mellor (Hrsg.) und ebenfalls in Scitepress Digital Library, 2014
  • Francesca Saglietti, Raimar Lill   
    A Testing Pattern for Automatic Control Software Addressing Different Degrees of  Process Autonomy and CooperationInternational Federation of Automatic Control (IFAC 2014) Proceedings of the 19th IFAC World Congress und ebenfalls in IFAC-Papers Online in Zusammenarbeit mit Elsevier, 2014
  • Francesca Saglietti, Raimar Lill, Matthias Meitner   
    Identification of Test Scenarios and Generation of Test Data II
    Technical report, project R3-COP (Resilient Reasoning Robotic Co-operating Systems), European Union Research Programme ARTEMIS (Advanced Research and Technology for Embedded Intelligence and Systems), Friedrich-Alexander-Universität Erlangen-Nürnberg, 2013
  • Raimar Lill, Francesca Saglietti  
    Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets
    ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013) SAFECOMP 2013 Workshop Proceedings (ISBN 2-907801-09-0) und ebenfalls in HAL open access archive
  • Francesca Saglietti, Raimar Lill, Matthias Meitner  
    Identification of Test Scenario and Generation of Test Data I
    Technical report, project R3-COP (Resilient Reasoning Robotic Co-operating Systems), European Union Research Programme ARTEMIS (Advanced Research and Technology for Embedded Intelligence and Systems), Friedrich-Alexander-Universität Erlangen-Nürnberg, 2013
  • Raimar Lill, Francesca Saglietti  
    Test Coverage Criteria for Autonomous Mobile Systems based on Coloured Petri Nets
    9th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS FORMAT 2012) Proceedings of the 9th FORMS/FORMAT Institut für Verkehrssicherheit und Automatisierungstechnik, TU Braunschweig, 2012
  • Francesca Saglietti, Raimar Lill, Sven Söhnlein, Florin Pinte  
    Communication and Coverage Analysis IITechnical report, project R3-COP (Resilient Reasoning Robotic Co-operating Systems), European Union Research Programme ARTEMIS (Advanced Research and Technology for Embedded Intelligence and Systems), Friedrich-Alexander-Universität Erlangen-Nürnberg, 2012
  • Francesca Saglietti, Raimar Lill, Sven Söhnlein, Florin Pin  
    Communication and Coverage Analysis ITechnical report, project R3-COP (Resilient Reasoning Robotic Co-operating Systems), European Union Research Programme ARTEMIS (Advanced Research and Technology for Embedded Intelligence and Systems), Friedrich-Alexander-Universität Erlangen-Nürnberg, 2012
  • Raimar Lill, Francesca Saglietti  
    Model-based Testing of Autonomous Systems based on Coloured Petri NetsInternational Conference on Architecture of Computing Systems (ARCS 2012) ARCS 2012 Workshops Proceedings, Lecture Notes in Informatics, Bd. 200, 241-250, Gesellschaft für Informatik (GI) e. V., Bonn, 2012, auch erschienen in IEEE Xplore, 2012
  • Francesca Saglietti, Sven Söhnlein, Raimar Lill   
    Evolution of Verification Techniques by Increasing Autonomy of Cooperating Agents
    Autonomous Systems: Developments and Trends, Studies in Computational Intelligence Bd. 391, 353-362, Springer-Verlag, Heidelberg, 2011

Studium der Informatik, Friedrich-Alexander-Universität Erlangen

  • Software Engineering, 
  • Datenbanksysteme, 
  • Kommunikationsysteme, 
  • Psychologie (Arbeitspsychologie / Ergonomie)

Abschluss: Diplom-Informatiker (Univ.) mit Auszeichnung

Beruflicher Werdegang

  • Verschiedene Fortbildungen im IT-Umfeld, u.a. ADF 12c Foundation Training
  • Consultant bei MATHEMA Software GmbH
  • Wissenschaftlicher Mitarbeiter am Lehrstuhl für Software Engineering der Universität Erlangen-Nürnberg
  • SW-Entwickler am Institut für Psychologie der Universität Erlangen-Nürnberg (Studentische Hilfskraft)
  • Grundwehrdienst im IT-Support der Bundeswehr

Projekte

  • Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems (R5-COP)
    Verbundprojekt im Forschungsprogramm Advanced Research and Technology for Embedded Intelligence and Systems (ARTEMIS) im Auftrag der Europäischen Union (EU) und des Bundesministeriums für Bildung und Forschung (BMBF) Resilient Reasoning
  • Robotic Co-operating Systems (R3-COP)
    Verbundprojekt im Forschungsprogramm Advanced Research and Technology for Embedded Intelligence and Systems (ARTEMIS) im Auftrag der Europäischen Union (EU) und des Bundesministeriums für Bildung und Forschung (BMBF)

Betreute Abschlussarbeiten an der Universität Erlangen-Nürnberg

  • Vergleichende Bewertung von Werkzeugen zur Erstellung und Analyse zeitbehafteter PetriNetze
    Bachelorarbeit, 2015
  • Generierung aussagekräftiger modellbasierter Testszenarien zur quantitativen Zuverlässigkeitsanalyse rekonfigurierbarer Systeme Masterarbeit, 2015
  • Entwicklung eines Mutationstests für farbige Petri-Netze
    Diplomarbeit, 2014
  • Konzepte für den modellbasierten Test transaktionsorientierter Softwaresysteme
    Bachelorarbeit, 2013
  • Analyse graphentheoretischer Verfahren zur automatisierten Testfallerzeugung aus farbigen Petri Netzen
    Masterarbeit, 2013
  • Vergleich verschiedener Simulationsumgebungen für autonome mobile Systeme 
    Bachelorarbeit, 2013
  • Entwurf und Einsatz graphentheoretischer Verfahren zum automatisierten Testen farbiger Petri-Netze
    Diplomarbeit, 2012
  • Vergleich verschiedener Java Frameworks im Hinblick auf ihre Einsetzbarkeit bei der Implementierung genetischer Algorithmen
    Bachelorarbeit, 2012
  • Modell-Mutationstest für farbige Petri Netze
    Bachelorarbeit, 2012

Betreute Lehrveranstaltungen an der Universität Erlangen-Nürnberg

  • Sommersemester 2015:
    Übungen zu Constructive Phases of Software Engineering Leiter des Seminars Design Patterns und Anti-Patterns
  • Wintersemester 2014 / 2015:
    Übungen zu Fehlertolerierende Softwarearchitekturen Leiter des Praktikums Software Engineering in der Praxis für Wirtschaftsinformatiker
  • Sommersemester 2014:
    Übungen zu Constructive Phases of Software Engineering Leiter des Seminars Einführung in die Kryptographie
  • Wintersemester 2013 / 2014:
    Übungen zu Softwareentwicklung in Großprojekten Leiter des Praktikums Software Engineering in der Praxis
  • Sommersemester 2013:
    Versuchsleiter für das Mädchen und Technik-Praktikum Versuchsleiter für das Jugend und Technik-Praktikum
  • Sommersemester 2012:
    Versuchsleiter für das Mädchen und Technik-Praktikum Versuchsleiter für das Jugend und Technik-Praktikum

Gehaltene Vorträge

  • Fault, Safety and Context Analysis for Interacting Agents 
    (Status of Work Package "Fault and Reliability Analysis") General Assembly of ARTEMIS Project "Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems" (R5-COP), Industrial Research Institute for Automation and Measurements (PIAP), Warschau (PL), 17.06.2015
  • Reconfigurable ROS-based Resilient Reasoning Robotic Co-operating Systems 
    (R5-COP) – a member's project in Advanced Research and Technology for Embedded Intelligence and Systems (ARTEMIS) European Workshop on Industrial Computer Systems, Technical Committee on Reliability, Safety and Security (EWICS TC7) winter meeting, University of Erlangen-Nuremberg, Erlangen, 29.01.2015
  • Status of Work Package on "Fault and Reliability Analysis" General Assembly of ARTEMIS Project "Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems" (R5-COP), University of Latvia, Riga (LV), 21.01.2015
  • Testing the Cooperation of Autonomous Robotic Agents  9th International Conference on Software Engineering and Applications, Vienna University of Technology (TU Wien), Wien (AT), 29.08.2014
  • Presentation of Work Package "Fault and Reliability Analysis"General Assembly of ARTEMIS Project "Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems" (R5-COP), Danish Technological Institute (DTI), Odense (DK), 20.05.2014
  • Identification of Test Scenarios and Generation of Test Data – "Testing of Cooperating Autonomous Systems" 
    Final Review Meeting of ARTEMIS Project "Resilient Reasoning Robotic Co-operating Systems" (R3-COP), Fraunhofer-Institut für Produktionstechnik und Automatisierung, Stuttgart, 31.10.2013
  • Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets 
    ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems SAFECOMP 2013, LAAS-CRNS, Toulouse (FR), 24.09.2013
  • Test Case Generation and Testing Robustness in Cooperating Autonomous Systems  
    Status of Workpackage on "Testing Cooperating Autonomous Systems" 
    General Assembly of ARTEMIS Project "Resilient Reasoning Robotic Co-operating Systems" (R3-COP), Budapest University of Technology and Economics, Budapest (HU), 18.09.2013
  • Test Scenario Identification and Test Case Generation 
    Status of Work Package on "Testing Cooperating Autonomous Systems" 
    General Assembly of ARTEMIS Project "Resilient Reasoning Robotic Co-operating Systems" (R3-COP), Technical Research Centre of Finland (VTT), Oulu (FI), 10.04.2013
  • Resilient Reasoning Robotic Co-operating Systems (R3-COP)
    a member's project in Advanced Research and Technology for Embedded Intelligence and Systems (ARTEMIS) European Workshop on Industrial Computer Systems, Technical Committee on Reliability, Safety and Security (EWICS TC7) winter meeting, University of Erlangen-Nuremberg, Erlangen, 17.01.2013
  • Test Coverage Criteria for Autonomous Mobile Systems based on Coloured Petri Nets 
    FORMS/FORMAT 2012: 9th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, TU Braunschweig, Braunschweig, 12.12.2012
  • CPN-based Testing of Cooperating Forklifts 
    Progress Achieved General Assembly of ARTEMIS Project R3-COP, University of Latvia, Riga (LV), 17.10.2012
  • Communication and Coverage Analysis – "Testing of Cooperating Autonomous Systems" Review Meeting of ARTEMIS Project "Resilient Reasoning Robotic Co-operating Systems" (R3-COP), Infineon Technologies, München, 20.06.2012
  • Communication and Coverage Analysis  
    Status of Work Package on "Testing of Cooperating Autonomous Systems" General Assembly of ARTEMIS Project "Resilient Reasoning Robotic Co-operating Systems" (R3-COP), Brno University of Technology, Brno (CZ), 18.04.2012
  • Model-based Testing of Autonomous Systems based on Coloured Petri Nets 
    ARCS 2012: Architecture of Computing Systems, TU München, München, 28.02.2012