[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ Skip to main content
Springer Nature Link
Log in

Automotive Post-Collision Control Software System: Requirements and Verification

  • Published:
Programming and Computer Software Aims and scope Submit manuscript

Abstract

There are different types of automotive safety systems focused on crash events. These types could be classified as pre-collision, during-collision, and post-collision systems. Pre-collision systems involve, among others: ABS brake systems, stability control systems. During-collision systems: Airbag systems, seat belt tensioner systems. Its function prevents an impact or minimizes physical occupants’ harm, respectively. The post-collision systems target is focusing on decreasing the period of time between a crash event and assistance’s arrival in order to provide timely assistance. However, while pre-collision systems and during-collision systems are currently in use, post-collision systems have not been thoroughly researched and provide a wide opportunity for the R&D area. In this sense, this paper describes a proposal about how a post-collision system should work and how it could be tested. This paper will firstly show the post-collision control system’s FR and NFR and secondly the requirements’ verification applying a verification language.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (United Kingdom)

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1.
Fig. 2.
Fig. 3.
Fig. 4.
Fig. 5.
Fig. 6.
Fig. 7.
Fig. 8.
Fig. 9.
Fig. 10.
Fig. 11.
Fig. 12.
Fig. 13.
Fig. 14.
Fig. 15.
Fig. 16.

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

REFERENCES

  1. Richters, M. and Gogolla, M., OCL: syntax, semantics, and tools, in Object Modeling with the OCL, Heidelberg, Berlin: Springer, 2002.

    MATH  Google Scholar 

  2. Tenesca, M.G.E. and Ramos, M.A.N., Implementaciyn de un tablero de frenos ABS (Antiblock Brake System) para el laboratorio de la escuela de Ingenierнa Automotriz. (Ingeniero Automotriz), 2012. http://dspace.espoch.edu.ec/handle/123456789/2286#sthash.rrNNzrT8.dpuf.

  3. ISO International Standard no. 26262: Functional Safety for Road Vehicles, Nov. 2011.

  4. Rivero, A.A.L., De sistema mecбnico a sistema tecnolygico completo, El sistema de los automyviles, Universidad Autonoma Metropolitana, 2012. http://scielo.unam.mx/pdf/cya/v59n2/v59n2a2.pdf.

  5. ISO International Standard no. 26262: Functional Safety for Road Vehicles – Scope, Nov. 2011.

  6. Hassan, M.T.Z. and Meguid, S.A., Effect of Seat Belt and Head Restraint on Occupantґs Response during Rear-End Collision, Dordrecht: Springer Science+Business Media, 2017.

  7. Balaraju, S. and Riyazuddin, K., Car post crash analysis and emergency rescue alert system, Int. J. Adv. Res. Comput. Sci. Software Eng., 2016, vol. 6, no. 6.

  8. Canada. Transport Canada. Canadian Motor Vehicle Traffic Collision Statistics 2014 Collected in Cooperation with the Canadian Council of Motor Transport Administrators, 2014.

  9. Elkady, M., Elmarakbi, A., MacIntyre, J., and Alhariri M., Collision mitigation and vehicle transportation safety using integrated vehicle dynamics control systems, J. Traffic Transp. Eng., 2017, vol 4, no. 1, pp. 41–60.

    Google Scholar 

  10. Aly, A.A., Zeidan, E.S., Hamed, A., and Salem, F., An antilock-braking systems (ABS) control: a technical review, Intell. Control Automat., 2010, vol. 2, pp. 186–195. https://doi.org/10.4236/ica.2011.23023

    Article  Google Scholar 

  11. Lie, A., Tingcall, C., Krafft, M., and Kullgren, A., The effectiveness of electronic stability control (ESC) in reducing real life crashes and injuries, Traffic Injury Prev., 2007, vol. 8, no. 4. https://doi.org/10.1080/15389580500346838

  12. Gogolla, M., Büttner, F., and Richters, M., USE: a UML-based specification environment for validating UML and OCL, Sci. Comput. Program., 2007, vol. 69, no. 1–3, pp. 27–34.

    Article  MathSciNet  Google Scholar 

  13. Jackson, D., Software Abstraction: Login, Language, and Analysis, London: Cambridge Univ. Press, 2006.

    Google Scholar 

  14. Ter Beek, M., et al., Formal verification of an automotive scenario in service-oriented computing, Proc. 30th Int. Conf. on Software Engineering, Leipzig, 2008.

  15. Zhang, Yuchao, Guoqi Li, and Juan Zhang, QP based framework for development and formal verification of flight control software of UAV, in Proc. Int. Conf. on Artificial Intelligence and Computational Intelligence, Berlin, Heidelberg: Springer, 2011.

Download references

Author information

Authors and Affiliations

  1. Universidad Popular Autónoma del Estado de Puebla, Engineering Department, Barrio de Santiago, 72410, Puebla, Pue., México

    J. R. Aguilar Cisneros

  2. Technological University of the Mixteca, Computer Science Institute, Acatlima, 69000, Huajuapan de León, Oaxaca, México

    C. A. Fernández-y-Fernández

  3. Universidad Popular Autónoma del Estado de Puebla, Postgraduate Program, Barrio de Santiago, 72410, Puebla, Pue., México

    Genaro de la Rosa García

  4. Technological University of the Mixteca, Postgraduate Studies Division, 69000, Huajuapan de León, Oaxaca, México

    A. León

Authors
  1. J. R. Aguilar Cisneros
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. C. A. Fernández-y-Fernández
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Genaro de la Rosa García
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. A. León
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to J. R. Aguilar Cisneros, C. A. Fernández-y-Fernández, Genaro de la Rosa García or A. León.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Cisneros, J.R., Fernández-y-Fernández, C.A., de la Rosa García, G. et al. Automotive Post-Collision Control Software System: Requirements and Verification. Program Comput Soft 47, 735–745 (2021). https://doi.org/10.1134/S0361768821080065

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0361768821080065

Search

Navigation