short-paper

Ensuring the Reliability of an Autonomous Vehicle: A Formal Approach based on Component Interaction Protocols

Authors:

MSWiM '17: Proceedings of the 20th ACM International Conference on Modelling, Analysis and Simulation of Wireless and Mobile Systems

Pages 317 - 321

https://doi.org/10.1145/3127540.3127581

Published: 21 November 2017 Publication History

Get Access

Abstract

In automotive applications, several components, offering different services, can be composed in order to handle one specific task (autonomous driving for example). Nevertheless, component composition is not straightforward and is subject to the occurrence of bugs resulting from components or services incompatibilities for instance. Hence, bugs detection in component-based systems at the design level is very important, particularly, when the developed system concerns automotive applications supporting critical services. In this paper, we propose a formal approach for modeling and verifying the reliability of an autonomous vehicle system, communicating continuously with off-road infrastructure. We focus on components offering critical services with hard time constraint defining the delay of their availability. We propose to verify whether a set of components, when composed according to the system architecture specified with SysML models, achieve their tasks by respecting their interaction protocols and their time constraints.

References

[1]

L. Alfaro and T. A. Henzinger. 2001. Interface Automata. In 9th Annual Symposium on Foundations of Software Engineering, FSE. ACM Press, 109--120.

Digital Library

Google Scholar

[2]

R. Reussner an H. Schmidt and I. Poernomo. 2003. Reliability Prediction for Component-based Software Architectures. Journal of Systems and Software 65, 3 (2003).

Google Scholar

[3]

S. Bernardi, F. Flammini, S. Marrone, N. Mazzocca, J. Merseguer, R. Nardone, and V. Vittorini. 2013. Enabling the usage of UML in the verification of railway systems: The DAM-rail approach. Reliability Engineering System Safety 120 (2013), 112--126. https://doi.org/10.1016/j.ress.2013.06.032

Crossref

Google Scholar

[4]

Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, and Mariëlle Stoelinga. 2003. Resource Interfaces. In EMSOFT. 117--133.

Crossref

Google Scholar

[5]

Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, and Andrzej Wasowski. 2010. Timed I/O automata: a complete specification theory for real-time systems. In HSCC'10. 91--100.

Digital Library

Google Scholar

[6]

Luca de Alfaro, Thomas A. Henzinger, and Mariëlle Stoelinga. 2002. Timed Interfaces. In EMSOFT. 108--122.

Google Scholar

[7]

D. Hamlet, D. Mason, and D. Woit. 2001. Theory of Software Reliability Based on Components. In Proceedings of in ICSE 2001. IEEE Computer, 2001.

Crossref

Google Scholar

[8]

Thomas A. Henzinger. 2006. An interface algebra for real-time components. In In Proc. of IEEE Real-Time Technology and Applications Symposium. Society Press, 253--263.

Digital Library

Google Scholar

[9]

Gerard J. Holzmann. 1997. The Model Checker SPIN. Software Engineering, IEEE Transactions on 23 (May 1997), 279--295. Issue 5.

Google Scholar

[10]

Object Management Group. 2015. OMG Systems Modeling Language Specification (SysML), version 1.4. http://www.omg.org/spec/SysML/1.4/.

Google Scholar

[11]

C. Szyperski. 1999. Component Software. ACM Press, Addison-Wesley.

Google Scholar

[12]

Tichakorn Wongpiromsarn. 2010. Formal Methods for Design and Verification of Embedded Control Systems: Application to an Autonomous Vehicle. Ph.D. Dissertation. California Institute of Technology.

Google Scholar

Cited By

View all

Chouali SBoukerche AMostefaoui AMerzoug M(2023)Ensuring the Compatibility of Autonomous Electric Vehicles Components Through a Formal Approach Based on Interaction ProtocolsIEEE Transactions on Vehicular Technology10.1109/TVT.2022.320933972:2(1530-1544)Online publication date: Feb-2023
https://doi.org/10.1109/TVT.2022.3209339
Huang ZSun PBoukerche A(2022)Towards A Practical Pedestrian Detection Method for Supporting Autonomous DrivingICC 2022 - IEEE International Conference on Communications10.1109/ICC45855.2022.9839149(1506-1511)Online publication date: 16-May-2022
https://doi.org/10.1109/ICC45855.2022.9839149
Gu RMarinescu RSeceleanu CLundqvist KGnesi SPlat NSpoletini PPelliccione P(2018)Formal verification of an autonomous wheel loader by model checkingProceedings of the 6th Conference on Formal Methods in Software Engineering10.1145/3193992.3193999(74-83)Online publication date: 2-Jun-2018
https://dl.acm.org/doi/10.1145/3193992.3193999

