| 1. |
- Mallozzi, Piergiuseppe, 1990, et al.
(författare)
-
Formal verification of the on-the-fly vehicle platooning protocol
- 2016
-
Ingår i: Lecture Notes in Computer Science - Proceedings of the International Workshop on Software Engineering for Resilient Systems (Serene 2016). - Cham : Springer International Publishing. - 0302-9743 .- 1611-3349. - 9783319458915
-
Konferensbidrag (refereegranskat)abstract
- Future transportation systems are expected to be Systems of Systems (SoSs) composed of vehicles, pedestrians, roads, signs and other parts of the infrastructure. The boundaries of such systems change frequently and unpredictably and they have to cope with different degrees of uncertainty. At the same time, these systems are expected to function correctly and reliably. This is why designing for resilience is becoming extremely important for these systems. One example of SoS collaboration is the vehicle platooning, a promising concept that will help us dealing with traffic congestion in the near future. Before deploying such scenarios on real roads, vehicles must be guaranteed to act safely, hence their behaviour must be verified. In this paper, we describe a vehicle platooning protocol focusing especially on dynamic leader negotiation and message propagation. We have represented the vehicles behaviours with timed automata so that we are able to formally verifying the correctness through the use of model checking.
|
|
| 2. |
- Pelliccione, Patrizio, 1975, et al.
(författare)
-
A proposal for an Automotive Architecture Framework for Volvo Cars
- 2016
-
Ingår i: Workshop on Automotive Systems/Software Architectures (WASA), Venice, Italy, April 05-08, 2016. - 9781509025718 ; , s. 18-21
-
Konferensbidrag (refereegranskat)abstract
- © 2016 IEEE. During the past twenty years vehicles have become more and more robot like, interpreting and exploiting input from various sensors to make decisions and finally commit actions that were previously made by humans. Such features will require continuous evolution and updates to ensure safety, security, and suitability for supporting drivers in an ever changing world. Modern vehicles can have over 100 Electronic Control Units (ECUs), which are small computers, together executing gigabytes of software. ECUs are connected to each other through severalnetworks within the car, and in some cases also to the outside world. This need for addressing ever increasing complexity as well as for offering flexibility, support of continuous evolution, and very late changes in user visible features introduces new challenges for developing and maintaining a suitable electronic architecture. In this paper we report the current investigation of the Volvo Cars to create an architecture framework tailored to the needs of future vehicles.
|
|
