Systemhälsovården är ett viktigt inslag i autonomin, vilket ökar konsekvenskontrollerna, systemets övergripande robusthet och till och med en viss grad av självkännedom. Till synes orelaterat, felsökning och analys av sådana komplexa system är en annan utmaning under utveckling som inte bör underskattas. Vi föreslår att den så kallade körtidens övervakning av relevanta egenskaper och systemkrav är en livskraftig teknik för att stödja båda dessa begrepp. En lämplig övervakningsmetod för ett cyberfysiskt system måste vara effektiv och kunna övervaka olika specifikationer, eventuellt relaterade till olika datakällor och datahistorik. Vi presenterar ett formellt tillvägagångssätt för logganalys och övervakning av DLR ARTIS-ramverket med hjälp av det stream-baserade specifikationsspråket LOLA, som för närvarande är utvecklat vid Saarland University, för körtidskontroll av formella specifikationer. Vi har utvärderat detta tillvägagångssätt genom att specificera relevanta egenskaper som LOLA ström ekvationer. Samtidigt som vi har identifierat ett antal möjliga förbättringar i specifikationsspråket, har vi visat, även med det nuvarande språket, att online och offline övervakning av relevanta egenskaper är verkligen möjligt och ger ingenjörer ett kraftfullt verktyg för felsökning samt genomföra hälsohanteringskoncept.
Forskarna vid German Aerospace Center (DLR) presenterar ett formellt tillvägagångssätt för logganalys och övervakning för DLR ARTIS ramverket för att genomföra intelligent system hälsa management REF.
Towards Intelligent System Health Management using Runtime Monitoring
{'venue': 'AIAA Information Systems-AIAA Infotech @ Aerospace', 'journal': 'AIAA Information Systems-AIAA Infotech @ Aerospace', 'mag_field_of_study': ['Computer Science']}