Your browser is outdated!

To ensure you have the best experience and security possible, update your browser. Update now

×

Experience

Research Assistant

OFFIS & Carl von Ossietzky University of Oldenburg, Department of Computer Sciences
January 2013 to March 2017
Responsibilities completed
  • Participation in several research projects including Artemis MBAT, CSE, and Amalthea4Public
  • Development of an adapter for the AMALTHEA4public platform enabling integration scenarios based on the OSLC standard
  • Development of a SPARQL Query engine for EMF Models based on Apache Jena
  • Integration of an interoperable Requirements Formalization and Consistency Analysis Toolchain based on Research Technology, IBM DOORS and the BTC Embedded Specifier tool. Integration based on the OSLC Standard
  • Contribution to the development of a model transformation of Matlab Simulink/Stateflow models using the Eclipse Modeling Framework
  • Development of a Lifecycle Query ToolChain enabled by the OSLC Standard
  • Extension of the OSLC standard for interoperability of lifecycle management tools together with major players of the software industry, e.g. DASSAULT systems
  • Co-authoring and review of project deliverables and participation in meetings with project partners
  • Management, authoring, and co-authoring of several peer-reviewed​ scientific articles and presentation of two of them in EU conferences
  • Ongoing Contribution to The Eclipse Lyo project
  • Technologies: JAVA / the Lyo OSLC4J libraries, Apache Jena ARQ, SPARQL language/protocol and open source HTTP SPARQL-enabled triplestore technology, IBM Rational Lifecycle Management toolsuite, Matlab Simulink/Stateflow
Detailed Description
  • Participation in the MBAT (Model-Based Analysis and Testing) research project
  • Participation in the AMALTHEA4public project centered around an open source tool platform for engineering embedded multi- and many-core software systems
  • Participation in the CSE project (CSE Interdisciplinary Research Center on Critical Systems Engineering for Socio-Technical Systems)
  • Consultancy for the KTH Royal institute of Technology in Stockholm
  • Contribution to the development of a model-based safety analysis framework for safety-critical software using software fault injection techniques and model checking
  • Technical context : Java Development, Eclipse Modeling Framework / Plug-in development, Matlab Simulink/ Stateflow API, UML Testing Profile, OSLC, Meta-Model for model-based analysis and testing, RDF, SPARQL protocol/language
  • Summary: experience with state of the art research in the field of V&V of safety-critical systems, participation in a continent-wide​ V&V research project