Industry/Research Projects




Industrial Research Projects:          

  • [RMIT University] Voice activated solutions for agile retrospective sessions. 
    Funded by: Shine Solutions. 
    Status: Ongoing.

  • [RMIT University] Analysis and algorithm development for pharmacy trading platform.
    Funded by:  NostraData. 
    Status: Ongoing.

  • [RMIT University] Usability analysis for horse transport and horse business management tools.
    Funded by:  CompuThought.
    Status: Project successfully completed (2017).
  • [RMIT University] Analysis of user Interface aspects critical within the Lobster Fishers Industry Domain.
    Funded by:  Spatial Vision. 
    Status: Project successfully completed (2017).
  • [RMIT University] Framework for analysis of environment stack standards.
    Funded by:  Shine Solutions. 
    Status: Project successfully completed (2017).
  • [RMIT University] Analysis and algorithm development for identification of specified health conditions.
    Funded by:  NostraData. 
    Status: Project successfully completed (2017).
  • [RMIT University] Analysis of User Interface aspects critical within the Horse Industry domain.
    Funded by:  CompuThought.
    Status: Project successfully completed (2017).
  • [RMIT University] Testing of Engineered Systems (TES): In collaboration with Siemens AG.
    Objectives: The project aims to develop cost effective methods to test industrial automation systems remotely and with cloud support, in order to diagnose and repair faults cheaper and faster, decrease the number of failures, and thereby, increase availability and productivity.
    Funded by: Siemens AG.
    Status: Project successfully completed (2014 - 2015).

  • [RMIT University] Collaborative engineering (Phase II): In collaboration with ABB.
    Objectives: Project explores facilitation and support for collaborative engineering and services between distributed sites for operation, and maintenance.
    Funded by: ABB.
    Status: Project successfully completed (2014 - 2015).

  • [TU Munich, Germany] Project TUM - EMIC:
    Leader (TUM) of the project.
    Collaboration between TU Munchen and European Microsoft Innovation Center.
    Objectives: Analysis of adaptive and self-optimizing systems.
    Funded by: EMIC (European Microsoft Innovation Center).
  • [TU Munich, Germany] COBRA model development:
    Leader (TUM) of the project.
    Collaboration between TU Munchen and AVL.
    Objectives: Development of a structured behavior model for the implementation of a COBRA modeling approach. 
    Funded by: AVL.
  • [TU Munich, Germany] Project TUM - ITK (MbFS - Efficient Hazard and Risk Analysis for Automotive Mechatronic Systems):
    Collaboration between TU Munchen and ITK Engineering AG.
    Objectives: Development of a methodology for the hazard and risk analysis of safety-critical software systems.
    Funded by: ITK Engineering AG.
  • [TU Munich, Germany] SPES-XT (Software Platform Embedded Systems):
    Collaboration between TU Munchen, Siemens AGINCHRON GmbH and OFFIS e.V.
    Objectives: Validation in the early phases of software development. 
    Funded by: BMBF (Federal Ministry of Education and Research).
  • [TU Munich, Germany] DENTUM III
    Collaboration between TU Munchen and DENSO Corporation.
    Objectives: The first phase of the project is focused on elaborating a modeling technique and methodology for the development of a system-under-development at DENSO. The second phase is an industy-oriented lecture course for engineers of DENSO (Japan).
    Funded by: Denso Automotive.
  • [TU Munich, Germany] Verisoft XT - Automotive Application (part of the Verisoft XT project):
    Leader of the project.
    In collaboration with Robert Bosch GmbH
    Objectives: The purpose of this project is to integrate verification techniques in real industrial development processes - from specification and analysis of requirements to a verified implementation. The aim is to delope methods necessary to bridge the gap from informal requirements towards formal specification and from there to executable implementation.
    Funded by: BMBF (Federal Ministry of Education and Research)
  • [TU Munich, Germany] DENTUM I, II
    Collaboration between TU Munchen and Denso Automotive Deutschland .
    Objectives: The goal of the first project was to define a methodology for the model-based development of automotive systems. This methodology was evaluated by developing an Adaptive Cruise Control (ACC) system with Pre-Crash Safety (PCS) functionality. 
    The goal of the second project was to refine this methodology and evaluate it by developing a Passive Entrance System. 
    Funded by: Denso Automotive Deutschland.

  • [TU Munich, Germany] Verisoft Automotive (part of VerisoftVerisoft @ Munich )
    In collaboration with BMW Group
    Objectives: The main goal of the project is the persistent formal verification of computer systems. The correct functionality of systems, as they are applied, for example, in automotive engineering, in security technology and in the sector of medical technology, are to be mathematically proved.
    Funded by: BMBF (Federal Ministry of Education and Research)

