Szczegóły publikacji
Opis bibliograficzny
A formal approach for the verification of control systems in autonomous driving applications / Paweł SKRUCH, Marek DŁUGOSZ, Paweł Markiewicz // W: Trends in Advanced Intelligent Control, Optimization and Automation : proceedings of KKA 2017 — the 19th Polish Control Conference, Kraków, Poland, June 18–21, 2017 / eds. Wojciech Mitkowski, [et al.]. — Switzerland : Springer International Publishing, cop. 2017. — (Advances in Intelligent Systems and Computing ; ISSN 2194-5357 ; vol. 577). — ISBN: 978-3-319-60698-9; e-ISBN: 978-3-319-60699-6. — S. 178–189. — Bibliogr. s. 188–189, Abstr.
Autorzy (3)
- AGHSkruch Paweł
- AGHDługosz Marek
- Markiewicz Paweł
Słowa kluczowe
Dane bibliometryczne
| ID BaDAP | 106484 |
|---|---|
| Data dodania do BaDAP | 2017-06-30 |
| DOI | 10.1007/978-3-319-60699-6_18 |
| Rok publikacji | 2017 |
| Typ publikacji | materiały konferencyjne (aut.) |
| Otwarty dostęp |  |
| Wydawca | Springer |
| Konferencja | Krajowa Konferencja Automatyki |
| Czasopismo/seria | Advances in Intelligent Systems and Computing |
Abstract
Control systems in autonomous vehicles can be considered as distributed embedded software systems where independent microprocessor systems communicate together using different communication protocols. Typical autonomous driving functionality is then realised by several microprocessors communicating with each other. Quality assurance and safety standards combined with increasing complexity and reliability demands make the development of such systems challenging. In order to assure the required quality and compliance with safety standards, a formal and methodical approach for testing and verification is required. The paper presents a proposal of such approach for verification and testing of control systems in the automotive applications covering active safety, advanced driver assistance and autonomous driving systems. The main focus of this approach is black-box testing and includes test design, implementation and execution.
