Abstrakt. Anpassning är viktig i tillförlitliga inbyggda system för att klara av förändrade miljöförhållanden. Anpassningen komplicerar dock avsevärt systemutformningen och innebär nya utmaningar för systemets korrekthet. Vi föreslår en integrerad modellbaserad utvecklingsstrategi som underlättar intuitiv modellering samt formell verifiering av dynamiskt anpassningsbeteende. Våra modelleringskoncept underlättar specifikationen av anpassningsbeteendet och förbättrar utformningen av adaptiva inbyggda system genom att dölja den ökade komplexiteten för utvecklaren. Baserat på en formell ram för att representera anpassningsbeteende gör vår strategi det möjligt att använda teorembevisning, modellkontroll och specialiserade verifieringstekniker för att bevisa egenskaper som är karakteristiska för adaptiva system såsom stabilitet.
Arbetet i REF ger en modellbaserad utvecklingsstrategi för adaptiva inbyggda system där anpassningsbeteendet är strikt åtskilt från funktionellt beteende.
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
{'venue': 'In Proc. of ICFEM 2007', 'journal': None, 'mag_field_of_study': ['Computer Science']}