Text

Inbyggda system


Tillförlitlig programvaruteknik

Metoder och processer för utveckling av tillförlitliga programvarusystem; specifikt tekniker och schemaläggningsanalys för feltoleranta realtidssystem, tillförlitlig modellering av programvara, mjukvarutestning och säkerhetsargument för certifiering.

Kontaktperson

Sasikumar Punnekkat

Professor i pålitliga programvarusystem

Sasikumar Punnekkat021-10 73 24sasikumar.punnekkat@mdu.se
No partial template found

Pågående forskningsprojekt