ANALYSIS METHOD OF EMBEDDED SYSTEM DYSFUNCTIONS, ASSOCIATED COMPUTER PROGRAM PRODUCT AND ANALYSIS DEVICE

摘要

A method for analyzing dysfunctions of an embedded system including a phase for modeling this system and an analysis phase, the modeling phase including defining a set of resources, a set of services, a set of statuses and at least one rule for the acquisition of a status by a resource or by a service, the analysis phase including configuring the analysis including marking a marked event and analyzing acquisition rules to determine a set of basic events and conditions for the appearance thereof, leading to the appearance of the marked basic event.