Processalgebra Att r

1
Processalgebra Att räkna ut hur systemet kommer
att bete sig

• Datorsystem består av massvis av små kom-ponenter
  som alla  lever sina egna liv, unge-fär som
  människorna i en by. De samverkar för att klara
  av sina uppgifter. Men till skillnad från
  människor kan beteendet för varje kom-ponent ofta
  beskrivas ganska enkelt. Med matematiska lagar
  kan man då räkna ut beteendet för hela systemet.
  Processalgebra är en matematisk formalism för
  att beskriva beteendet hos komponenter och
  system. Varje komponent ges en beskrivning i form
  av ett transitionsdiagram. Operatorer på så-dana
  utgör sätt att bygga ihop dem till samman-satta
  system. Dessa operatorer följer algebraiska lagar
  som kan användas för att härleda egen-skaper hos
  systemen. I denna kurs lär vi oss grunderna i
  teorin och övar praktiskt  med hjälp av ett
  datoriserat analysverktyg. Vi tränar dels på att
  modellera verkliga sammansatta system och dels på
  att beskriva systemens önskvärda egenskaper på
  ett stringent sätt. Analysverktyget kan då
  automatiskt avgöra huruvida modellen besitter de
  önskade egenskaperna.

• "Holländska ordspråk" av Pieter Breughel den
  yngre (1559). Varje vinjett i bilden illustrerar
  ett ordspråk - hur många kan du hitta?

På detta sätt blir datorn inte längre en form av
magi som oförutsett kan bete sig lite
hursomhelst. Som riktiga ingenjörer kan vi räkna
ut egenskaperna, till och med innan systemet är
byggt.
Förkunskaper kurser i Datorsystem och
Datakommunikation Mål Grunderna i
processalgebran CCS och modallogiken HML. 
Praktisk användning av verifieringsverktyget
UPPAAL.