Programvaru- och systemteknik
Certifierbara bevis och justifieringsteknik
Denna grupp utför forskning om språk, tekniker, mätvärden och processer inom bevis och argumentationsteknik i syfte att certifiera/självvärdera.
Kontaktperson
No partial template found
Mer specifikt ligger fokus på språk, tekniker, mätramar och processer för:
- modellering
- analys
- justifiering/argumentation och certifiering av komplexa pålitliga (datorbaserade) system
- systematisk återanvändning av certifieringsartefakter
- ”multi-concern assurance”
- kontinuerlig certifiering via verktygsintegration
- ”compliance”/ regulatorisk kravhantering
- certifieringsrelaterad bevisteknik
- säkerhet/säkerhetshantering & säkerhet/säkerhetskultur
- återanvändningsfokuserade mätramar