Skip to main content

2016 | OriginalPaper | Buchkapitel

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

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

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.

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!

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!

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!

Literatur
1.
Zurück zum Zitat 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 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.
Zurück zum Zitat 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) 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.
Zurück zum Zitat Hamouda, O., Kaaniche, M., Kanoun, K.: Safety modeling and evaluation of automated highway systems. In: DSN, pp. 73–82. IEEE (2009) Hamouda, O., Kaaniche, M., Kanoun, K.: Safety modeling and evaluation of automated highway systems. In: DSN, pp. 73–82. IEEE (2009)
4.
Zurück zum Zitat 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 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.
Zurück zum Zitat 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 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.
Zurück zum Zitat 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 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.
Zurück zum Zitat 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 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.
Zurück zum Zitat 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 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.
Zurück zum Zitat 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) 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.
Zurück zum Zitat 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) 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.
Zurück zum Zitat 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 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.
Zurück zum Zitat Laprie, J.C., Avizienis, A., Kopetz, H. (eds.): Dependability: Basic Concepts and Terminology. Springer-Verlag New York Inc., Secaucus (1992) Laprie, J.C., Avizienis, A., Kopetz, H. (eds.): Dependability: Basic Concepts and Terminology. Springer-Verlag New York Inc., Secaucus (1992)
13.
Zurück zum Zitat 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) 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)
Metadaten
Titel
Modeling and Analysis of Vehicles Platoon Safety in a Dynamic Environment Based on GSPN
verfasst von
Mohamed Garoui
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-39429-9_29