Curriculum Vitae of Ralf Gerlich

Name:Ralf Gerlich
Year of birth:1981
Current position: Senior Software Engineer at BSSE
Contact:ralf.gerlich@bsse.biz (PGP key)
Profiles:ResearchGate LinkedIn

Main Activities

  • Model-driven Software Engineering
  • Code analysis
  • Automatic generation of test data
  • Codegeneration from models

Methodological Competence

  • Embedded and real-time systems for space applications
  • Model-driven Software Engineering
  • Methods for code analysis and verification
  • Automation of software test
  • Formal methods in software engineering
 

Education

2009 "Dr. rer. nat." of University of Ulm, Germany in Computer Science on constraint-based software test data generation
2005 "Diplom-Informatiker" of University of Ulm, Germany; diploma thesis on "Size-Optimising Automatic Random Testcase Set Generation for Verification and Validation"

Relevant Experience

1996- Software Engineer, Systems Administrator and Technical Consultant at BSSE

Languages

UML, AADL, Ada, BASIC, C/C++, SDL, Java, Python, Perl, PHP, PROLOG, CHR, Assembler (various dialects)

Projects

2020- VeriKI: Verification of artificial intelligence in decentralized structures for New-Space-applications (DLR activity)
2019-2020 SKQuest: Evaluiation of the usefulness of software metrics (survey)
2016-2018 TeDaGA: Test data generation using genetic algorithms
2016-2020 FASTII: Automated Source-code-based Testing (ESA activity)
2016 FSVW: Continuation of the evaluation of methods and tools for software verification (DLR contract, tools: Polyspace, QA/C, FramaC, PC-Lint, DCRTT)
2015-2020 ATHH: Automated testing of payload software for a technology evaluation satellite (DLR contract)
2015 ESVW: Evaluation of methods and tools for software verification (DLR contract, tools: Polyspace, Klocwork, QA/C and DCRTT)
2014-2015 Analysis of the flight software of a small satellite
2014-2015 CFT: Constraintbased fault detection and test data generation (DLR activity)
2011-2013 OSAT: Object-oriented, systematic automated testing (DLR activity, automated testing for C++)
2010-2015 FAST: Assessment and Evaluation of Fully Automated Source-code based Testing Strategies (ESA activity, automated testing for C)
2009- Implementation of an automatic test data generation and WCET estimation framework for C (ISO/IEC 9899:1999)
2005-2009 Definition of a generic formal framework for constraint-based and automated test data generation in the context of a PhD thesis
2009 Consulting of SMEs in the area of process improvement
2008 Quality and risk analysis for a major IT-project in telecommunication area
2008 Project planning based on APV in telecommunication area
2008 Requirements engineering based on RVV in telecommunication area
2007-2008 support of a DLR project on quality and risk analyses for space software
2007 Coaching of requirements engineering in telecommunication area
2006 Quality analyses of requirements based on RVV in telecommunication area
2006 Quality analyses of project planning based on APV in telecommunication area
2006- Implementation of an approach for verification and validation of requirements (RVV tool)
2006- Implementation of an approach for verification of work package contents and interfaces / dependencies (APV tool)
2004-2007 ASSERT, definition of UML meta-model for ISG, Java code generator from ISG meta-model (UML)
2004-2006 ACG project (ESA), methodology for automated code generation, quality analyses of models, implementation for UML-to-ISG-Bridge
2004-2005 AISVV project (ESA / DLR), reverse-engineering of ATV Ada software for verification of FSMs
2003 automated generation of GUIs from XML specifications
2003 design and implementation of ISGL, the ISG specification language
2002 automated generation of the complete software required for hierarchical GUIs (Java) and C interfaces from C type declarations
2000-2002 development of a "Virtual User" for Macintosh platform covering automated verification of GUIs (Tool: AutoPilot): proof-of-concept, design and implementation of AutoPilot script-language
1998-1999 development of the ISG environment for automated and instantaneous software generation
1997- autonomous research and development on an adaptible distributable hard-realtime-conforming microkernel for use in fault-tolerant systems
1997-1998 CADIS (Call Data Acquisition and Distribution Integrated System): fault-tolerant distributed system for acquisition and processing of call data in telecommunication systems
1996- system administration and maintenance for PC, Macintosh and Sparc, DOS, MS-Windows, Solaris, Linux, Mac OS9 + OSX, peripheral hardware (LAN, WAN), web applications

Books

Co-Author of 111 Thesen zur erfolgreichen Softwareentwicklung, Springer, 2005.