Embedded Systems at the CSC School Prof. Mads Dam Theoretical Computer Science School of Computer Science and Communication mfd@kth.se, tel.08-790 6229 CSC Departments CB Computational Biology CVAP Computer Vision and Active Perception TCS Theoretical Computer Science Human-Computer Interaction and Media Technology Numerical Analysis Speech, Music and Hearing PDC Center for High Performance Computing 1
Some Figures ~25 professors ~300 employees ~100 postgraduate students ~1500 undergraduate students ~11000 students participate in ~300 courses, ranging from basic level to research level each year Research Centres at KTH CSC CAS - Centre for Autonomous Systems CESC - Centre for Sustainable Communications VIC Sthlm/VIC KTH Visualisation center COT Center for Opera and Technology 2
ICES - of course Other Research Center Involvement at CSC SBI - Stockholm Brain Institute INCF - International Neuroinformatics Coordinating Facility SBC Stockholm Bioinformatic Center ACCESS VR Linnaeus Centre on autonomic network and computing SMC - Stockholm Mathematics Center CSC Education 3
Education programmes Computer Science, BSc, 3 yrs Machine Learning, MSc, 2 yrs CS, MSc, 2 yrs HCI, MSc, 2 yrs Media Technology, BSc, 3 yrs Media Techn, master, 2 år Media Management, MSc, 2 yrs Degree Projects Annual production of 120 BSc candidates Individual or paired projects Many in embedded systems or related areas The MVK (software engineering) project Large programming task, 15 ECTS Performed in 12-14 person teams Mostly in industrial settings often in embedded domain Annual production of some 100 MSc candidates Individual, highly skilled final year projects Mostly performed in industry often in embedded domain Important recruitment source 4
Embedded Systems at BSc Level Few courses specific to embedded systems at BSc level: IS1500 Computer Organization and Components, 9hp DD1365, DD143X Software engineering (aka MVK) + BSc final year project Embedded Systems at MSc Level Computer Science MSc program Read by 80% of CS program students Tracks: - Autonomous systems - Computer Security - IT-Management incl. Enterprise Architecture - Software Systems - Language technology - Theoretical Computer Science - Computational Biology - Computer Systems - Speech and Music 5
Robotics and Computer Vision DD2423 Image Analysis and Computer Vision Increasing number of embedded applications based on vision DD2425 Robotics and Autonomous Systems Project course building small robots Software and Hardware EL2320 Applied Estimation (belongs to EES) Estimation techniques applicable for example in embedded systems DD2425 Robotics and Autonomous Systems A course where you get to use what you learned in other courses and learn specifics about robotics Design, implement and evaluate in one course See your program make something move Software + Hardware +sensors, metal, wheeels, motors,... 6
DD2425 Robotics and Autonomous Systems Videos: Check youtube kthrobotics CVAP Activities in Embedded Systems Computer vision Cameras are embedded systems and there are plenty of examples of devices where computation and sensor is combined into one unit. Ex: mobile phone Robotics Makes heavy use of embedded systems and robotics technology often ends up in embedded systems Projects Wearable visual information systems (SSF) Spin off InMoDo AB Intelligent Machines AB 7
Computer Security DD2448 Foundations of Cryptography Modern cryptography Highly relevant for embedded applications (secure devices, locks, secure sensors, payment systems, ) DD2460 Software Safety and Security Software analysis and formal verification techniques Type systems, model checking, security analysis tools DD2495 Network Security Protocols and network design and analysis Important in embedded domain Computer Systems DD2451 Parallel and Distributed Computing Essential for efficient and secure use of multicore Soon in a flowerpot near you DD2459 Software Reliability Classic and modern testing methods Obligatory course in new Int. MSc. Embedded Systems 8
TCS Activities in Embedded Systems + Related Security analysis Security analyses for Java and JVM, static and runtime Applications to smartphone apps and Java for smartcards Secure embedded systems Provably secure virtualization Virtualized os s, processor sharing, application isolation Model based testing Model-based testing using automata + model inference Projects: PROSPER Provably Secure Platforms for Embedded Systems (SSF) HATS Highly Adaptable and Trustworthy Systems (EU FP7) 9