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
|