Papers by Jacob Palczynski
Sicherheitskritische Systeme werden zunehmend modellbasiert entworfen. Eine Plattform für modellb... more Sicherheitskritische Systeme werden zunehmend modellbasiert entworfen. Eine Plattform für modellbasierten Entwurf ist Simulink von The MathWorks, Inc. Um automatisch zu verifizieren, dass ein System gewisse Anforderungen erfüllt, wird Model-Checking eingesetzt.
ABSTRACT Hardware-in-the-loop testing (HiL) requires exact timing of measurements of continuous s... more ABSTRACT Hardware-in-the-loop testing (HiL) requires exact timing of measurements of continuous signals. Although great effort is put into design and manufacturing of measurement devices, inaccuracies might occur. In industrial practice differently fast clocks can occur and lead to drifting sampling rates. This drift leads to stretched and distorted signal data. Based on a methodology for analysing test data of continuous systems, we suggest to estimate the drift in HiL measurements with a property-based approach. Data of a reference device and the device exhibiting the drift is compared with help of signal properties. The shifted occurrences of one property depends on the clock's drift.
Model Driven …, Jan 1, 2009
Abstract. When developing control systems software, mathematically based modelling tools such as ... more Abstract. When developing control systems software, mathematically based modelling tools such as Matlab/Simulink are used for design, sim-ulation, and implementation. Thus, a continuous model-based approach does not need to map requirements to, for example, UML class ...
2009 Third UKSim European …, Jan 1, 2009
AbstractWhen developing embedded control software, con-trol systems engineers model both the con... more AbstractWhen developing embedded control software, con-trol systems engineers model both the control algorithm and the system to be controlled, the so called plant, together. The models realised with tools such as Matlab/Simulink or Dymola are based on the systems' physical ...
on Testing Software and Systems: …, Jan 1, 2010
Uploads
Papers by Jacob Palczynski