Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Empirical Analysis of Strategies Employed Within an ICT Curriculum to Increase the Quantity of Graduates Kapitel lesen Erstes Kapitel lesen

2021 | OriginalPaper | Buchkapitel

Formal Specification and Verification of Timing Behavior in Safety-Critical IoT Systems

verfasst von : Yangli Jia, Zhenling Zhang, Xinyu Cao, Haitao Wang

Erschienen in: Advances in Software Engineering, Education, and e-Learning

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Formal specification and verification of complex IoT systems’ behavior can efficiently improve the systems’ correctness and reliability. This paper presents an enhanced time behavior protocol to specify real-time components’ timed interaction behaviors in IoT systems. The protocol model bound event tokens with time consumption constraint information according to requirements of practical applications, and time-related operators are added into the model language. Visualization and verification method for composited behavior is given. An application example is introduced, and the experimental results show that the enhanced time behavior protocol-based model can be used easily to specify, visualize, and verify IoT systems’ interaction behavior and timing constraint information.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

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!

Jetzt informieren
Vorheriges Kapitel How to Extend Single-Processor Approach to Explicitly Many-Processor Approach
Nächstes Kapitel Introducing Temporal Behavior to Computing Science
Literatur
1.
A. Čolaković, M. Hadžialić, Internet of Things (IoT): A review of enabling technologies, challenges, and open research issues. Comput. Netw. 144, 17–39 (2018)CrossRef
2.
3.
S. Tang, D.R. Shelden, C.M. Eastman, et al., A review of building information modeling (BIM) and the internet of things (IoT) devices integration: Present status and future trends. Autom. Constr. 101(May), 127–139 (2019)CrossRef
4.
5.
D.V. Hung, B.V. Anh, Model checking real-time component based systems with blackbox testing, in Proceedings of IEEE RTCSA’05, Washington, DC, 2005, pp. 76–79
6.
F. Heidarian, J. Schmaltz, F.W. Vaandrager, Analysis of a clock synchronization protocol for wireless sensor networks. Theor. Comput. Sci. 413(1), 87–105 (2012)MathSciNetCrossRef
7.
D.K. Kaynar, N. Lynch, R. Segala, F. Vaandrager, The Theory of Timed 1/O Automata[R] (MIT Laboratory for Computer Science, Cambridge MA, 2004)MATH
8.
L. de Alfaro, T.A. Henzinger, M. Stoelinga, Timed interfaces[C], in Proceedings of the Second International Workshop on Embedded Software, (Springer, Berlin, 2002), pp. 108–122
9.
10.
H. Jifeng, From CSP to hybrid systems, in “A Classical Mind,” Essays in Honour of C.A.R. Hoare, International Series in Computer Science, ed. by A. W. Roscoe, (Prentice Hall, 1994), pp. 171–189
11.
F. Plasil, S. Visnovsky, Behavior protocols for software components. IEEE Trans. Softw. Eng. 28(11), 1056–1076 (2002)CrossRef
12.
L. Brim, I. Cerna, P. Varekova, B. Zimmerova, Component-interaction automata as a verification-oriented component-based system specification. SIGSOFT Software Engineering Notes 31 31(2) (2006)
13.
J. Magee, J. Kramer, Concurrency-State Models and Java Programs (Wiley, 1999)MATH
Metadaten
Titel
Formal Specification and Verification of Timing Behavior in Safety-Critical IoT Systems
verfasst von
Yangli Jia
Zhenling Zhang
Xinyu Cao
Haitao Wang
Copyright-Jahr
2021
Buch
Advances in Software Engineering, Education, and e-Learning

Print ISBN: 978-3-030-70872-6

Electronic ISBN: 978-3-030-70873-3

Copyright-Jahr: 2021

DOI
https://doi.org/10.1007/978-3-030-70873-3_32

Neuer Inhalt

    Bildnachweise