|
| volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 1 van 12 gevonden artikelen
| Titel: |
Automatic software verification for robotics |
| Auteur: |
Mantovani, Jacopo |
| Verschenen in: |
AI communications |
| Paginering: | Jaargang 21 (2008) nr. 4 pagina's 263-264 |
| Jaar: |
2008-12-16 |
| Inhoud: |
This thesis investigates the application of novel software verification techniques to robotic systems. Control software lies at the core of these systems, and its complexity poses several challenges to the verification task, among which the intensive use of numeric values and constraints, and the manipulation of data structures. This thesis puts forward a Model Checking procedure specifically targeted for control software that manipulates numeric values, arithmetic constraints, and data structures such as arrays and matrices. It also demonstrates the effectiveness of this procedure in practice, when applied to robotic systems. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 1 van 12 gevonden artikelen
| volgende >> |