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.

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.

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

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.

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.

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.

-

-

-

-

https://sites.google.com/site/iti8500/

-