SYSTEM DESIGN skiljer sig radikalt från ren programvarudesign genom att det inte bara måste ta hänsyn till funktionella krav utan också till extrafunktionella krav när det gäller användning av plattformsresurser för utförande, såsom tid, minne och energi. Att uppfylla extrafunktionella krav är viktigt i inbäddad systemdesign och kräver utvärdering av hur designval påverkar övergripande systembeteende. Det innebär också en djup förståelse för hur applikationsprogramvaran interagerar med den underliggande exekveringsplattformen. Ändå systemdesigners saknar för närvarande rigorösa tekniker för att härleda globala modeller av ett givet system från modeller av dess tillämpningsprogram och exekveringsplattform. Vi definierar ett rigoröst designflöde som en som garanterar väsentliga systemegenskaper. De flesta befintliga designflöden som strävar efter detta mål privilegierar en unik programmeringsmodell och associerar den med en samlingskedja som är anpassad för en given utförandemodell. Till exempel, synkron systemdesign bygger på synkrona programmeringsmodeller och vanligtvis riktar hårdvara eller sekventiella implementationer på enstaka processorer. 1 Alternativt, realtid programmering, baserat på schemaläggning teori för periodiska uppgifter, mål dedikerade realtid multitasking plattformar. 2 På Verimag Laboratory har vi utvecklat beteende, interaktion, prioritet (BIP) komponentramverk för att stödja en rigorös systemdesign flöde. BIP-ramverket är • modellbaserat och beskriver all programvara och alla system enligt en enda semantisk modell. Detta bibehåller flödets övergripande samstämmighet genom att garantera att en beskrivning i steg n+1 uppfyller väsentliga egenskaper hos en beskrivning i steg n.
BIP (Behavior Interaktion Priority) REF tillåter rigorös utformning av komplexa komponentbaserade system.
Rigorous Component-Based System Design Using the BIP Framework
{'venue': 'IEEE Software', 'journal': 'IEEE Software', 'mag_field_of_study': ['Computer Science']}