Universitatea Babeş-Bolyai Cluj-Napoca
Facultatea de Matematică şi Informatică
Ciclul de studii: Masterat
Domeniul: Informatica
Programul de studii: Programare bazată pe componente - în limba engleză
Limba de predare: Engleză

SYLLABUS

I. General data
Code	Subject	
MID1035	Visualization and Validation in Simulation	

Semester	Hours: C+S+L+P	Category	Status	
4	2+1+0+1	speciality	optional	

II. Full status faculty members
Name and	Scientific	Didactic	Chair	Type of activity	
surname	title	title		C	S	L	
PREJMEREAN Vasile	Ph.D.	Lect.	Computer Science	*			

Associated faculty members
Name and	Scientific	Institution	Type of	Type of activity	
surname	title		position	C	S	L	

III. Course objectives
To assimilate visualization and simulation techniques and the simulation as a method of studying the real phenomenon. To gain skils related to problem solving through simulation. To teach the students the concepts used in the field of modeling and simulation and to acquire the methods for validation of simulation.
After promotion the students should be able to use simulation as a method of solving real problems. They will know to verify their programs and to validate the simulation results.	

IV. Course contents
1.	Simulation. 
2.	The Steps of a Simulation  Study.  
3.	Verifying and validating a simulation model. 
4.	Techniques for validation. 
5.	Inspection. Testing.  
6.	Sensitivity analysis. 
7.	Calibration. 
8.	Input analysis. 
9.	Output analysis: output data analysis for simulations. 
10.	Statistical techniques needed for validation - data analysis and visualization
11.	Visualization and simulation techniques
12.	Interactive simulation and visualization	

V. Bibliography
1. ARSHAM H., Systems Simulation: The Shortest Path from Learning to Applications, 
    http://www.ubmail.ubalt.edu/~harsham/simulation/sim.htm 
2. BALCI, O., Validation, Verification, and Testing Techniques throught the Life Cycle of a Simulation Study, Annals of  Operations Research, 1994, no.12, pp.1-49
3. BLAGA P., Statistica prin MATLAB, Presa Universitara Clujeana, 2002. 
4. DODESCU Gh., Simularea sistemelor, Ed.Militara, Bucuresti.
5. M.Frenţiu, Verificarea corectitudinii programelor, Ed.Univ.”Petru-Maior”, Tg.-Mureş,   2001, 116 pp., ISBN 973-8084-32-6
6. Averill M. Law and W. David Kelton, Simulation Modeling and Analysis, McGraw Hill, Third Edition (2000).
7. Kleijnen J.P.C., Theory and methodology of Verification and validation of simulation models,  European Journal of Operational Research, 82(1995), 145-162.
8. STATE, L., J.POPESCU, Modele probabiliste in Inteligenta Artificiala, Litog. Univ. Bucuresti, 1979.
9. VADUVA I., Modele de simulare cu calculatorul, Ed. Tehnica, Bucuresti 1977.	

VI. Thematic of didactic activities per weeks
(C1-C14 lectures, S1-S14 seminars) 

