Skip to main content
Top

2021 | OriginalPaper | Chapter

9. Situational Awareness for Industrial Operations

Authors : Peter Baumgartner, Patrik Haslum

Published in: Data and Decision Sciences in Action 2

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

The smooth operation of industrial or business enterprises rests on constantly monitoring, evaluating and projecting their current state into the near future. Such situational awareness problems are not well supported by today’s software solutions, which often lack higher level analytic capabilities. To address these issues, we propose a modular and re-usable system architecture for monitoring systems in terms of their state evolution. As a main novelty, states are represented explicitly and are amenable to external analysis. Moreover, different state trajectories can be derived and analysed simultaneously, for dealing with incomplete or noisy input data. In the paper, we describe the system architecture and our implementation of a core component, the state inference engine, through a shallow embedding in Scala. The implementation of our modelling language as an embedded domain-specific language grants the modeller expressive power and flexibility, yet allows us to abstract a significant part of the complexity of the model’s execution into the common inference engine core.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
1
External channels must be equipped with deserialization for their message type.
 
2
Similar to Prolog’s fail statement.
 
3
As an object-oriented language, Scala gives us the class/instance paradigm for free.
 
Literature
1.
go back to reference Allen JF (1983) Maintaining knowledge about temporal intervals. Commun ACM 26(11):832–843 Allen JF (1983) Maintaining knowledge about temporal intervals. Commun ACM 26(11):832–843
3.
go back to reference Baier C, Katoen J (2008) Principles of model checking. MIT Press Baier C, Katoen J (2008) Principles of model checking. MIT Press
4.
go back to reference Brandt S, Kalaycl EG, Ryzhikov V, Xiao G, Zakharyaschev M (2018) Querying log data with metric temporal logic. J Artif Intell Res 62(5):829–877 Brandt S, Kalaycl EG, Ryzhikov V, Xiao G, Zakharyaschev M (2018) Querying log data with metric temporal logic. J Artif Intell Res 62(5):829–877
5.
go back to reference Chesani F, Mello P, Montali M, Riguzzi F, Sebastianis M, Storari S (2008) Checking compliance of execution traces to business rules. In: International conference on business process management. Springer, Berlin Chesani F, Mello P, Montali M, Riguzzi F, Sebastianis M, Storari S (2008) Checking compliance of execution traces to business rules. In: International conference on business process management. Springer, Berlin
6.
go back to reference Cordier MO, Thiébaux S (1994) Event-based diagnosis for evolutive systems. In: Proceedings 5th international workshop on principles of diagnosis Cordier MO, Thiébaux S (1994) Event-based diagnosis for evolutive systems. In: Proceedings 5th international workshop on principles of diagnosis
7.
go back to reference Cook JE, Wolf AL (1999) Software process validation: quantitatively measuring the correspondence of a process to a model. ACM Trans Softw Eng Methodol 8(2) Cook JE, Wolf AL (1999) Software process validation: quantitatively measuring the correspondence of a process to a model. ACM Trans Softw Eng Methodol 8(2)
8.
go back to reference De Giacomo G, Maggi FM, Marrella A, Sardina S (2016) Computing trace alignment against declarative process models through planning. In: Proceedings ICAPS De Giacomo G, Maggi FM, Marrella A, Sardina S (2016) Computing trace alignment against declarative process models through planning. In: Proceedings ICAPS
9.
go back to reference Derigent W, Thomas A (2017) Situation awareness in product lifecycle information systems. In: Service orientation in holonic and multi-agent manufacturing—proceedings of SOHOMA 2017, Springer, Berlin Derigent W, Thomas A (2017) Situation awareness in product lifecycle information systems. In: Service orientation in holonic and multi-agent manufacturing—proceedings of SOHOMA 2017, Springer, Berlin
10.
go back to reference Grastien A, Haslum P, Thiébaux S (2012) Conflict-based diagnosis of discrete event systems: theory and practice. In: Proceedings KR 2012 Grastien A, Haslum P, Thiébaux S (2012) Conflict-based diagnosis of discrete event systems: theory and practice. In: Proceedings KR 2012
11.
go back to reference Ghimire S, Luis-Ferreira F, Nodehi T, Jardim-Goncalves R (2017) Iot based situational awareness framework for real-time project management. Int J Comput Integr Manuf 30(1) Ghimire S, Luis-Ferreira F, Nodehi T, Jardim-Goncalves R (2017) Iot based situational awareness framework for real-time project management. Int J Comput Integr Manuf 30(1)
12.
go back to reference Havelund K, Joshi R (2017) Modeling rover communication using hierarchical state machines with scala. In: Computer safety, reliability, and security—SAFECOMP 2017 workshops, LNCS 10489, Springer, Berlin Havelund K, Joshi R (2017) Modeling rover communication using hierarchical state machines with scala. In: Computer safety, reliability, and security—SAFECOMP 2017 workshops, LNCS 10489, Springer, Berlin
13.
go back to reference Holzmann Gerard J (1997) The model checker spin. IEEE Trans Softw Eng 23(5):279–295CrossRef Holzmann Gerard J (1997) The model checker spin. IEEE Trans Softw Eng 23(5):279–295CrossRef
14.
go back to reference Havelund K, Peled D (2018) Efficient runtime verification of first-order temporal properties. In: Model checking software—25th international symposium, SPIN 2018, LNCS 10869, Springer, Berlin Havelund K, Peled D (2018) Efficient runtime verification of first-order temporal properties. In: Model checking software—25th international symposium, SPIN 2018, LNCS 10869, Springer, Berlin
16.
go back to reference Kauffman S, Havelund K, Joshi R (2016) nfer—A notation and system for inferring event stream abstractions. In: Runtime verification—16th international conference, RV 2016. LNCS 10012, Springer, Berlin Kauffman S, Havelund K, Joshi R (2016) nfer—A notation and system for inferring event stream abstractions. In: Runtime verification—16th international conference, RV 2016. LNCS 10012, Springer, Berlin
17.
go back to reference Lee, J Davari Ardakani H, Yang S, Bagheri B (2015) Industrial big data analytics and cyber-physical systems for future maintenance and service innovation. Procedia CIRP 38:3–7 Lee, J Davari Ardakani H, Yang S, Bagheri B (2015) Industrial big data analytics and cyber-physical systems for future maintenance and service innovation. Procedia CIRP 38:3–7
18.
go back to reference McIlraith S (1994) Toward a theory of diagnosis, testing and repair. In: Proceedings 5th international workshop on principles of diagnosis McIlraith S (1994) Toward a theory of diagnosis, testing and repair. In: Proceedings 5th international workshop on principles of diagnosis
21.
go back to reference SAP Event Management 9.2, 1.8 edition (2017) SAP Event Management 9.2, 1.8 edition (2017)
23.
go back to reference Singh D, Tripathi G, Jara AJ (2014) A survey of internet-of-things: Future vision, architecture, challenges and services. In: 2014 IEEE World Forum on Internet of Things, WF-IoT 2014. IEEE Singh D, Tripathi G, Jara AJ (2014) A survey of internet-of-things: Future vision, architecture, challenges and services. In: 2014 IEEE World Forum on Internet of Things, WF-IoT 2014. IEEE
24.
go back to reference Wil MP (2013) van der Aalst. A comprehensive survey. ISRN Software Engineering, Business process management Wil MP (2013) van der Aalst. A comprehensive survey. ISRN Software Engineering, Business process management
Metadata
Title
Situational Awareness for Industrial Operations
Authors
Peter Baumgartner
Patrik Haslum
Copyright Year
2021
DOI
https://doi.org/10.1007/978-3-030-60135-5_9