Index Terms

Ensuring the Reliability of an Autonomous Vehicle: A Formal Approach based on Component Interaction Protocols
1. Computer systems organization
  1. Dependable and fault-tolerant systems and networks
    1. Reliability
  2. Embedded and cyber-physical systems
    1. Embedded systems
      1. Embedded software
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Formal software verification

Recommendations

Secure service discovery protocol for intelligent transport systems: proof of correctness
DIVANet '11: Proceedings of the first ACM international symposium on Design and analysis of intelligent vehicular networks and applications

Intelligent Transportation Systems (ITS) have attracted many researchers that invested a lot of effort to develop many applications mainly for vehicular systems. Existing and investigated applications in vehicular systems are classified in two folds: ...
Towards a balanced and reliable localization of services in heterogeneous vehicular ad hoc networks
Q2SWinet '11: Proceedings of the 7th ACM symposium on QoS and security for wireless and mobile networks

Recent studies on service discovery protocols in vehicular networks have shown promising results. However, very little work has been reported on how to integrate the fault tolerance and QoS features into service discovery protocols. These features are ...
The Exploration of Autonomous Vehicle Driving Styles: Preferred Longitudinal, Lateral, and Vertical Accelerations
Automotive'UI 16: Proceedings of the 8th International Conference on Automotive User Interfaces and Interactive Vehicular Applications

This paper describes a new approach in exploring preferred driving styles for autonomous vehicles through simulation of autonomous driving in real road conditions. A Wizard experiment with an equipped car was conducted to investigate the preferences of ...

Comments

Information & Contributors

Information

Published In

MSWiM '17: Proceedings of the 20th ACM International Conference on Modelling, Analysis and Simulation of Wireless and Mobile Systems

November 2017

340 pages

ISBN:9781450351621

DOI:10.1145/3127540

General Chair:
Antonio Loureiro
Federal University of Minas Gerais, Brazil
,
Program Chairs:
Hsiao-Chun Wu
Louisiana State University, USA
,
Richard Yu
Carleton University, Canada

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 November 2017

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Short-paper

Conference

MSWiM '17

Sponsor:

SIGSIM

MSWiM '17: 20th ACM Int'l Conference on Modelling, Analysis and Simulation of Wireless and Mobile Systems

November 21 - 25, 2017

Florida, Miami, USA

Acceptance Rates

MSWiM '17 Paper Acceptance Rate 29 of 142 submissions, 20%;

Overall Acceptance Rate 398 of 1,577 submissions, 25%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
121
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)1

Reflects downloads up to 10 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Chouali SBoukerche AMostefaoui AMerzoug M(2023)Ensuring the Compatibility of Autonomous Electric Vehicles Components Through a Formal Approach Based on Interaction ProtocolsIEEE Transactions on Vehicular Technology10.1109/TVT.2022.320933972:2(1530-1544)Online publication date: Feb-2023
https://doi.org/10.1109/TVT.2022.3209339
Huang ZSun PBoukerche A(2022)Towards A Practical Pedestrian Detection Method for Supporting Autonomous DrivingICC 2022 - IEEE International Conference on Communications10.1109/ICC45855.2022.9839149(1506-1511)Online publication date: 16-May-2022
https://doi.org/10.1109/ICC45855.2022.9839149
Gu RMarinescu RSeceleanu CLundqvist KGnesi SPlat NSpoletini PPelliccione P(2018)Formal verification of an autonomous wheel loader by model checkingProceedings of the 6th Conference on Formal Methods in Software Engineering10.1145/3193992.3193999(74-83)Online publication date: 2-Jun-2018
https://dl.acm.org/doi/10.1145/3193992.3193999

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Secure service discovery protocol for intelligent transport systems: proof of correctness

Towards a balanced and reliable localization of services in heterogeneous vehicular ad hoc networks

The Exploration of Autonomous Vehicle Driving Styles: Preferred Longitudinal, Lateral, and Vertical Accelerations

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Secure service discovery protocol for intelligent transport systems: proof of correctness

Towards a balanced and reliable localization of services in heterogeneous vehicular ad hoc networks

The Exploration of Autonomous Vehicle Driving Styles: Preferred Longitudinal, Lateral, and Vertical Accelerations

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Get Access

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations