Vi beskriver utbyggnaden av ett reaktivt programmeringsspråk med ett beteendeavtal konstruerat. Den är inriktad på programplanering av reaktiv kontroll av tillämpningar i inbyggda system och omfattar principer för övervakning av diskreta händelsesystem. Vårt bidrag är i ett språkperspektiv där modulär diskret controllersyntes (DCS) är integrerad, och det konkretiseras i inkapslingen av DCS i en sammanställningsprocess. Från övergångssystem specifikationer av möjliga beteenden, DCS producerar automatiskt regulatorer som gör att det kontrollerade systemet uppfyller egenskapen ges som mål. Våra språkliga funktioner och kompileringsteknik ger korrekthet-för-konstruktion i den bemärkelsen, och förbättrar tillförlitlighet och verifiability. Vår applikationsdomän är anpassningsbara och omkonfigurerbara system: anpassningsmekanismer för slutna kretslopp möjliggör flexibelt utförande av funktioner w.r.t. Ändrade resurs- och miljöförhållanden. Vårt språk kan tjäna programmering sådana anpassningskontroller. I detta dokument beskrivs i synnerhet sammanställningen av språket. Vi presenterar en metod för modulär tillämpning av diskret controller syntes på synkrona program, och dess integrering i BZR språket. Vi anser strukturerade program, som en sammansättning av noder, och först tillämpa DCS på vissa noder av programmet, för att minska komplexiteten i den controller beräkning; sedan tillåter vi abstraktion av delar av programmet för denna beräkning; och slutligen, Vi visar hur man recompose de olika styrenheter som beräknas från olika abstraktioner för deras korrekta samexekvering med det ursprungliga programmet. Vårt arbete illustreras med exempel, och vi presenterar kvantitativa resultat om dess genomförande. Tillstånd att göra digitala eller papperskopior av hela eller delar av detta arbete för personligt bruk eller klassrum beviljas utan avgift, förutsatt att kopiorna inte görs eller distribueras för vinst eller kommersiella fördelar och att kopiorna är försedda med detta meddelande och den fullständiga hänvisningen på första sidan. För att kopiera på annat sätt, för att återpublicera, för att posta på servrar eller för att omfördela till listor, krävs tidigare specifik behörighet och/eller avgift. LCTES'10, april 13-15, 2010, Stockholm, Sverige. Upphovsrätt c 2010 ACM 978-1-60558-953-4/10/04. ... $10.00 Kategorier och ämnesdeskriptorer Vi integrerar diskret styrenhet syntes (DCS) i en modulär sammanställningsprocess för ett synkront språk: BZR, med motiv när det gäller utformningen av programmeringsspråk, användningen av DCS, och kontrollen av anpassningsbara och omkonfigurerbara system. Programmeringsspråk. Vi föreslår en sammanställning som konkret utnyttjar en representation av det dynamiska beteendet i programmet. Klassiskt, sammanställning anser egenskaper som håller för alla stater (dvs. statiskt); men vi föreslår att överväga tillstånd och vägberoende aspekter (dvs. dynamiska) [21]. DCS är en konstruktiv operation, eftersom den inte beräknar en diagnostik om korrekthet, utan en korrekt lösning. Det finns några verk om dess integrering i en ram för programmeringsspråk [4]. Vi associerar det till en avtalsmekanism, vilket gör det lättare att använda av programmerare och gynnar skalbarhet (se vidare). Symmetriskt föreslår vi en ny syn på utformningen av kontraktsprincipen: vårt programmeringsspråk gör det möjligt att verkställa kontrakt i icke-deterministiska program, i stället för att kontrolleras eller bevisas korrekt. Syntetisering av diskret styrenhet. Den modulära tillämpningen av DCS, som vi behandlar i detta dokument, bygger på kontraktstillämpning och abstraktion av komponenter, i syfte att förbättra skalbarheten hos de tekniker som ägnas DCS. Dessutom bidrar integreringen av dessa tekniker i ett programmeringsspråk på hög nivå också till att göra det mer användbart i datorsystem, och till att studera implementeringar av styrenheter på en högre nivå än programmerbara logiska styrenheter som används i automation. Kontroll av anpassningsbara och omkonfigurerbara system. Inbyggda system måste vara förutsägbara när det gäller säkerhetskritiska frågor. De måste också kunna dynamisk anpassningsförmåga och omkonfigurering, i reaktion på miljöförändringar, relaterade till resurser eller pålitlighet. Detta kräver förmågor för att känna av tillståndet i ett system, besluta, baserat på en representation av systemet, vid omkonfigurering åtgärder, och utföra och utföra dem. Dessa funktioner är monterade i en beslutsslinga enligt figur 1 a. Tillvägagångssättet följde i vårt arbete. Vi vill kombinera dessa två olika krav, dvs. att vara anpassningsbara och förutsägbara. Våra 57
Den har integrerats i ett synkront språk som heter BZR REF ].
Contracts for modular discrete controller synthesis
{'venue': "LCTES '10", 'journal': None, 'mag_field_of_study': ['Computer Science']}