Half-year special course «Software modeling»

For 5-year students of Computation mathematics department

Lectures

1. Introduction. Software modeling examples

2-3. The theory of simulation.

4. Simulator engines.

5. Simulation of networks.

6. SystemC. Modules, ports, signals (sample of code).

7. SystemC. Events (sample of code). Periphery devices modeling. PIC model: pic.h, pic.cpp

8. Radio fading simulation

Literature:

1. S.Rassmussen, C.L.Barrett Elements of a Theory of Simulation, In Advances in Artificial Life: Third European Conference on Artificial Life ({ECAL} '95), Vol. 929 (1995), pp. 515-529; см. http://www.santafe.edu/media/workingpapers/95-04-040.ps

2. Defining & Advancing SystemC Standards; см. http://www.systemc.org/home

3. R. Uhlig, R. Fishtein, O. Gershon, I. Hirsh, and H. Wang, “SoftSDV: A Pre-Silicon Software Development Environment for the IA-64 Architecture,” Intel Technol. J. 3, No. 4 (November 1999); см. http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=FAB169A2CB08B9A83B44FF5A402019BE?doi=10.1.1.13.8932&rep=rep1&type=pdf

4. The Network Simulator - ns-2; см. http://www.isi.edu/nsnam/ns/

5. Virtual Point-to-Point(TUN) and Ethernet(TAP) devices; см. http://vtun.sourceforge.net/tun/

6. Н. А. Подольская, Ф. Н. Шерстюк, Задача симуляции затухания радиосигнала: решение и приложения, Фундамент. и прикл. матем., 2007, 13:1, 179–187; см. http://mech.math.msu.su/~fpm/ps/k07/k071/k07110.pdf