Kursmoduler

Part 0: Introduction

Part 0: Introduction
Modul slutförd Modul pågår Modulen låst
Part 0: Introduction 57770  
  • Sida
    0. Introduction 0. Introduction
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt

Part 1: The operational perspective

Part 1: The operational perspective
Modul slutförd Modul pågår Modulen låst
Part 1: The operational perspective 57769  
  • Sida
    1.0 Risk assessment for smart CPS (of systems) 1.0 Risk assessment for smart CPS (of systems)
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
  • Sida
    1.1. Risk management for cyber-physical systems as socio-technical endeavor 1.1. Risk management for cyber-physical systems as socio-technical endeavor
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
  • Sida
    1.2 CPS complexity 1.2 CPS complexity
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
  • Uppgift
    Part 1, Theory Part 1, Theory
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
  • Uppgift
    Part 1, Project Part 1, Project
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt

Part 2: The system engineering perspective

Part 2: The system engineering perspective
Modul slutförd Modul pågår Modulen låst
Part 2: The system engineering perspective 57750  
  • Sida
    2.0 Part 2 Introduction 2.0 Part 2 Introduction
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
  • Sida
    2.1 Assurance 2.1 Assurance
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
  • Sida
    2.2 System Engineering 2.2 System Engineering
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
  • Sida
    2.3 Safety Methods 2.3 Safety Methods
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
  • Sida
    2.4 Security Methods 2.4 Security Methods
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
  • Sida
    2.5 Summary and Further Reading (including Information on Seminar Exercises) 2.5 Summary and Further Reading (including Information on Seminar Exercises)
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
  • Uppgift
    Part 2, Theory Part 2, Theory
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
  • Uppgift
    Part 2, Project Part 2, Project
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt

Part 3: The software engineering perspective

Part 3: The software engineering perspective
Modul slutförd Modul pågår Modulen låst
Part 3: The software engineering perspective 55920  
  • Sida
    3.1 Testing and Verification 3.1 Testing and Verification
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
  • Sida
    3.2 Model Checking and NuSMV 3.2 Model Checking and NuSMV
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
  • Quiz
    Quiz: Temporal Logic Quiz: Temporal Logic
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
  • Uppgift
    Assignment: NuSMV tutorial Assignment: NuSMV tutorial
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
  • Sida
    3.3 Security in the field 3.3 Security in the field
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
  • Sida
    3.4 Summary and seminar exercises 3.4 Summary and seminar exercises
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
  • Sida
    3.4a Software verification 3.4a Software verification
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
  • Sida
    3.4b Threats and Security 3.4b Threats and Security
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
  • Sida
    3.4c Safety and security standards for next-generation systems 3.4c Safety and security standards for next-generation systems
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
  • Sida
    3.5 Caveats for model checking 3.5 Caveats for model checking
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
  • Uppgift
    Part 3, Theory Part 3, Theory
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
  • Uppgift
    Part 3, Project Part 3, Project
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt

Part 4: Course retrospective

Part 4: Course retrospective
Modul slutförd Modul pågår Modulen låst
Part 4: Course retrospective 57838  
  • Uppgift
    Part 4 Part 4
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt

Copyrighted material

Copyrighted material
  • Slutför alla objekt
Modul slutförd Modul pågår Modulen låst
Copyrighted material 57470  
  • Quiz
    Copyrighted material Copyrighted material
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt

Standards

Standards
Förutsättningar: Copyrighted material
Modul slutförd Modul pågår Modulen låst
Standards 57469  
  • Sida
    Standards Standards
    Få minst   Måste få minst   poäng för att bli klar med det här modulobjektet Få minst   Modulobjektet är färdigt genom att få minst   poäng Visa Måste visa för att bli färdig med det här modulobjektet Visad Modulobjektet har visats och är färdigt Markera som klar Måste markera modulobjektet som klart för att vara färdig Markera som klar Modulobjektet har markerats som klart och är färdigt Bidra Måste bidra till det här modulobjektet för vara färdig färdig Bidragit Bidrog till det här modulobjektet och är färdig Skicka in Måste skicka det här modulobjektet för att vara färdig Inskickad Modulobjektet har skickats in och är färdigt
 
lägsta resultat måste visa måste skicka in måste bidra