Research Assistant

January 2013 to December 2014
Responsibilities completed
  • Participation in the MBAT (Model-Based Analysis and Testing) research project, funded by the ARTEMIS Joint Undertaking
  • 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
  • Development of a model transformation of Matlab Simulink/Stateflow models using JAVA and the Eclipse Modeling Framework
  • Contribution to the development of a model-based safety analysis framework for safety-critical software using software fault injection techniques and model checking
  • Extension of the OSLC standard for interoperability of lifecycle management tools together with major players of the software industry, e.g. DASSAULT systems
Detailed Description
  • 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
  • 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
Company website