hrcak mascot   Srce   HID

Tehnički vjesnik, Vol. 22 No. 2, 2015.

Izvorni znanstveni članak
https://doi.org/10.17559/TV-20150317102804

Istraživanje korelacija alarma na temelju detekcije statičkog kvara

Dalin Zhang   ORCID icon 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 preuzimanja: 341* 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.01.2021.
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. 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.01.2021.];22(2):311-318. 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]. https://doi.org/10.17559/TV-20150317102804
Puni tekst: engleski, pdf (2 MB) str. 311-318 preuzimanja: 300* 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.01.2021.
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. 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.01.2021.];22(2):311-318. 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]. 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

[engleski]

Posjeta: 1.003 *