Experience
Experience Home
Key Staff
Capabilities
Past Projects
|
Curriculum Vitae of Ralf Gerlich
| Name: | Ralf Gerlich |
|---|
| Year of birth: | 1981 |
|---|
| Current position: |
Software Engineer, Systems Administrator and
Technical Consultant at BSSE
|
| Contact: | ralf.gerlich@bsse.biz |
|---|
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"
|
Civil Services
| 2000-2001 |
civil services at the office for environmental affairs at
Landratsamt Bodenseekreis (county administration)
|
Relevant Experience
| 1996- |
Software Engineer, Systems
Administrator and Technical Consultant at BSSE
|
Programming Languages
- C/C++
- Constraint Handling Rules
- Java
- Python, Perl, PHP, Tcl/Tk, various Shell-dialects (Bourne,
C-Shell)
- Ada
- BASIC
- various Assembler (Intel IA32, PowerPC, Sparc, Motorola
6502/6510)
Operating Systems
- UN*X(Solaris, GNU/Linux)
- Microsoft® Windows™, Microsoft® DOS™
- Mac OS 9, Mac OS X
Areas of Interest
- automated, model-based software engineering (MBSE)
- systematic requirements engineering
- model-based software test (MBST/MBT)
- automatic test, random testing
- (distributed) realtime systems
- theory and practice of constraint programming
- design and implementation of compilers and codegenerators
- distributed systems (network architecture, safety and
security)
- mathematics, physics, spaceflight and avionics
Projects
| 2004- |
technical and methodological research for UML-to-ISG-Bridge |
| 2004- |
automated analysis of Ada83 sourcecode for automation of
validation & verification |
| 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
|
|
