hrcak mascot   Srce   HID

Original scientific paper
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

Fulltext: croatian, pdf (2 MB) pages 311-318 downloads: 280* cite
APA 6th Edition
Zhang, D., Jin, D., Gong, Y., Chen, S. & 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, no. 2, 2015, pp. 311-318. https://doi.org/10.17559/TV-20150317102804. Accessed 18 Nov. 2019.
Chicago 17th Edition
Zhang, Dalin, Dahai Jin, Yunzhan Gong, Siru Chen and Chengcheng Wang. "Istraživanje korelacija alarma na temelju detekcije statičkog kvara." Tehnički vjesnik 22, no. 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), pp. 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 [cited 2019 November 18];22(2):311-318. https://doi.org/10.17559/TV-20150317102804
IEEE
D. Zhang, D. Jin, Y. Gong, S. Chen and C. Wang, "Istraživanje korelacija alarma na temelju detekcije statičkog kvara", Tehnički vjesnik, vol.22, no. 2, pp. 311-318, 2015. [Online]. https://doi.org/10.17559/TV-20150317102804
Fulltext: english, pdf (2 MB) pages 311-318 downloads: 230* cite
APA 6th Edition
Zhang, D., Jin, D., Gong, Y., Chen, S. & 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, no. 2, 2015, pp. 311-318. https://doi.org/10.17559/TV-20150317102804. Accessed 18 Nov. 2019.
Chicago 17th Edition
Zhang, Dalin, Dahai Jin, Yunzhan Gong, Siru Chen and Chengcheng Wang. "Research of alarm correlations based on static defect detection." Tehnički vjesnik 22, no. 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), pp. 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 [cited 2019 November 18];22(2):311-318. https://doi.org/10.17559/TV-20150317102804
IEEE
D. Zhang, D. Jin, Y. Gong, S. Chen and C. Wang, "Research of alarm correlations based on static defect detection", Tehnički vjesnik, vol.22, no. 2, pp. 311-318, 2015. [Online]. https://doi.org/10.17559/TV-20150317102804

Abstracts
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.

Keywords
apstraktna interpretacija; korelacije alarma; verifikacija alarma; pregled korelacija; provjeravanje (slicing) stanja

Hrčak ID: 138082

URI
https://hrcak.srce.hr/138082

[english]

Visits: 786 *