Embedded Software Workshop
BASIC DATA
course listing
A - main register
course code
ITS8050
course title in Estonian
Sardtarkvara õpikoda
course title in English
Embedded Software Workshop
course volume CP
-
ECTS credits
6.00
to be declared
yes
assessment form
Examination
teaching semester
spring
language of instruction
Estonian
English
Study programmes that contain the course
Structural units teaching the course
IT - Department of Software Science
Timetable link
Version:
VERSION SPECIFIC DATA
course aims in Estonian
Kursuse eesmärk on tundma õppida sardsüsteemide tarkvara arendamise olulisemaid kontseptsioone ja tehnikaid. Kursus on tulemusorienteeritud ning keskendub töökindlate ja efektiivsete sardsüsteemide arenduseks vajalike alusteadmiste andmisele.
course aims in English
The goal of the course is to give the participant the understaning of concepts and techniques necessary to develop software for embedded computer systems with real-time constraints. This is a practical, results-oriented course that will provide knowledge and skills needed to build reliable and efficient embedded systems.
learning outcomes in the course in Est.
Aine läbinud üliõpilane
* oskab kirjeldada sardsüsteemide tarkvara nõudeid
* tunneb sardsüsteemide tarkvara ülesehitusest
* oskab valida konreetsesse konteksti sobivat sardtarkvara, seda riistvarale paigaldada ning luua sellele tarkvara, mis suhtleb teiste süsteemidega.
* oskab siluda sardtarkvara ning diagnoosida probleeme
* oskab kirjeldada sardsüsteemide tarkvara nõudeid
* tunneb sardsüsteemide tarkvara ülesehitusest
* oskab valida konreetsesse konteksti sobivat sardtarkvara, seda riistvarale paigaldada ning luua sellele tarkvara, mis suhtleb teiste süsteemidega.
* oskab siluda sardtarkvara ning diagnoosida probleeme
learning outcomes in the course in Eng.
The student who completes the course will:
* Know how to specify the requirements for embedded software.
* Understand the structure of embedded system software
* Know how to choose embedded software suitable to a particular context, know how to install it and develop software for it that will communicate with other systems.
* Know how to debug embedded software and how to diagnose problems.
* Know how to specify the requirements for embedded software.
* Understand the structure of embedded system software
* Know how to choose embedded software suitable to a particular context, know how to install it and develop software for it that will communicate with other systems.
* Know how to debug embedded software and how to diagnose problems.
brief description of the course in Estonian
Spetsifikatsioonid: sardtarkvara spetsifitseerimise keeled (nt StateCharts, Petri võrgud, VHDL);
Sardsüsteemide riistvara: sensorid, kommunikatsioon, andmetöötlus, mälu, täiturid;
Sardtarkvara: operatsioonisüsteemid, protsesside haldus.
Riistvara ja tarkvara koosarendus: tööjaotus riistvara ja tarkvara arenduse vahel.
Valideerimine: meetodid kindlustamaks, et sardtarkvara toimib vastavalt ootustele: simulatsioon, testimine, formaalne verifitseerimine.
Sardsüsteemide riistvara: sensorid, kommunikatsioon, andmetöötlus, mälu, täiturid;
Sardtarkvara: operatsioonisüsteemid, protsesside haldus.
Riistvara ja tarkvara koosarendus: tööjaotus riistvara ja tarkvara arenduse vahel.
Valideerimine: meetodid kindlustamaks, et sardtarkvara toimib vastavalt ootustele: simulatsioon, testimine, formaalne verifitseerimine.
brief description of the course in English
Specification: review of the most commonly used languages employed in the specfication of embedded RT systems (e.g., StateCharts, Petri nets, and VHDL);
Embedded hardware: sensors, communication units, processing units, memories, and actuators;
Embedded software: embedded operating systems, scheduling algorithms;
Hardware/software codesign: methods for the optimal division of labor between the hardware and software parts of an embedded system;
Validation: methods for ensuring that an embedded system behaves as expected: simulation, testing, formal verification.
Embedded hardware: sensors, communication units, processing units, memories, and actuators;
Embedded software: embedded operating systems, scheduling algorithms;
Hardware/software codesign: methods for the optimal division of labor between the hardware and software parts of an embedded system;
Validation: methods for ensuring that an embedded system behaves as expected: simulation, testing, formal verification.
type of assessment in Estonian
-
type of assessment in English
-
independent study in Estonian
-
independent study in English
-
study literature
https://sites.google.com/site/iti8500/
study forms and load
daytime study: weekly hours
4.0
session-based study work load (in a semester):
lectures
2.0
lectures
-
practices
2.0
practices
-
exercises
0.0
exercises
-
lecturer in charge
-
LECTURER SYLLABUS INFO
semester of studies
teaching lecturer / unit
language of instruction
Extended syllabus
2024/2025 spring