Målet med kursen är att angripa de särskilda problem som man stöter på när man konstruerar komplexa inbyggda system. Moderna designmetodiker presenteras med betoning på de tidiga designfaserna, såsom modellering, verifiering och systemnivåsyntes, som inte behandlas av traditionella metoder. Efter avslutad kurs ska studenterna kunna
Tillämpa moderna metoder och verktyg på systemnivå för konstruktion av inbyggda realtidssystem.
Förstå och använda moderna verktyg för modellering, verifiering och simulering på systemnivå.
Tillämpa diverse modelleringstekniker, med en djup förståelse för deras praktiska och teoretiska konsekvenser.
Analysera tillämpningens särskilda egenheter och välja den lämpligaste modelleringstekniken.
Utvärdera konsekvenserna av tagna designbeslut på systemnivå rörande systemarkitektur, schemaläggning och mappning, den slutliga systemprestandan, kostnad och effektförbrukning.
Förstå den komplexa interaktionen mellan hårdvaruarkitektur och mjukvaruimplementering.
Formellt verifiera en systemmodell.
Utforska designrymden med en simuleringsmiljö på systemnivå.
Kursinnehåll
Inbyggda system och hur de konstrueras, designförlopp, specifisering och modellering av inbyggda system, simulering och uppskattning, arkitekturer för inbyggda system, mappning och schemaläggning, effektrelaterade frågor.