Industry Projects:          

  • [RMIT University] Software Engineering projects within YourSoftware initiative (see also http://www.spichkova.com/yoursoftware for more details).
    In collaboration with
    • ANZ,
    • Navy,
    • Microsoft,
    • Commonwealth bank,
    • Panviva,
    • Bookon,
    • RedBubble,
    • Kaleido Labs,
    • Carers Victoria,
    • Bureau of Meteorology,
    • Adeft Consulting Group,
    • Department of Justice & Regulation,
    • etc.
  • [RMIT University] Rhythm ANZ internal mobile application: In collaboration with ANZ.
    Objectives: The goal of the project is to contribute to the Rhythm ANZ prototype by developing glossary-based features.
    Funded by: ANZ.
    Status: Project successfully completed (2015 - 2016).
    School of Science (Computer Science and IT) Award
  • [RMIT University] Working prototype for cloud based software as a service application: In collaboration with Compliance Group Pty Limited.
    Objectives: The aim of this project is to develop and evaluate a prototype desktop application to assist companies in the financial sector.
    Funded by: Compliance Group Pty Limited.
    Status: Project successfully completed (2015 - 2016).
  • [RMIT University] FGP Datapump and Webservice: In collaboration with Future Grid Pty Ltd.
    Objectives: Analyse datapump strategies and development of a generic, high performance solution, applicable for any data. Develop and evaluate HTML5 user interface with a JSON based REST web service.
    Funded by: Future Grid Pty Ltd.
    Status: Project successfully completed (2015 - 2016).

Research Projects:          

  • [RMIT University] Collaborative Verification
  • [RMIT University] Sustainable Campus
    Developing the map application for City Campus of the RMIT University, with the focus on sustainability aspects.    
  • [RMIT University] User Interfaces for Data Curation Systems
    Analysis and optimization of user interface of data curation systems to increase their usability by the collection and analysis of users' feedback.    
  • [RMIT University] Sustainable Transport Systems
    Developing the model of an on-demand transport system that focuses on spatial planning and optimisations.    
  • [RMIT University, TU Munich] Component composition and dependencies within a system
    Analyse of dependencies between components within a system, with focus on remote deployment and compositional aspects.    
  • [RMIT University, TU Munich] Time & Space
    Analyse of timing and spatial aspects intercoupling in modelling of cyber-physical systems.    
  • [TU Munich, Germany] Model-Driven Evolution Management Framework for Automation Systems
    Approach for managing evolution of automation systems through a model-driven engineering methodology including respective engineering process models and formalisms to define and structure system requirements and to describe and analyse system architectures and component structures/behaviour.    
  • [TU Munich, Germany] Exploring Assume-Guarantee Reasoning in Hybrid Component-Based Systems
    Analyse of modelling and testing techniques of component-based systems. Collaborative research project with Prof. Pallab Dasgupta (Indian Institute of Technology Kharagpur, India).    
  • [TU Munich, GermanyAutoFocus3: Focus on LaTeX 
    Developing an add-on to the AutoFocus3 CASE tool to generate from an AutoFocus model the corresponding formal specification in FOCUS represented in LaTeX. 

  • [TU Munich, Germany] Focus on Isabelle 
    Tool-support for extension of the methodology Focus on Isabelle: developing a translator of formal specifications in FOCUS to Isabelle/HOL

  • [TU Munich, GermanyCoCoME (Common Component Modelling Example) 
    Evaluation and comparizon the practical appliance of existing component models using a common component-based system as modelling example.