The semantics of alarm definitions: enabling systematic reasoning about alarms

  • Authors:
  • Stefan Wallin;Viktor Leijon;Johan Nordlander;Nicklas Bystedt

  • Affiliations:
  • Luleå University of Technology, Sweden;Luleå University of Technology, Sweden;Luleå University of Technology, Sweden;Yalt, Skellefteå, Sweden

  • Venue:
  • International Journal of Network Management
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

The development and integration of an alarm interface between network elements and a network management system is a costly process, largely because of the informal way in which alarm interfaces are expressed and communicated. Low-quality alarm documentation and confusion around fundamental concepts like alarm states and alarm types are typical consequences of current practices. If alarm interfaces were expressed in a more formal manner, costs could be reduced and more advanced analysis and automation would be enabled. We present a novel approach to alarm interfaces by providing a formal alarm model together with a domain-specific language that allows us to specify both the alarm models and the constraints placed on the alarm models in a consistent manner. This means that we can verify the consistency of an alarm interface and automatically generate artifacts such as alarm correlation rules or alarm documentation based only on the model. Copyright © 2011 John Wiley & Sons, Ltd.