Innovationer för dagens fordonsfunktioner drivs främst av programvara. De inser komfortsystem som automatiserad parkering men också säkerhetssystem där sensorer kontinuerligt övervakar fordonets omgivning för att bromsa autonomt för att undvika kollisioner med bilar, fotgängare eller bicyklister. I simuleringsmiljöer imiteras olika trafiksituationer med alternativa sensorinställningar innan de testas på protetypiska bilar. I detta dokument presenterar vi en MDE-strategi för hantering av olika sensorkonfigurationer i en cyberfysisk systemutvecklingsmiljö för att utnyttja automatiserad modellverifiering, supportsystemtestning och möjliggöra kodgenerering. Modellerna används till exempel som en enda sanningspunkt för att konfigurera och generera sensorkonfigurationer för systemvalidering i en 3D-simuleringsmiljö. Efter valideringen omvandlas en övervägd sensorkonfiguration till en begränsningstillfredsställelsemodell som ska lösas genom det logiska programmeringsspråket Prolog. Baserat på denna omvandling är överensstämmelsen med den inbyggda systemspecifikationen formellt verifierad och möjliga pin-tilldelningar, för hur man ansluter de nödvändiga sensorerna beräknas. Metoden validerades under utvecklingen av ett självkörande minifordon med hjälp av ett STM32F4-baserat inbyggt system som kör realtidsoperativsystemet ChibiOS som gränssnitt för programvara/hårdvara till sensorer och aktörer.
En MDE-strategi för hantering av olika sensorkonfigurationer i en cyberfysisk systemutvecklingsmiljö för att utnyttja automatiserad modellverifiering, supportsystemtestning och aktivera kodgenerering presenteras i REF.
MIDE-based sensor management and verification for a self-driving miniature vehicle
{'venue': "DSM '13", 'journal': None, 'mag_field_of_study': ['Computer Science']}