Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Enabling Self-adaptive Workflows for Cyber-physical Systems Read chapter Read first chapter

2016 | OriginalPaper | Chapter

Modeling and Analysis of Vehicles Platoon Safety in a Dynamic Environment Based on GSPN

Author : Mohamed Garoui

Published in: Enterprise, Business-Process and Information Systems Modeling

Publisher: Springer International Publishing

Log in

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

search-config
loading …

Abstract

Throughout the transport system mission, the system and its environment can be in an unsafe state that are can be caused by a set of disturbing events which can be internal or external. To avoid this unsafe state, it is necessary to studying the vehicles platoon safe in order to identify the factors that have an important impact on platoon safe. Many researches have been conducted to study the safety of the smart vehicles platoon in their environment. In this paper, our aim is to propose a formal model based on Generalized Stochastic Petri Nets models for modeling and analyzing the impact of same factors on the system safety. Within this context, same results are obtained by evaluate the vehicles platoon safety according to the factors: the number of faulty vehicles per platoon, the failure rate in the system and appearance frequency of external perturbation.

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!

inform now

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!

inform now

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!

inform now
previous chapter How Cognitively Effective is a Visual Notation? On the Inherent Difficulty of Operationalizing the Physics of Notations
next chapter Use Case Diagrams for Mobile and Multi-channel Information Systems: Experimental Comparison of Colour and Icon Annotations
Footnotes
Literature
1.
de Albuquerque, G.A., Maciel, P.R.M., Lima, R.M.F., Zimmermann, A.: Automatic modeling for performance evaluation of inventory and outbound distribution. IEEE Trans. Syst. Man Cybern. Part A 40(5), 1025–1044 (2010)CrossRef
2.
Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets, 1st edn. John Wiley and Sons Inc., New York (1994)
3.
Hamouda, O., Kaaniche, M., Kanoun, K.: Safety modeling and evaluation of automated highway systems. In: DSN, pp. 73–82. IEEE (2009)
4.
Gharbi, N., Dutheillet, C., Ioualalen, M.: Colored stochastic petri nets for modelling and analysis of multiclass retrial systems. Math. Comput. Model. 49(78), 1436–1448 (2009)CrossRef
5.
Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed colored nets and symmetric modeling applications. IEEE Trans. Comput. 42(11), 1343–1360 (1993)CrossRef
6.
Yuanchun, Y., Haoxue, L., Yong, Z.: Evaluation emergency transport performances in response for hazardous materials road transportation accident based on spn: a case of jiangsu. In: 2010 International Conference on Optoelectronics and Image Processing (ICOIP), vol. 1, pp. 509–513, November 2010
7.
Chen, L., jun Jiang, C., Fang, Y., Liu, F.: Performance evaluation of ad hoc networks based on spn. In: Proceedings of the 2005 International Conference on Wireless Communications, Networking and Mobile Computing, vol. 2, pp. 816–819, September 2005
8.
Bozzano, M., Cimatti, A., Katoen, J.P., Nguyen, V.Y., Noll, T., Roveri, M.: Safety, dependability and performance analysis of extended aadl models. Comput. J. 54(5), 754–775 (2011)CrossRef
9.
El Zaher, M.: Approche reactive pour la conduite en convoi des vehicules autonomes: Modelisation et verification. Ph.D. thesis, Université de Technologie de Belfort-Montbeliard (2013)
10.
Bensalem, S., Ganesh, V., Lakhnech, Y., Munoz, C., Owre, S., Rue, H., Rushby, J., Rusu, V., Saidi, H., Shankar, N., Singerman, E., Tiwari, A.: An overview of sal (2000)
11.
Haddad, S., Mairesse, J., Nguyen, H.-T.: Synthesis and analysis of product-form petri nets. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol. 6709, pp. 288–307. Springer, Heidelberg (2011)CrossRef
12.
Laprie, J.C., Avizienis, A., Kopetz, H. (eds.): Dependability: Basic Concepts and Terminology. Springer-Verlag New York Inc., Secaucus (1992)
13.
Contet, J., Derutin, J., Koukam, A., Gruer, P.: Projet anr- 10-vptt-011, safeplatoon, prsentation des scnarii, livrable d41. Technical report, Rapport de recherche, IRTES-SeT, UTBM (2012)
Metadata
Title
Modeling and Analysis of Vehicles Platoon Safety in a Dynamic Environment Based on GSPN
Author
Mohamed Garoui
Copyright Year
2016
Book
Enterprise, Business-Process and Information Systems Modeling

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

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

Copyright Year: 2016

DOI
https://doi.org/10.1007/978-3-319-39429-9_29

Premium Partner

    Image Credits