Among the full-field optical measurement methods, the Digital Image Correlation (DIC) is one of the techniques which has been given particular attention. Technically, the DIC technique refers to a non-contact strain measurement method that mathematically compares the grey intensity changes of the images captured at two different states: before and after deformation. The measurement can be performed by numerically calculating the displacement of speckles which are deposited on the top of object’s surface. In this paper, the Two-Dimensional Digital Image Correlation (2D-DIC) is presented and its fundamental concepts are discussed. Next, the development of the 2D-DIC algorithms in the past 33 years is reviewed systematically. The improvement of 2DDIC algorithms is presented with respect to two distinct aspects: their computation efficiency and measurement accuracy. Furthermore, analysis of the 2D-DIC accuracy is included, followed by a review of the DIC applications for two-dimensional measurements.
This contribution deals with the modelling of a selected part of a new automotive communication standard called FlexRay. In particular, it focuses on the mechanism ensuring the start-up of a FlexRay network. The model has been created with the use of timed automata and verified. For this purpose the UPPAAL software tool has been used that allows the modelling of discrete event systems with the use of timed automata, and subsequently the verification of the model with the use of suitable queries compiled in the so called computation tree logic. This model can be used to look for incorrect settings of time parameters of communication nodes in the network that prevent network start-up and subsequently the start of the car. The existence of this model also opens the way for finding possible errors in the standard. On the basis of the model, the work gives a case study of the start-up mechanism behaviour verification in a FlexRay network consisting of three communication nodes.