 |
 |
 |
Izvorni znanstveni članak
https://doi.org/10.17559/TV-20150317102804
Istraživanje korelacija alarma na temelju detekcije statičkog kvara
Dalin Zhang
orcid.org/0000-0003-0346-7020
; National Research Center of Railway Safety Assessment, Beijing Jiaotong University, Beijing, China
Dahai Jin
; State Key Laboratory of Networking and Switching, Beijing University of Posts and Telecommunications, Beijing, China
Yunzhan Gong
; State Key Laboratory of Networking and Switching, Beijing University of Posts and Telecommunications, Beijing, China
Siru Chen
; History and Tourism Management, Inner Mongolia University, Hohhot, China
Chengcheng Wang
; Shanghai Stock Exchange, Shanghai, China
| Puni tekst: hrvatski, pdf (2 MB) | str. 311-318 | citiraj | |
|
APA 6th Edition Zhang, D., Jin, D., Gong, Y., Chen, S. i Wang, C. (2015). Istraživanje korelacija alarma na temelju detekcije statičkog kvara. Tehnički vjesnik, 22 (2), 311-318. https://doi.org/10.17559/TV-20150317102804 MLA 8th Edition Zhang, Dalin, et al. "Istraživanje korelacija alarma na temelju detekcije statičkog kvara." Tehnički vjesnik, vol. 22, br. 2, 2015, str. 311-318. https://doi.org/10.17559/TV-20150317102804. Citirano 26.06.2019. Chicago 17th Edition Zhang, Dalin, Dahai Jin, Yunzhan Gong, Siru Chen i Chengcheng Wang. "Istraživanje korelacija alarma na temelju detekcije statičkog kvara." Tehnički vjesnik 22, br. 2 (2015): 311-318. https://doi.org/10.17559/TV-20150317102804 Harvard Zhang, D., et al. (2015). 'Istraživanje korelacija alarma na temelju detekcije statičkog kvara', Tehnički vjesnik, 22(2), str. 311-318. doi: https://doi.org/10.17559/TV-20150317102804 Vancouver Zhang D, Jin D, Gong Y, Chen S, Wang C. Istraživanje korelacija alarma na temelju detekcije statičkog kvara. Tehnički vjesnik [Internet]. 2015 [pristupljeno 26.06.2019.];22(2):311-318. doi: https://doi.org/10.17559/TV-20150317102804 IEEE D. Zhang, D. Jin, Y. Gong, S. Chen i C. Wang, "Istraživanje korelacija alarma na temelju detekcije statičkog kvara", Tehnički vjesnik, vol.22, br. 2, str. 311-318, 2015. [Online]. doi: https://doi.org/10.17559/TV-20150317102804 |
|||
| Puni tekst: engleski, pdf (2 MB) | str. 311-318 | citiraj | |
|
APA 6th Edition Zhang, D., Jin, D., Gong, Y., Chen, S. i Wang, C. (2015). Research of alarm correlations based on static defect detection. Tehnički vjesnik, 22 (2), 311-318. https://doi.org/10.17559/TV-20150317102804 MLA 8th Edition Zhang, Dalin, et al. "Research of alarm correlations based on static defect detection." Tehnički vjesnik, vol. 22, br. 2, 2015, str. 311-318. https://doi.org/10.17559/TV-20150317102804. Citirano 26.06.2019. Chicago 17th Edition Zhang, Dalin, Dahai Jin, Yunzhan Gong, Siru Chen i Chengcheng Wang. "Research of alarm correlations based on static defect detection." Tehnički vjesnik 22, br. 2 (2015): 311-318. https://doi.org/10.17559/TV-20150317102804 Harvard Zhang, D., et al. (2015). 'Research of alarm correlations based on static defect detection', Tehnički vjesnik, 22(2), str. 311-318. doi: https://doi.org/10.17559/TV-20150317102804 Vancouver Zhang D, Jin D, Gong Y, Chen S, Wang C. Research of alarm correlations based on static defect detection. Tehnički vjesnik [Internet]. 2015 [pristupljeno 26.06.2019.];22(2):311-318. doi: https://doi.org/10.17559/TV-20150317102804 IEEE D. Zhang, D. Jin, Y. Gong, S. Chen i C. Wang, "Research of alarm correlations based on static defect detection", Tehnički vjesnik, vol.22, br. 2, str. 311-318, 2015. [Online]. doi: https://doi.org/10.17559/TV-20150317102804 |
|||
Sažetak
Tradicionalni alati za detekciju statičkog kvara mogu detektirati kvarove softvera i objaviti alarm, ali korelacije između alarma nisu identificirane i masivni nezavisni alarmi protivni su razumijevanju. Pomaganje korisnicima u verifikaciji alarma predstavlja veliki izazov postojećim alatima za detekciju statičke greške. U ovom radu mi formalno uvodimo korelacije alarma. Ako postojanje jednog alarma uzrokuje drugi, kažemo da su u korelaciji. Ako je jedan dominantni alarm jedinstveno povezan s drugim, znamo da će se verifikacijom jednoga također verificirati drugi. Na osnovu korelacije možemo
reducirati broj alarma potrebnih za verifikaciju. Naši su algoritmi inter-proceduralni, osjetljivi na putanju i podesivi (scalable). Mi prikazujemo sumarni model postupka korelacije za računanje inter-proceduralne korelacije alarma. Osnovni algoritmi su implementirani u naše alate za detekciju kvara. Izabrali smo jednu uobičajenu semantičku pogrešku za analizu slučaja i dokazali da naša metoda rezultira smanjenjem radnog opterećenja za 34,23 %. Primjenom
korelacijeske informacije možemo automatizirati verifikaciju alarma, što se ranije moralo raditi ručno.
Ključne riječi
apstraktna interpretacija; korelacije alarma; verifikacija alarma; pregled korelacija; provjeravanje (slicing) stanja
Hrčak ID: 138082
URI
https://hrcak.srce.hr/138082
Moj profil