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:
Information Flow for Timed Automata Kapitel lesen Erstes Kapitel lesen

2017 | OriginalPaper | Buchkapitel

Assertion-Based Reasoning Method for Calculus of Wireless System

verfasst von : Luyao Wang, Wanling Xie, Huibiao Zhu

Erschienen in: Models, Algorithms, Logics and Tools

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

Wireless technology has been widely used in various wireless network scenarios and applications. To model and analyze wireless systems, a calculus of wireless system called CWS has been introduced. In this paper, we put forward an assertion-based reasoning method for this calculus in order to support the verification of the correctness and some interesting properties of wireless system. To simplify the complexity of verification, we first present the assertion-based verification rules for processes separately. Due to the features of wireless system (e.g., broadcast, synchrony, interference), cooperation rules are introduced to combine the processes into a complete system. Finally, there is a case study about using our method to analyze and prove the correctness of Stop-and-Wait ARQ Protocol as well as some properties.

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 Syntactic Markovian Bisimulation for Chemical Reaction Networks
Nächstes Kapitel Taming Living Logic Using Formal Methods
Literatur
1.
Willig, A., Matheus, K., Wolisz, A.: Wireless technology in industrial networks. Proc. IEEE 93(6), 1130–1151 (2005)CrossRef
2.
Fratu, O., Pejanovic-Djurisic, M., Poulkov, V., Gavrilovska, L.: Introduction to special issue “current trends in information and communications technology”. Wireless Pers. Commun. 87(3), 615–617 (2016)CrossRef
3.
4.
Lanese, I., Sangiorgi, D.: An operational semantics for a calculus for wireless systems. Theor. Comput. Sci. 411(19), 1928–1948 (2010)MathSciNetCrossRefMATH
5.
6.
7.
Nanz, S., Hankin, C.: Formal security analysis for ad-hoc networks. Electr. Notes Theor. Comput. Sci. 142, 195–213 (2006)CrossRefMATH
8.
Apt, K.R., de Boer, F.S., Olderog, E.: Verification of sequential and concurrent programs. In: Apt, K.R., de Boer, F.S., Olderog, E. (eds.) Texts in Computer Science. Springer, Heidelberg (2009)
9.
Xu, Q., de Roever, W.P., He, J.: The rely-guarantee method for verifying shared variable concurrent programs. Formal Asp. Comput. 9(2), 149–174 (1997)CrossRefMATH
10.
Goguen, H.: Soundness of the logical framework for its typed operational semantic. In: Girard, J.-Y. (ed.) TLCA 1999. LNCS, vol. 1581, pp. 177–197. Springer, Heidelberg (1999). doi:10.​1007/​3-540-48959-2_​14 CrossRef
11.
Mezzetti, N., Sangiorgi, D.: Towards a calculus for wireless systems. Electr. Notes Theor. Comput. Sci. 158, 331–353 (2006)CrossRefMATH
12.
Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576–580 (1969)CrossRefMATH
13.
Gallier, J.: Mathematical reasoning, proof principles, and logic. In: Gallier, J. (ed.) Discrete Mathematics. Springer, New York (2011)CrossRef
14.
De Vuyst, S., Tworus, K., Wittevrongel, S., Bruneel, H.: Analysis of stop-and-wait ARQ for a wireless channel. 4OR 7(1), 61–78 (2008)MathSciNetCrossRefMATH
15.
Wu, J., Fan, P.: A survey on high mobility wireless communications: challenges, opportunities and solutions. IEEE Access 4, 450–476 (2016)CrossRef
16.
Wu, X., Zhu, H., Wu, X.: Observation-oriented semantics for calculus of wireless systems. In: Naumann, D. (ed.) UTP 2014. LNCS, vol. 8963, pp. 105–124. Springer, Cham (2015). doi:10.​1007/​978-3-319-14806-9_​6
17.
Hoare, C.A.R.: Algebra of concurrent programming. In: Meeting 52 of WG 2.3. (2011)
Metadaten
Titel
Assertion-Based Reasoning Method for Calculus of Wireless System
verfasst von
Luyao Wang
Wanling Xie
Huibiao Zhu
Copyright-Jahr
2017
Buch
Models, Algorithms, Logics and Tools

Print ISBN: 978-3-319-63120-2

Electronic ISBN: 978-3-319-63121-9

Copyright-Jahr: 2017

DOI
https://doi.org/10.1007/978-3-319-63121-9_24