A selection of current and past projects:

Validation Suite for Automotive Code-Generators

Conceptualized and designed a generic validation suite based approach to the qualification of code-generators and compilers for use in safety-relevant automotive embedded software development projects. Specified the requirements for a concrete validation suite for a MATLAB/Simulink-based code-generator and coordinated the design and implementation of said validation suite by a consortium of sub-contractors, assuming the roles of technical lead and chief architect. Coordinated the overall safety, quality and regulatory aspects of the development with supervisory and certification bodies.

Automotive Embedded Software Modelling Guidelines

Supported a leading premium automotive OEM in the creation of suitable modelling guidelines for MATLAB/Simulink modells for the use in automatic code-generation for embedded software.

Federally Co-Funded Research Project

Performed as the representative of a leading premium automobile OEM in a federally co-funded research consortium on model-based development of automotive software.

Differencing Toolkit for Function Networks

Developed, introduced and supported a differencing engine with specialised ruleset language to compare automotive function network models and report topological and property differences, for a leading premium automobile OEM.

Model-based Development Process for ISO/IEC 61508

Supported a leading premium automobile OEM in the formulation of a model-based development process that is suitable for development of safety-relevant embedded systems in a safety development process based on ISO/IEC 61508.

Modelling Language Transformation Framework

Developed, introduced and supported a transformation engine with specialised transformation pattern language to transform models between different modelling languages, including UML RT, ASCET and MATLAB/Simulink, including consistency checking and model differencing, for a leading premium automobile OEM.

Simulation Framework

Developed, introduced and supported a specialised simulation framework for manufacturing and logistics simulations of a leading manufacturer of white goods.

Simulations

Based on the above framework, developed a number of specific simulation systems, which supported automatic generation of simulation models from SAP R/2 and R/3 data repositories, batch running of simulation experiments, automatic analysis generation and integration with an SGML-based automatic report generation system (see below).

Web-based Manufacturing Data-Editor

Developed an intranet-deployed editor for SAP-derived manufacturing data (bills of material, warehousing, requirements planning, etc.) with integral support for the generation and management of distinct current and future scenarios. This system also leverages the HTTP/1.1 server cited below.

Secure Software Update Service

Developed a secure, encrypted and authenticated (on both sides) software update service, based on SSL/TLS and HTTP. Created an X.509v3 Certification Authority as part of this project, which is still being maintained by PMSF IT Consulting.

SGML Report Generation System

Created a report generation system, that ran analysis based on specifications embedded in the SGML report document, integrating the resulting entities with the SGML report document, and generating various delivery formats.

Database Schema Version Control System

Developed a specialised version control system for relational database schemas, with support for the automatic generation of DDL+DML patch files. The system is itself backed by a RDBMS.

Database Interface Library

Created the MaiSQL Common Lisp interface library for relational database systems.

Constraint System

Created a component-based system for the specification of complex financial calculations with automatic dependency tracking and integration with a database backend for Borland's Delphi programming language.

Palm Data-Entry Application Framework

Created a framework for the creation of specialised data-entry applications for SAP R/3 from Palm OS-based PDAs, including the Symbol SPT1700 with embedded barcode scanner. This included the creation of the necessary support software for the base stations, and the synchronisation protocols between PDA and base station.

Data-acquisition Library

Created a C++ data-acquisition library for lab interface hardware, including scintillation counters.

HTTP/1.1 Server

Created a Common Lisp HTTP/1.1 server, including complete support for the handling of MIME multipart entities. Created an XML/HTML-based presentation framework for Common Lisp objects. Implemented the equivalent of Java Server Pages for Common Lisp. Implemented a complete community portal and content management site, and a specialised search-engine using this server.

Object Persistence

Created persistence solutions for CLOS (Common Lisp Object System) and Eiffel objects, based on binary and XML representations respectively.