Många inbyggda system är faktiskt Software Based Control Systems (SBCS), det vill säga styrsystem vars styrenhet består av styrprogramvara som körs på en mikrostyrenhet. Detta motiverar utredning av Formell Modellbaserad Design metoder för kontroll programvara. Med tanke på den formella modellen av en anläggning som ett diskret Tid Linjär Hybrid System och genomförandespecifikationerna (dvs. antal bitar i analog-till-digital (AD) konvertering) korrekt-för-konstruktion kontroll programvara kan automatiskt genereras från systemnivå Formella specifikationer av det slutna loop systemet (dvs., säkerhet och levandehet krav), genom att beräkna en lämplig finit abstraktion av anläggningen. När det gäller givna genomförandespecifikationer, den automatiskt genererade koden implementerar en tid optimal kontroll strategi (i termer av set-up tid), har en värsta fall utförande tid linjär i antalet AD bitar b, men tyvärr, dess storlek växer exponentiellt med avseende på b. I många inbyggda system finns det allvarliga begränsningar för beräkningsresurserna (t.ex. minne eller beräkningskraft) tillgängliga för mikrostyrenheter. Detta dokument behandlar modellbaserad syntes av styrprogramvara genom handel systemnivå icke-funktionella krav (t.ex. vi optimal set-up tid, rippel) med programvara icke-funktionella krav (sitt fotavtryck). Våra experimentella resultat visar effektiviteten i vår strategi: för den inverterade pendeln riktmärke, genom att använda en kvantisering schema med 12 bitar, storleken på den lilla regulatorn är mindre än 6% av storleken på tiden optimal en. Design och genomförande av inbäddad programvara, Modell-och komponentbaserad programvara design och analys * Vadim Alimguzhin är också med
Papperet i REF behandlar modellbaserad syntes av styrprogramvara genom handelssystemnivå icke-funktionella krav (t.ex. vi optimal installationstid, krusning) med programvara icke-funktionella krav (sitt fotavtryck, d.v.s. storlek).
On model based synthesis of embedded control software
{'venue': "EMSOFT '12", 'journal': None, 'mag_field_of_study': ['Computer Science']}