Algorithm Modeling under Matlab
sample match: c++ / c, testing / quality assurance

ABS reference velocity calculation modeling under MATLAB Simulink, for support the migrating to model based development. Keywords: Executable Specification, white box type testing, functional testing methods. more info

Cpp development
sample match: c++ / c, testing / quality assurance

SIL type simulation environment development. (MS Visual C++, documented by Doxygen). Protocol analyser development. (Borland Turbo C++, documented by Doxygen). Developing an XML-based parameter table loader, ASAP2 loader DLL to improving FAMOS scripting abilities. (Borland C++ Builder 5, open source XERCES,... more info

C development
sample match: programming, c++ / c, testing / quality assurance

Developing the automatic verification program (VERA) for testing Rosetta Lander On-Board Software. To reach this, it was necessary to create a test descriptor script language, which contains the instructions for online automatic evaluation. The base idea was similar to a dialogue, if we sending out a control sequence... more info

Development/deployment in Mathematica
sample match: mechanical, other (engineering), other (programming)

Industry often (if not always) demands fast and efficient prototyping. Given a project where several algorithmic approaches should be investigated and chosen carefully being effective is of vital importance. These demands can, to the maximal level, be satisfied by development in Mathematica. In some later stage... more info

Controller design in Matlab
sample match: engineering

Controller desing for hybrid systems, where continuous and discrete signals are present at the same time (as in automotive also), is far from being trivial. This example shows an implemented controller for an appropriately identified and modeled hybrid system using state-of-the art mathematical methods which are still in... more info