Under de senaste dagarna har tågtrafikolyckor inträffat då och då, men orsakerna är svåra att hitta. Enligt stokastiska och realtid egenskaper utrustning fel, tre skikt modeller baserade på stokastiska hybrid automata (SHA) föreslås för interlocking system. De tre skiktmodellerna består av en systemmodell, en övervakningsmodell och en felförutsägelsemodell. De olyckor som orsakas av utrustningens fel förutses genom att dessa modeller simuleras tillsammans på UPAAL-SMC-plattformen. De viktigaste bidragen i detta dokument är följande: (1) Utvinning av modellmönster för interlockeringssystem (2) med en mönsterbaserad systemmodellgenereringsprocess och en automatisk generationsmetod för övervakningsmodell baserad på tidsbegränsningar och (3) definition av olycksprognosmodellen för kollisionsolyckor för att förutsäga olyckor och övervaka olycksorsaker genom modellsimulering.
Wang m.fl. REF tillhandahöll en treskiktsmodell baserad på stokastisk hybridautomata för interlockeringssystem.
Predicting Accidents in Interlocking Systems: An SHA Model-Based Approach
{'venue': None, 'journal': 'International journal of performability engineering', 'mag_field_of_study': ['Engineering']}