TTK4145 Sanntidsprogrammering

Kunnskap:

• Inngående kjennskap til synkroniseringsmekanismer som semaforer og monitorer.
• Inngående kjennskap til meldingsbasert synkronisering.
• Inngående kjennskap til tråder, prosesser, scheduling og synkronisering i perspektiv av et sanntids operativsystem.
• Inngående kjennskap til vanlige fallgruber ved sanntidsprogrammering.
• Inngående kjennskap til feilhåndtering og feiltoleranse.
• Inngående kjennskap til høytilgjengelighet og konsistens i systemer med flere tråder/prosesser.
• Kjenskap til programmeringsspråkene C, C++, Java, Ada og Go.
• Kjenskap til CSP, Formelle metoder og bruk av analyseverktøy for sanntidssystemer.

Ferdighet:

• Gode ferdigheter i design og utvikling av sanntids programvare herunder både systemer basert på meldingssending og delt variabelsynkronisering.
• Evne til å planlegge og gjennomføre praktisk implementasjon av et programvaresystem av signifikant kompleksitet. (1-2 tusen linjer C-kode).
• Gode ferdigheter i et fritt valgt programmeringsspråk (sannsynligvis C, C++, Java eller ADA).
• Studenten skal kunne forholde seg konstruktivt i sitt design til feilhåndtering og konsistens i systemer med flere deltagere.

Generell kompetanse:

• Gruppesamarbeide.
• Programvareutvikling
• Informasjonsteknologi generelt.

Øvingene er obligatoriske og teller ikke på karakteren i faget.

Prosjektet evalueres i fire deler, alle gruppevis:

1. "Fremdriftsrapport". Denne leveres inn i første halvpart av semesteret.
2. "Kodekvalitet". Koden leveres inn, sammen med gruppens vurderinger av et antall andre gruppers kode og en post-mortem selv-evaluering. Disse danner grunnlaget for vurderingen av denne delen.
3. "FAT". Dette er sluttesten av systemet. Hva som virker og ikke.
4. "Slutt-rapporten". En sluttrapport som dekker bl.a. design, erfaringer og refleksjoner.

Det er ikke klageadgang på disse delene.

Alle deler av faget må bestås for å bestå faget. Utsatt eksamen arrangeres i august for midtsemesterprøven og slutteksamen.

For utsatt eksamen kan eksamenformen bli endret til muntlig eksamen. Dersom studenten også etter utsatt eksamen har sluttkarakteren F/ikke-bestått, må studenten gjenta hele emnet.