Kursmoduler
Part 0: Introduction
Part 0: Introduction
Modul slutförd
Modul pågår
Modulen låst
-
0. Introduction Page0. Introduction 0. IntroductionFå 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
-
1.0 Risk assessment for smart CPS (of systems) Page1.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
-
1.1. Risk management for cyber-physical systems as socio-technical endeavor Page1.1. Risk management for cyber-physical systems as socio-technical endeavor 1.1. Risk management for cyber-physical systems as socio-technical endeavorFå 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
-
1.2 CPS complexity Page1.2 CPS complexity 1.2 CPS complexityFå 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, Theory AssignmentPart 1, Theory Part 1, TheoryFå 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, Project AssignmentPart 1, Project Part 1, ProjectFå 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
-
2.0 Part 2 Introduction Page2.0 Part 2 Introduction 2.0 Part 2 IntroductionFå 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
-
2.1 Assurance Page2.1 Assurance 2.1 AssuranceFå 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
-
2.2 System Engineering Page2.2 System Engineering 2.2 System EngineeringFå 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
-
2.3 Safety Methods Page2.3 Safety Methods 2.3 Safety MethodsFå 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
-
2.4 Security Methods Page2.4 Security Methods 2.4 Security MethodsFå 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
-
2.5 Summary and Further Reading (including Information on Seminar Exercises) Page2.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
-
Part 2, Theory AssignmentPart 2, Theory Part 2, TheoryFå 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, Project AssignmentPart 2, Project Part 2, ProjectFå 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
-
3.1 Testing and Verification Page3.1 Testing and Verification 3.1 Testing and VerificationFå 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
-
3.2 Model Checking and NuSMV Page3.2 Model Checking and NuSMV 3.2 Model Checking and NuSMVFå 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: Temporal Logic QuizQuiz: Temporal Logic Quiz: Temporal LogicFå 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
-
Assignment: NuSMV tutorial AssignmentAssignment: NuSMV tutorial Assignment: NuSMV tutorialFå 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
-
3.3 Security in the field Page3.3 Security in the field 3.3 Security in the fieldFå 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
-
3.4 Summary and seminar exercises Page3.4 Summary and seminar exercises 3.4 Summary and seminar exercisesFå 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
-
3.4a Software verification Page3.4a Software verification 3.4a Software verificationFå 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
-
3.4b Threats and Security Page3.4b Threats and Security 3.4b Threats and SecurityFå 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
-
3.4c Safety and security standards for next-generation systems Page3.4c Safety and security standards for next-generation systems 3.4c Safety and security standards for next-generation systemsFå 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
-
3.5 Caveats for model checking Page3.5 Caveats for model checking 3.5 Caveats for model checkingFå 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, Theory AssignmentPart 3, Theory Part 3, TheoryFå 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, Project AssignmentPart 3, Project Part 3, ProjectFå 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 AssignmentPart 4 Part 4Få 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
Modul slutförd
Modul pågår
Modulen låst
-
Copyrighted material QuizCopyrighted material Copyrighted materialFå 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
Modul slutförd
Modul pågår
Modulen låst
-
Standards PageStandards StandardsFå 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