• Forståelse af grundlæggende begreber for parallellisme: processer, synkronisering og kommunikation.
  
• Forståelse af modeller for concurrency: Petri-net, transitionssystemer, procesudtryk.
  
• Kendskab til verifikationsbegreber: Sikkerheds- og aktivitetsegenskaber, invarianter, modelcheck.
  
• Forståelse af synkroniserings- og kommunikationsmekanismer: Semaforer, monitorer, synkron og asynkron kommunikation, kaldmekanismer. Brug af disse til løsning af klassiske problemer.
  
• Kendskab til implementering: HW-arkitekturer, multiprogrammering, tråde, tråd-biblioteker, højniveau sprog, tråd/processafvikling.
  
• Beherskelse af trådprogrammering i Java og kunne designe og konstruere mindre parallelle systemer som fx.
  multitrådede applikationer eller simple apparatstyringer..
  
• Kendskab til designprincipper: SW-arkitekturer.
  

The aim of the course is to provide the conceptual foundation for concurrent systems and the ability to construct small concurrent programs. In a bit more detail, after completing the course the student is expected to:

• Understand the foundational concepts for concurrency: processes, synchronisation and communication.
  
• Understand models for concurrency: Petri-nets, transitions systems, CCS-like process expressions
  
• Have knowledge of verification concepts: Safety and progress properties, invariants, model checking.
  
• Understand synchronisation and communication mechanisms: Semaphores, monitors, synchronous and asynchronous communication and how to use these to solve clasical concurrency problems.
  
• Posses knowledge of implementation techniques and principles: HW-architectures, multiprogramming, threads, thread-libraries, high-level languages.
  
• Master thread programming in Java and be able to design and construct small parallel programs, e.g multithreaded applications or simple controlsystems.
  
• Possess knowledge of designprinciples: SW-architectures.
  

• Modeller for concurrency: Petri-net, transitionssystemer, procesudtryk.
  
• Processer og tråde, tråde i java
  
• Delte objekter og gensidig udelukkelse
  
• Monitorer, invarianter, semaforer, begrænsede buffere
  
• Baglås, analyse og eksempler
  
• Sikkerheds og Fremskridtsegenskaber, analyse og eksempler
  
• Model-baseret design: krav, modeller, implementation
  
• Dynamiske systemer, fair allokering, master/slave model.
  
• Beskedoverførsel, synkron/asynkron, rendezvous
  
• Arkitekturer: Filter pipeline, superwisor-worker, annoucer-listener
  
• Systemer med tid, model og implementation
  

Forelæsninger, 2 mindre obligatoriske opgaver, teori og lab-øvelser, miniprojekt 

4-timers skriftlig eksamen med karakter efter 13-skalaen.I løbet af
semesteret stilles to obligatoriske afleveringsopgaver og et mini-projekt.
Aflevering af de to obligatoriske opgaver samt aflevering og godkendelse af
mini-projektet er en forudsætning for at kunne tilmeldes eksamen.
Besvarelserne vil dog ikke indgå i karakteren.  

Udleverede noter om Petri net og semantik.