Abstract-EAST-ADL är ett arkitektoniskt beskrivande språk tillägnat fordons inbyggda system design, med fokus på strukturella och funktionella modellering. De nuvarande arkitektoniska notationerna saknar stöd för modellering och analys av resursanvändning, och därför är det inte möjligt att resonera om resursbehov. I detta dokument beskriver vi vårt arbete för att fylla gapet mellan EAST-ADL språk och formell modellering och analys av systemets resursanvändning, genom att utöka EAST-ADL språk med inbyggda resurser, såsom lagring, energi, kommunikation och beräkning. För att formalisera detta tillvägagångssätt och ge en grund för noggrann analys visar vi hur man analyserar EAST-ADL-modeller med hjälp av ramen för prissatt tidsinställd automata och viktad CTL. Vi rapporterar våra erfarenheter av att tillämpa detta tillvägagångssätt för att integrera resursmässigt analys i EAST-ADL.
Dessutom har vi i ett dokument nyligen föreslagit en utvidgning av EAST-ADL för modellering och analys av ett systems resursanvändning REF, som vi har analyserat utförligt med UPAAL.
Extending EAST-ADL for Modeling and Analysis of System's Resource-Usage
{'venue': '2012 IEEE 36th Annual Computer Software and Applications Conference Workshops', 'journal': '2012 IEEE 36th Annual Computer Software and Applications Conference Workshops', 'mag_field_of_study': ['Computer Science']}