Formal validation of QRS wave within ECG

摘要: Electrical sensors are used to detect and record the electrical activity of heart over a period time, this operation is referred as Electrocardiography (ECG) in medical science. Hence ECG composed set signal waves that repeats themselves usually useful diagnosis, where certain patterns occupancy specific waves, such QRS wave, may indicate problems. In paper, we extend our previous results provided high level model for with more concrete at several levels abstraction order validate specification properties related its behavior. We use formal method since applications still suffer from design understanding problems when implemented ICT context despite thorough test through simulation techniques which lead ambiguities incompleteness developed methods using specifications diagnosis. Event-B successfully formalize wave system abstraction, then defined validated wavelet shape