Automotive Post-Collision Control Software System: Requirements and Verification

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.