ABSTRACT I ett elkraftsystem för luftfartyg aktiverar en eller flera kontrollenheter en uppsättning elektromekaniska strömbrytare för att dynamiskt fördela kraft från generatorer till laster, samtidigt som de uppfyller kraven på säkerhet, tillförlitlighet och realtidsprestanda. För att minska de dyra ombyggnadsstegen tas detta kontrollproblem i allmänhet upp genom mindre gradvisa förändringar utöver de konsoliderade lösningarna. Ett mer systematiskt tillvägagångssätt hindras av brist på noggranna designmetoder som gör det möjligt att uppskatta effekterna av tidigare designbeslut på det slutliga genomförandet. För att uppnå ett optimalt genomförande som uppfyller en uppsättning krav föreslår vi en plattformsbaserad metod för konstruktion av elkraftsystem, vilket möjliggör oberoende implementering av systemtopologi (dvs. sammankoppling mellan element) och kontrollprotokoll med hjälp av en kompositionsstrategi. I vårt flöde, design utrymme prospektering utförs som en sekvens av förfining steg från den ursprungliga specifikationen mot en slutlig implementering genom att kartlägga högre nivå beteende-och prestandamodeller i en uppsättning av antingen befintliga eller virtuella bibliotek komponenter på den lägre nivån av abstraktion. Specifikationer uttrycks först med hjälp av formalismer linjär temporal logik, signal temporal logik, och aritmetiska begränsningar på booleska variabler. För att resonera om olika krav använder vi specialiserade analys- och syntesramar och formulerar garantikontrakt vid artikulationspunkterna i designflödet. Vi visar effektiviteten i vår strategi för en proof-of-concept elkraftsystem design. INDEX TERMS Designmetodik, designautomation, flygplan, kraftsystem, reglersystemsyntes, kontraktsbaserad design, plattformsbaserad design, cyberfysiska system.
Särskilt har vi nyligen föreslagit en metod för systemnivå design av ett flygplan elkraftsystem, som bygger på en formalisering av konstruktionskraven med hjälp av kontrakt som uttrycks i termer av temporal logik konstruktioner och blandade heltal-linjära begränsningar REF.
A Contract-Based Methodology for Aircraft Electric Power System Design
{'venue': 'IEEE Access', 'journal': 'IEEE Access', 'mag_field_of_study': ['Computer Science']}