C1 (+S1)- The Object of simulation ([4,6,9])
•	What is simulation?
•	When to use simulation?
•	Types of modeling and simulation
•	Advantages of simulation
C2 (+S2)-  Examples of Simulation ([8] chapter  5)
•	Two problems that can be used by simulation
•	The components of the simulation programs
•	We need the parameters of the models, random numbers and statistical methods!
C3 (+S3) - The steps of a Simulation study ([6] chapters 1&2)
•	Statement of the problem 
•	Data collection
•	Model building
•	Program implementation
•	Program verification
•	Output Analysis and validation
•	Decision making
•	Document the entire simulation activity
C4  (+S4 ) - Verification and validation of a software system ([2], chapters [1,2])
•	The components of verification and validation
•	Is the program correct?
•	Static, dynamic, and formal verification
•	Program validation: inspection and testing
•	Input and output validation
C5 (+S5 )- Validation of simulation model  ([6] chapter 5, [7])
•	Is the model correct for what is required?
•	Choosing the important variables
•	Validate the parameters of the model
C6(+S6)-  Program Inspection ([5] chapter 3)
•	What is Inspection ? 
•	Inspection team
•	The steps of Inspection
•	Advantages of inspection over testing
C7(+S7)- Program Testing  ([5] chapter 3)
•	What is testing?
•	Types of testing
•	Unit testing, integration testing
•	Regression testing 
C8(+S8)- Input analysis ([2,3])
•	Parameter estimation methods
•	Confidence intervals 
•	Data validity
•	Data availability
•	What if no real data is available?
C9(+S9)-  Sensitive Analysis ([O2])
•	What is sensitive analysis
•	Regression analysis
•	Statistical design
•	Factorial analysis
C10(+S10)-  Calibration ([1, 6 chapter 5, O6])
•	What is  calibration? 
•	Comparation of results with real data
•	Acceptability of simulation results
C11 (+S11) -  Statistical analysis of output data ([O1])
•	Parameter estimation methods
•	Confidence intervals 
•	Statistical hypothesis verification 
•	Compare the simulation results to real data
C12 (+S12) - Certification, Acreditation  ([6], chapter 6)
•	The needs of certification and accreditation
•	What are they?
•	Elements of  certification and accreditation
C13 (+S13) - Simulation and Visualization
•	Visualization and simulation techniques
•	Interactive simulation and visualization 
C14 (+S14) -  Simulation and Visualization Documentation ( [2,7])
•	Why document?
•	What must it contain?
•	Documentation validation.
There are laboratory classes where the department network is used. Specific bibliographic materials are also used (books, articles, Internet resources)	

VII. Didactic methods used
Expositions: class lectures, introductive lectures, dialog-based lectures, descriptions and explanations.
Conversations: dialog, debate, introductive conversations,  conversations to systematize and synthesize knowledge.
Discovery: inductive and deductive discovery, directed and independent rediscovery, creative discovery, experimental discovery.
Use of problems: use of problem questions, problems and problem situations.
Other methods: exercises,  individual and homework study, case study, brainstorming.	

VIII. Assessment
A mark A is given for the activities at the seminars during the term. Then, a written examination must be given (mark W). The final grade is : 
		F = (W + A) / 2
rounded according to the presences at the activities during the term. 
Presence to the seminars is needed. The mark A reflects the activity of the student during the term and cannot be improved at exams.
Webpage: http://www.cs.ubbcluj.ro/~per/Val_Sim.html	

IX. Additional references
O1. Jack P.C. Kleijnen, Five-stage procedure for the evaluation of simulation models through statistical techniques, Proceedings of the 1996 Winter Simulation Conference, p.248-254.
O2. Kleijnen J.P.C., Sensitivity analysis and optimization, Proceed. of the 1995 Winter Simulation  Conference, p.133-140, 19959.
O3. Kleijnen J.P.C., Validation of models: statistical techniques and data availability, Proceed. of the 1999 Winter Simulation  Conference, 1999.
O4. RACEANU, E., Limbaje de simulare, Ed.Militara, Bucuresti, 1981
O5. SANDERSON D.P., R.SHARMA, R.ROZIN, and S.TREU, The Hierarchical Simulation Language HSL: A Versatile Tool for Process-Oriented Simulation, ACM Trans.on Modeling and Computer Simulation, Vol.1, no.2, 1991, pp.113-153.
O6. T.I. Oren, Concepts and Criteria to Asses Acceptability of Simulation Study : a  frame of reference, Comm.ACM, vol.24(1981), no.4, 180-184.
O7. Papers on Software Metrics from the Journals: 
a.	IEEE Software. 
b.	IEEE Transactions on Software Engineering. 
c.	Transactions on Modeling and Simulation, ACM.
d.	Software -- Practice and Experience, Wiley. 	

	Dean,							Chair head,

	Date,							Course responsible,
	30.11.2011						Lect. PREJMEREAN Vasile, Ph.D.