Modeldrevet, komponentbaseret udvikling af indlejret software
|
Målgruppe: Softwareudviklere, der ønsker at udvikle deres kompetencer omkring metoder til udvikling af indlejret software. |
Undervisningsform: I hvert enkeltfag er der tre 1-dages seminarer. Herudover arbejder deltagerne med mindre opgaver og et miniprojekt inden for fagets emne. Mellem seminarerne er der kontakt mellem deltagere og undervisere via mail. |
Denne fagpakke har fokus på videregående metoder og teknikker til udvikling af indlejret software herunder sikring af systemers korrekthed og robusthed – med særlig vægt på anvendelse af en model- og komponentbaseret tilgang.
Fagpakken består af tre enkeltfag, der behandler disse aspekter fra forskellige vinkler:
- Modelbaseret analyse og design af indlejret software – herunder modeldrevet udvikling og brug af modelleringsværktøjer.
- Test og verifikation af indlejret software – herunder automatiseret test og verifikation af real-tids egenskaber samt risikovurdering.
- Metoder og teknikker til robusthed – herunder arkitekturens betydning for systemers robusthed og testbarhed.
Indlejret software karakteriseres som software, der primært har til opgave at reagere på stimuli fra deres omgivelser. En sådan omgivelse vil som oftest være givet ved en række tekniske komponenter, og formålet med softwaren vil typisk være at overvåge og regulere omgivelsens tilstand. Indlejret software er endvidere karakteriseret ved at have mange design constraints/krav og begrænsede ressourcer (real-tid, cpu, lager, energi), som medfører høj kompleksitet i kravsanalysen.
Gennem introduktion af relevante metoder, teknikker og værktøjer bliver du som deltager i fagpakken i stand til selvstændigt at udvikle og validere indlejret software, der varetager ikke-trivielle styringsopgaver på en sådan måde, at det er robust over for fejl i de enkelte komponenter. I hvert enkeltfag vil der blive arbejdet med praksis gennem et miniprojekt, der meget gerne må tage udgangspunkt i konkrete problemstillinger fra deltagernes egne erfaringer og praksis. Herved skabes der mulighed for, at deltagerne kan reflektere over og udvikle egen praksis.
Som deltager på denne fagpakke opnår du et detaljeret kendskab til metoder og teknikker til udvikling, design og implementering af indlejret software samt til metoder og teknikker til sikring af systemers korrekthed og robusthed. Emnerne bliver præsenteret ud fra en model- og komponentbaseret tilgang, og der gives en grundlæggende introduktion til modeldrevet arkitektur, da denne p.t. er det bedste bud på, hvordan den hastigt voksende systemkompleksitet kan håndteres.
Efter gennemførelse af fagpakken er det målet, at deltagerne kan:
- selvstændigt og metodisk specificere og analysere krav til indlejret software med anvendelse af en modelbaseret tilgang,
- selvstændigt og metodisk udforme design af indlejret software med en modeldrevet arkitektur,
- validere og verificere design og implementation af indlejret software med anvendelse af modelbaserede udviklingsværktøjer,
- selvstændigt fortsætte egen kompetenceudvikling og specialisering inden for indlejret software,
- vurdere hensigtsmæssigheden af forskellige metoder for analyse og design af indlejret software.
Diplomuddannelse i softwarekonstruktion, bacheloruddannelse i datalogi eller tilsvarende samt efterfølgende to års relevant erhvervserfaring.
Har du ikke en af de adgangsgivende uddannelser, kan du søge om optagelse efter individuel vurdering.
Praktisk erfaring i indlejret software vil være en fordel.
Enkeltfag
| Titel | Periode | Kr. | ECTS | Ansøg |
|---|---|---|---|---|
| Modelbaseret analyse og design af indlejret software | Ikke fastlagt | Ikke fastlagt | 5 | AAU |
|
Udbyder:
Aalborg Universitet
Faget beskæftiger sig med:
Fagets mål er at gøre deltagerne i stand til selvstændigt at anvende modelbaserede metoder og teknikker til analyse og design af indlejrede systemer – herunder objektorienterede teknikker. Efter gennemførelse af enkeltfaget har deltagerne færdigheder i at:
Endvidere vil deltagerne kunne redegøre for tidssvarende modelleringsteknikker og selvstændigt kunne vurdere deres egnethed i konkrete problemstillinger. Deltagerne opbygger praktisk erfaring gennem et miniprojekt. Undervisningen gennemføres i en kombination af seminarer, opgaveløsning og mailkommunikation. Deltagerne udarbejder et miniprojekt inden for fagets emne og dokumenterer det i en rapport. Projektet kan udføres individuelt eller i mindre grupper. Individuel, intern prøve med udgangspunkt i en mundtlig fremlæggelse af projektrapporten fra miniprojektet. Der gives karakter efter 7-trins-skalaen. |
||||
| Test og verifikation af indlejret software | Ikke fastlagt | Ikke fastlagt | 5 | AAU |
|
Udbyder:
Aalborg Universitet
Faget beskæftiger sig med:
Fagets mål er, at deltagerne bliver i stand til selvstændigt at anvende moderne metoder og teknikker til automatiseret test og verifikation af indlejret software. Efter gennemførelse af enkeltfaget har deltagerne færdigheder i at:
Endvidere vil deltagerne kunne redegøre for moderne teknikker og værktøjer og test og selvstændigt vurdere deres egnethed i konkrete problemstillinger. Undervisningen gennemføres i en kombination af seminarer, opgaveløsning og mailkommunikation. Deltagerne udarbejder et miniprojekt inden for fagets emne og dokumenterer det i en rapport. Projektet kan udføres individuelt eller i mindre grupper. Individuel, intern prøve med udgangspunkt i en mundtlig fremlæggelse af projektrapporten fra miniprojektet. Der gives karakter efter 7-trins-skalaen. |
||||
| Metoder og teknikker til robusthed | Ikke fastlagt | Ikke fastlagt | 5 | AAU |
|
Udbyder:
Aalborg Universitet
Faget beskæftiger sig med:
Fagets mål er at gøre deltagerne i stand til selvstændigt at anvende metoder og teknikker til sikring af indlejrede systemers pålidelighed og robusthed. Efter gennemførelse af enkeltfaget har deltagerne færdigheder i at:
Endvidere vil deltagerne kunne redegøre for moderne metoder og teknikker til pålidelighed og robusthed samt selvstændigt vurdere deres egnethed i konkrete problemstillinger. Undervisningen gennemføres i en kombination af seminarer, opgaveløsning og mailkommunikation. Deltagerne udarbejder et miniprojekt inden for fagets emne og dokumenterer det i en rapport. Projektet kan udføres individuelt eller i mindre grupper. Individuel, ekstern prøve med udgangspunkt i en mundtlig fremlæggelse af projektrapport. Der gives karakter efter 7-trins-skalaen. |
||||
Praktisk information
Særlige bemærkninger
Der er p.t. ikke fastlagt tidspunkt for udbud af fagpakken.
Kontakt it-vest, hvis du er interesseret.
Vejledning
Faglig vejledning:
Lektor Arne Skou
E-mail: ask(at)cs.aau.dk
Tlf: 9940 8851
Praktisk vejledning:
Kontorfuldmægtig Maj-Britt Skovhus
Master i it-sekretariatet, Aalborg Universitet
E-mail: mbs(at)learning.aau.dk
Tlf: 9940 3064
Fagpakkekombinationer
Fagpakker værd at overveje:
Interaktionsdesign og usability-evaluering, Aalborg Universitet.
Interaktionsdesign og usability er vigtige konkurrenceparametre, når brugerne skal vælge, hvilket softwaresystem de vil købe. Fagpakken har fokus på interaktionsdesign og usability-evaluering af digitale produkter og systemer.
Den gennemføres af undervisere ved Institut for Datalogi på Aalborg Universitet.
Forskerne fortæller
Hør lektor Brian Nielsen fortælle om, hvordan en modelbaseret test kan spare tid ved udvikling af indlejrede systemer.
