master program guide 2005-2006 computer science and … · 2005. 7. 25. · 3 master program guide...

3

Master Program Guide 2005-2006Computer Science and Engineering

Mastergids CSE 2005 05-07-2005 15:21 Pagina 3

Contents

1. General Information 91.1 Introduction: The Department and Master programs 9

2. Academic Administration 132.1 Academic administration of the department 13

2.1.1 Executive Board 132.1.2 Department Board 142.1.3 Study-program director 142.1.4 Study-program Committee 142.1.5 Exam Committee 152.1.6 Department Council 152.1.7 CS Division and professors 16

2.1.7.1 CS Division organization 162.1.7.2 CS Division Board 18

2.1.8 Department Office 182.1.9 Student Council 19

2.2 Facilities 202.2.1 Buildings 202.2.2 Lecture rooms, halls and other instruction facilities 202.2.3 Library services 202.2.4 Sale of study materials 212.2.5 Computer Services Office 21

2.3 Student association GEWIS 212.4 Information resources 21

3. General Course and Program Information 253.1 Master programs 253.2 Goals 253.3 Structure of the Master programs 263.4 Examination and titles 263.5 Admissions 27

3.5.1 General admissions requirements 273.5.2 Admissions with deficiencies 273.5.3 Dutch students 273.5.4 Foreign students 273.5.5 Dutch HBO students 273.5.6 Admissions Procedure 27


4. Master Program Specifics 314.1 Computer Science and Engineering 31

4.1.1 Curriculum 314.1.2 Master project 324.1.3 Further details 33

4.2 Embedded Systems 334.2.1 Curriculum 334.2.2 Master project 344.2.3 Further details 35

4.3 Information Security Technology 354.3.1 Curriculum 354.3.2 Master project 364.3.3 Further details 36

4.4 Electives 374.4.1 Internship 38

4.5 Planning 39

5. Specializations 435.1 Specialization Profile: Computational Engineering (CE) 43

5.1.1 Algorithms 435.1.2 Visualization 44

5.2 Specialization Profile: Information Systems (IS) 445.2.1 Databases and Hypermedia 455.2.2 Architecture of Information Systems 45

5.3 Specialization Profile: Systems Engineering (SE) 455.3.1 Design and Analysis of Systems 465.3.2 System Architecture and Networks 47

5.4 Specialization Profile: Software Technology (ST) 485.4.1 Software Construction 485.4.2 Formal Methods 49

6. Master program regulations 536.1 Course and exam regulations 53

6.1.1 Annex 616.2 Rules and stipulations 656.3 Graduation regulations 72

7. Course descriptions 81

8. Department directory 151


7

general information

1.


1. General Information

1.1 Introduction: The Department and Master programs

The Department of Mathematics and Computer Science (W&I) at the Technische UniversiteitEindhoven (TU/e) offers undergraduate (Bachelor of Science), graduate (Master of Science) andpostgraduate courses in Applied Mathematics and Computer Science.The Mathematics Division focuses on Discrete Mathematics, Stochastics and Optimization, andScientific Computing and Analysis. The Computer Science Division (CS) is mainly concernedwith Software Technology, Computational Engineering, Systems Engineering and InformationSystems. Department members take part in numerous research projects, cooperating with otheruniversities and commercial enterprises, both nationally and internationally.The Department employs approximately 200 staff members and enrolls over 800 students.

The Mathematics and Computer Science Department offers three Master of Science degrees:Industrial and Applied Mathematics (IAM) in the Mathematics Division, Computer Science andEngineering (CSE) and Business Information Systems (BIS), both in the Computer ScienceDivision. In addition, two special Professional Doctorate programs (Mathematics for Industryand Software Technology), which are exemplary because of the Mathematics and ComputerScience Department’s emphasis on applications, are also offered. This Master course and program guide applies to the Master of Computer Science program andis intended for all CSE students. A Master program guide is also available for the Master ofScience in Business Information Systems, and Industrial and Applied Mathematics.

9

general information


11

academic administration

2.


2. Academic Administration

2.1 Academic administration of the department

The structure of the academic organization is based on the Academic Administration StructureModernization Act (MUB), as implemented in the academic year 1997-1998. A student maycontribute to the improvement of the academic organization as member or advisor on theDepartment Board, the Study-program Committee or the Department Council. Participation inthese organizations offers special privileges, such as facilities for oral instead of written examsor extra opportunities for taking examinations outside regular scheduling. Further informationis available at the Education Office, through the education representative of GEWIS or theStudent Council (StudentenRaad, SR).

Important organizations:• The Executive Board (College van Bestuur, CvB);• The Department Board (Faculteitsbestuur);• The Study-program director (Opleidingsdirecteur);• The Study-program Committee (Opleidingscommissie);• The Exam Committee (Examencommissie);• The Department Council (Faculteitsraad);• The Division and Professors (Capaciteitsgroep en Hoogleraren);• The CS Division Board (Capaciteitsgroepsbestuur);• The Department Office (Faculteitsbureau);• The Student Council (Studentenraad);• The University Council (Universiteitsraad);• The Education Office (Onderwijsbureau).

2.1.1 Executive BoardThe Executive Board (CvB) is the highest management body of the university and is responsiblefor strategic policy.The Executive Board is accountable to the Supervisory Board, which examines the outlines. TheExecutive Board draws up the management and administration regulations that directmanagement and administration, and organize the university. This body is also responsible forthe institutional plan and budget.• Chairperson: ing. A.H. Lundqvist.• Rector Magnificus: prof.dr.ir. C.J. van Duijn.• Member: prof.dr. H.M. Amman.• University Secretary: ir. H.P.J.M. Roumen.

13



2.1.2 Department BoardThe Department Board appoints a study-program director for each Master program. The study-program director is mandated to develop, organize and implement the Master program.Although some authority is delegated to the study-program director, the Department Boardretains final responsibility for each graduate program. This means that the study-programdirector must report to the Department Board. The Department Board establishes the educationand examination regulations (OER) and the program budget, and oversees the implementationof the Master program. The Department Board is comprised of three members: the dean andchairperson, the vice-dean and the managing director. A student advisor also participates in theboard meetings. Other attendees at the board meetings are the division chairs, the planningadvisors, and the department secretary.

The current members of the Department Board are:Dean: prof.dr. K.M. van Hee.Vice-dean: prof.dr. A.M. Cohen.Managing director: drs. S. Udo.

2.1.3 Study-program directorEvery year the study-program director outlines in the OER the academic program and policies,including the program structure and curriculum. He develops the program curriculum in closeconsultation with the teaching staff. The Study-program Committee advises the study-programdirector on long-term strategies and policies on academic principles and goals, and on the exitqualifications of the Master degree. The study-program director is, within his budgetingconstraints, responsible for academic staff recruitment and development. The study-programdirector is in charge of the development and implementation of a quality management system.The Study-program Committee advises the study-program director on his curriculum andquality plans. In addition, the study-program director advises the Division Board on theacademic program. Whenever necessary, he also advises the Division Board on qualityimprovement and performance of the academic staff.

The study-program director relies on the Department Office for administrative and managerialsupport. The Department office also advises the study-program director on academic issues.The study-program director for CSE is prof.dr.ir. J.F. Groote.

2.1.4 Study-program CommitteeThe OCI (Opleidingscommissie Technische Informatica) is the Study-program Committee for theComputer Science Division. The OCI is appointed by the Department Board and is comprisedof six members. Of these six members, three must be students nominated by the DepartmentCouncil. The other three are staff members appointed by the CS Division.The tasks of the OCI are:• to advise the study-program director and the Department Board on issues relating to the OER;• to annually evaluate the implementation of the OER;• and to advise on all issues relevant to the academic program.

14



The current members of the OCI are:Staff members: dr. A.T.M. Aerts, prof.dr. J.C.M. Baeten (chairperson) and dr. C. Huizing.Student members: E.J.S. Kaasenbrood, I. van der Linden and J.P. Vink.

The following may also attend OCI meetings:Dr. A. Blokhuis (advisor Mathematics Division), dr. C.J. Bloo (student advisor), dr.ir. M.G.J.Franssen (bachelor-coordinator), prof.dr.ir. J.F. Groote (study-program director), dr. D.M. deHaan (policy advisor), dr.ir. J.J.M. Trienekens (advisor of the Department of TechnologyManagement), dr. J.C.S.P. van der Woude (master-coordinator), R.G.H. van Wijk (educationgovernor of GEWIS), and dr.ir. A.A. Basten (advisor of the Department of ElectricalEngineering).

2.1.5 Exam CommitteeThe Department Board appoints faculty members to sit on the Exam Committee. The ExamCommittee is responsible for the organization and coordination of exams and all ensuingactivities. The Exam Committee appoints all examiners in accordance with the HigherEducation and Research Act, article 7.12 (WHW art. 7.12).

The Exam Committee establishes exam rules of conduct applicable to both students andexaminers. These rules and regulations on proper behavior also stipulate disciplinarymeasurements and sanctions in case of violation.

The following are currently appointed members of the Exam Committee:Chair: prof.dr. K.M. van Hee.Secretary: dr. E.F. Kaasschieter.Members: prof.dr. M.T. de Berg, prof.dr. P.M.E. De Bra, prof.dr.ir. J.F. Groote, dr.ir. C.Hemerik, dr.ir. G.J.P.M. Houben, dr. J.J. Lukkien and prof.dr.ir. J.J. van Wijk.Advisors: dr. C.J. Bloo, dr.ir. M.G.J. Franssen and dr. J.C.S.P. van der Woude.

2.1.6 Department CouncilThe Department Council is an important link in the decision making process. The DepartmentCouncil exercises advisory and approval rights on issues concerning the responsibility areas ofthe Department Board. The Department Board must obtain the aforementioned approval on alldecisions concerning adaptation or other amendments to the department regulations (WHW9.14) and the OER (WHW 7.13). The Department Council is comprised of 5 staff members and5 elected student members.

The following currently sit on the Department Council:Staff members: ir. M.A.A. Boon, J.M.F. Horvath-Notten, dr. J.M.L. Maubach, dr. B. Speckmannand dr.ir. A.C. Telea.Student members: N.K.M. Aerts, E.L.E. van den Dungen, J.P. de Kort, B.J.A. Laarhoven and R.Leeuwestein.

15



2.1.7 CS Division and professorsThe general tasks of the CS Division are:• to contribute to the preparation and implementation of the educational and exam programs;• to contribute to the research programs;• to contribute to the interdepartmental and inter-university education and research

programs.

In addition, the CS Division Board aims to come to agreement with the study-program directoron issues of quantity and quality of academic staff.

The tasks of the professors are:• to develop their assigned research areas;• to advise the study-program director on the contents of the educational program.

2.1.7.1 CS Division organizationThe Computer Science Division is organized in 4 sections, each comprising 2 areas of expertiseor groups. All permanent personnel are listed below by section and by group.

Division secretary:M.M.W.G. van den Bosch-Zaat, telephone number (040)(247) 5010.

Section: Information Systems (IS)

Databases & Hypermedia (DH) Group:Full professor: prof.dr. P.M.E. De Bra.Part-time professors: prof.dr. J. Paredaens, prof.dr. L. Hardman.Assistant and associate professors: dr. A.T.M. Aerts, dr. L.M. Aroyo, dr. A.I. Cristea.Technical staff: drs. W.J.M. Lemmens.

DH Group secretary:M.A. van Buul, telephone number (040)(247) 2733.

Architecture of Information Systems Group (AIS)Full professor: prof.dr. K.M. van Hee.Assistant and associate professors: dr.ir. G.J.P.M. Houben, ir. W.F. Rietveld, dr. N. Sidorova,dr. L.J.A.M. Somers, dr. M. Voorhoeve, dr. J.C.S.P. van der Woude.Technical staff: drs. R. Post.

AIS Group secretary:M.A. van Buul, telephone number (040)(247) 2733.

16



Section: Software Technology (ST)

Formal Methods (FM) GroupFull professor: prof.dr. J.C.M. Baeten.Part-time professor: prof.dr.ir. C.A. Middelburg.Assistant and associate professors: dr. R. Kuiper, dr. S.P. Luttik, dr. S. Mauw, dr. R.P.Nederpelt, dr. S.M. Orzan, dr. E.P. de Vink, ir. H.T.G. Weffers eng.Technical staff: dr. E.J. Luit.

FM Group secretary:S.M.H.J. Joosten, telephone number (040)(247) 5155.

Software Construction (SoC) GroupFull professor: vacancy.Assistant and associate professors: ir. W.H.J. Feijen, dr.ir. M.G.J. Franssen, drs. H.P.J. vanGeldrop-van Eijk, dr.ir. C. Hemerik, ir. M.P. van Ouwerkerk-Dijkers, dr.ir. T. Verhoeff, dr.ir.G. Zwaan.Technical staff: ir. E.T.J. Scheffers.

SoC Group secretary:J.E. Driever, telephone number (040)(247) 5145.

Section: Systems Engineering (SE)

System Architecture and Networking (SAN) GroupPart-time professors: prof.dr. E.H.L. Aarts, prof.dr.ir. C.H. van Berkel, prof.dr. P.A.J.Hilbers.Assistant and associate professors: dr.ir. R.J. Bril, dr. M.R.V. Chaudron, dr. J.J. Lukkien, drs.R.H. Mak, dr.ir. I. Radovanovic, dr. P.D.V. van der Stok, dr. J.P. Veltkamp.Technical staff: dr.ir. P.H.F.M. Verhoeven.

SAN Group secretary:C.M.M. Brouwer-van der Most, telephone number (040)(247) 8309.

Systems Design and Analysis (OAS)Full professor: prof.dr.ir. J.F. Groote.Assistant and associate professors: dr.ir. R.R. Hoogerwoord, dr. J.C. van de Pol, dr.ir. M.A.Reniers, dr. J.M.T. Romijn, dr.ir. J.W. Wesselink, dr. H. Zantema.Technical staff: dr.ir. J.W. Wesselink.

OAS Group secretary:M.M.W.G. van den Bosch-Zaat, telephone number (040)(247) 5010.

17



Section: Computational Engineering (CE)

Visualization (VIS) GroupFull professor: prof.dr.ir. J.J. van Wijk.Assistant and associate professors: dr. C. Huizing, dr.ir. A.J.F. Kok, dr.ir. R. van Liere, dr.A.C. Telea, dr.ir. H.M.M. van de Wetering.Technical staff: E. Melby.

VIS Group secretary:M.M.W.G. van den Bosch-Zaat, telephone number (040)(247) 5010.

Algorithms (ALG) GroupFull professor: prof.dr. M.T. de Berg.Part-time professor: prof.dr. K.I. Aardal.Assistant and associate professors: dr. O. Cheong, dr. B. Speckmann.

ALG Group secretary:S.M.H.J. Joosten, telephone number (040)(247) 5155.

2.1.7.2 CS Division BoardThe following sit on the CS Division Board:Prof.dr. ir. J.J. van Wijk (chairperson), drs. R.H. Mak and dr. E.P. de Vink.

The following also attend the Division Board meetings:M.M.W.G. van den Bosch-Zaat (division secretary), prof.dr. ir. J.F. Groote (study-programdirector) and dr. D.M. de Haan (policy advisor).

2.1.8 Department OfficeThe Department Board delegates day-to-day operations to the Department Office. The managingdirector heads the Department Office, which is sub-divided into five offices:• Human Resource Management (HRM) Office,• Financial Services Office,• Computer Services Office (BCF),• Management Support Office,• Education Office.

The managing director of the Department Office is:drs. S. Udo.

The following are members of the staff of the Department Office:

Department Secretarial Services:Head: H.D.B.M. van Asperen.Secretarial assistant: K.M. Bakers, telephone number (040)(247) 2750.Administration: J.G.A. Brandts-Steenbergen.General and janitorial services: J.W. Schellekens.

18



HRM Office:Head: W.C.J. Verhoef.Staff: M.A.A. van Gerwen.

Financial Services Office:Head: M.C.H. Hoff.Staff: Y.H. Borg-Soedira, C.W.G.M. Touw-Wilms, H.J.L.M. de Jong-Bergmans.

Computer Services Office:Head: ir. M. van der Woude.Staff: R.L.M. Beckers, S. Hoop, V.B. Huijgen, J.P.H. Hunnekens.

Management Support Office:Policy advisor Mathematics: ir. H.J.M. Wijers.Policy advisor Computer Science: dr. D.M. de Haan.

Education Office:Head: dr. E.F. Kaasschieter.Student Administration:Staff: H.M.M.P. van Keulen, S. Garrido, W.T.A. Linders, M.B. Ruijs.Academic advisor: dr. C.J. Bloo.Secretarial services: M. Heruêr (CS), C. Welten-Verhulst (Math).Educationalist: dr.drs. J. C. Perrenet.

2.1.9 Student CouncilThe Student Council’s (SR) main goal is to help solve problems in the educational process.These problems may have to do with exams, timetables or teachers, but the SR also mediates incases where individual students encounter problems. Students with questions or complaintscan contact the SR via:• meetings that are scheduled on Mondays from 12:45 to 13:15 in room HG 6.29;• the online forum at http://www.win.tue.nl/sr/;• or via an e-mail to: [email protected] addition, the SR forms a link between the students and the faculty, the university as a wholeand other organizations.Furthermore, the SR considers ways to improve the education program and departmentadministration.Finally, the SR attempts to stimulate communication between members of the EducationCouncils (OCW and OCI), the Department Council (FR), the University Council (UR) and theStudent Advisory Body (SAO).

19



2.2 Facilities

2.2.1 BuildingsRegulations on access to university buildings are described in the departmental chapter of thestudent statutes. Regulations on the use of computer rooms are outlined on the website atwww.win.tue.nl/reglementen/. For oral English explanation of these regulations, contact theComputer Services Office in room HG 8.73, telephone number (040) (247) 2802 or [email protected].

2.2.2 Lecture rooms, halls and other instruction facilitiesLecture rooms and halls are managed at institutional level by W.M. Timmermans, Auditorium2.08, telephone number (040)(247) 2645. The locations of relevant study facilities are listedbelow:

HG 8.61 Training room, also used as study room with laptop connection facilitiesHG 8.63 PC roomHG 8.58 Project roomHG 8.78 Project room

The following rooms are available upon reservation for meetings and course instruction:HG 5.95 HG 6.01HG 6.05 HG 6.05aHG 6.29 HG 8.40HG 8.61Reservations can be arranged through the department secretary.

2.2.3 Library servicesLibrary services are provided for all department employees and students. The library collectionreflects the departmental scientific specialization in research and education. Opening times areMonday through Friday from 9:00 to 17:00. The department library is located in room HG6.47. Students also have free access to the central library and all other departmental libraries.For further information, please consult the student statute.

Literature search:In addition to its own search catalog VUBIS, the library also offers online bibliographicalsearching facilities.

Inquiries:For further information, please contact the department librarian ir. E.J.M. Jacobs. Other librarystaff members, H.J.M. de Brouwer and E. Geussens, can be reached at telephone number(040)(247) 2766.

20



2.2.4 Sale of study materialsStudy material can be bought at the (lecture) notes warehouse subdivision Notes Sale(‘Dictatenverkoop’). Daily opening hours are from 9:00 to 15:00. The warehouse is closed duringthe introduction week. Inquiries can be made at: HG -1.61, telephone number (040)(247) 2446.For book sales at discount prices, please refer to paragraph 2.3.

2.2.5 Computer Services OfficeThe tasks of the Computer Service Office (BCF) are:• to provide computer facilities;• to provide user support;• to administer student accounts on the student server “svstud”, a Linux-server for the

students of the department;• and to manage the use of computer rooms HG 8.61, HG 8.63, HG 8.58 and HG 8.78.Details on the regulations on the use of the computer facilities can be accessed athttp://www.win.tue.nl/reglementen/. For problems with student e-mail accounts, please contactthe ICT Information and Service Desk at LG 1.94, telephone number (040)(247) 4649. TheNotebooks Help Desk is located at HG 8.86, telephone number (040)(247) 2979. The BCFHelp Desk is located in room HG 8.73. The opening hours of the BCF Help Desk are Mondaythrough Friday from 9:00 to 17:00. Telephone number (040)(247) 2802, e-mail:[email protected], http://www.win.tue.nl/bcf/.

2.3 Student association GEWIS

The study association GEWIS (union of math- and computer-science students) was foundedover 20 years ago. GEWIS champions student rights, promotes student interests and offersstudents extracurricular activities. It organizes excursions to national companies and tries toorganize an international study trip on a regular basis, through maintaining contact with theEötvös University in Budapest. It organizes the freshmen introduction week and the weeklydrink on Thursdays from 16:30 until 19:00.GEWIS publishes a magazine ‘Supremum’, a yearbook, and organizes sporting events, (sailing-)weekends, parties and numerous other activities. On request, it is possible to organize aninformal gathering at GEWIS. On Mondays, Wednesdays and Fridays from 12:30 to 13:30,GEWIS provides a book sale, offering study books at reduced prices. In addition, the GEWIS-website offers old exams.GEWIS can be reached at: HG 8.79, telephone number (040)(247) 2815, e-mail:[email protected] and http://www.gewis.nl/.

2.4 Information resources

Current information on program changes, changes in the course schedules, practical courses,exams and other important matters is available as listed below:

21



Information available by mail:• The Master program guide is available upon request by mail or at the desk at the Student

Administration office and digitally on the website.• Exam and course schedules are available through Student Administration (HG 6.33) and the

Students Service Center (HG 0.72).• The university paper, Cursor, contains an English language supplement and is distributed

throughout the university.• The OER is printed in Chapter 6.• The rules and stipulations pertaining to the OER are also printed in Chapter 6.

Personal contact:• International student affairs:

International Office in room HG 0.72, telephone number (040)(247) 8015 or [email protected] students coordinator: W.T.A. Linders in room HG 6.31, telephone number(040)(247) 5160 or e-mail [email protected].

• The master student advisor (dr. J.C.S.P. van der Woude)• Student Administration in room HG 6.33 (inquiries desk) or at telephone number

(040)(247) 2379, for general information and inquiries about study arrangements,regulations, schedules and calendars and study results. The opening times of the inquiriesdesk are for students from 11:00 to 13:00, and from 14:00 to 15:00.

• The department secretary in room HG 6.19 or at telephone number (040)(247) 2750.• The Student Service Center is in room HG 0.72 or at telephone number (040)(247) 8015 for

general information and inquiries about financial aid, student assistantships, admissions,university passes, exam regulations etc.

• The Student Association GEWIS is in room HG 8.79 or at telephone number (040)(247) 2815.

Several sources of information are available:• The website at www.win.tue.nl. Here you will find general TU/e information;• Information about the department, academic counseling, social events and activities,

sporting facilities, etc. can be found at www.win.tue.nl;• This Master program guide:

• Description of the program and the academic support facilities;• Course and exam regulations (OER);• Rules and stipulations;• Description of the procedures and temporary provisions applicable to the education

program.• The electronic course catalog:

This catalog can be accessed on the Internet at http://owinfo.tue.nl and contains currentcourse information.

General information about the CSE Master programs can be accessed athttp://www.win.tue.nl/inf/cse.

22



23

general course and program information

3.


3. General Course and Program Information

This chapter provides information about the structure and organizational aspects of the Masterprograms. The CS Division offers several Master programs, all with some aspects in common.The focus of this chapter is on these commonalties.

3.1 Master programs

Four Master programs are offered. Two of these are offered as specializations within the Masterprogram CSE. This is in anticipation of an independent status as full Master programs in thenear future:• Computer Science and Engineering (CSE). As mentioned above, this Master program has

two “special” specializations:• Embedded Systems (ES), an interdisciplinary variant in cooperation with the

Department of Electrical Engineering;• Information Security Technology (IST), an interdisciplinary variant in cooperation with

the Mathematics Division.• Business Information Systems (BIS), a multi-interdisciplinary Master program in

cooperation with the department of Technology Management (TM).

We intend to start a Master program in Computer Science Education in 2005-2006. Whileawaiting a verdict about the status of the eerstegraads lerarenopleiding Informatica by the secretaryof state, it is not possible to provide more information here. Contact dr.ir. M.G.J. Franssen (M. [email protected]) for the status of this program.

The special flavors of the various Master programs and their translation into details ofsubstance will be discussed in the next chapter.

3.2 Goals

The Master programs all rest on a sound theoretical foundation, with emphasis on both generaland specialized design.At the end of his academic studies, the Master student will have developed:• An academic attitude through:

• independent knowledge acquisition,• critical bearing and perception,• originality in research and responsible reporting thereof,• methodical approach.

25



• An engineering attitude through:• design skills,• application directedness and multi-disciplinarity,• presentation and documentation skills,• insight into the industrial and managerial context of the field,• mathematical flavor with emphasis on correctness, dependability and the use of formal

methods in design and construction.• The special cultural education of the computer scientist through:

• knowledge and skills specific for computer science, formalisms, methods, tools andtheir mutual dependencies,

• knowledge of application areas,• mastery of large and complex systems based on the knowledge of the constituting parts,• emphasis on general applicative knowledge, insights, methods and principles, that are

considered more important than encyclopedic factual knowledge and applicationdependent or time-related aspects.

Engineers, or Masters, who complete one of the Master programs will be technicalacademicians with a high level of abstraction and extensive technical knowledge and highlydeveloped capabilities for analysis, synthesis and design.

3.3 Structure of the Master programs

All programs comprise two years of study or 120 credit points (ects); a credit point is equivalentto 28 hours of study and homework. The courses are standardized to 4 credit points per course,i.e. 112 hours of work for the average student. The two years of course work and practicaltraining are divided into three equal parts, each consisting of:1. Mandatory core courses: 40 credit points, i.e. ten courses, depending on the variant, to

create a sufficient layer of theory and general or program related knowledge.2. Elective courses: 40 credit points, again ten courses. This elective part will serve as

preparation for the specialization. It is possible to allot up to 20 credit points towards aninternship with approval in advance from the study-program director. Students with aslightly different background may need to allot (at most) 14 credit points of the electives tocompensate for deficiencies.

3. Master project and thesis: 40 credit points or, approximately, 8 months to be spent on aspecialist topic of theoretical or practical nature. This part presents the opportunity to showyour independent engineering and academic skills in research and design.

3.4 Examination and titles

There is only one examination at the end of the program. It consists of final course results andthe final master project grade. Completion of the program will lead to the title: Master ofScience (MSc) with addition of the name of the program. Graduates are also entitled to use theDutch title of ingenieur (ir).

26



3.5 Admissions

General and specific Master program requirements are applicable to admissions. The specificrequirements may be higher in terms of knowledge prerequisites, but may also provide morepossibilities for entry for students from other related areas of specialization. Details areprovided in the next chapter.

3.5.1 General admissions requirementsTo be eligible for admission to any of the MSc programs, a Bachelor of Science degreecomparable to a Bachelor of Science Degree in Computer Science is required. This degree mustbe of an equivalent academic level and approximate scientific content as the correspondingDutch BSc degrees. In addition, sufficient English language proficiency is necessary.

3.5.2 Admissions with deficienciesFor students from other universities, a limited portion (at most 14 credit points) of the electivesmay be used to eliminate deficiencies. Arrangements must be made in advance in conjunctionwith the program director, the admissions committee and the exam committee.

3.5.3 Dutch studentsIn general, Dutch students with a university BSc degree in Computer Science are admissible tothe program without prior clearing from the admissions committee.

3.5.4 Foreign studentsThe applications of foreign students with a university BSc degree in Computer Science will beevaluated by the admissions committee, taking into account both the academic level of thedegree and the subjects studied by the applicant. In some special cases, relevant workexperience may also be considered. The level of the degree is determined by the NUFFIC(http://www.nuffic.nl).

3.5.5 Dutch HBO studentsStudents with a Dutch HBO bachelor degree in Computer Science can be admitted to the MScprogram, provided they have followed a trimester homologation program (20 credit points).This program can be completed either during HBO studies of after HBO graduation. Startingfrom 2004/2005, it may be possible to follow academic minors at the HBO that give directaccess to some of the Master programs. Contact your local school or Drs. H.P.J. van Geldrop-van Eijk ([email protected]) for more information.

3.5.6 Admissions ProcedureThe procedure to be followed depends on your particular situation. Detailed information on theapplication procedure can be found on the site of the Student Service Center of the TU/e,http://www.tue.nl/programmes. Foreign students must be aware that the admissionsprocedure, including visa application and other formalities, may take a while.

27



29

master program specifics

4.


4. Master Program Specifics

This Master program exists, informally, in three variants. The first one that goes under thegeneric name CSE is considered to be the main program, the other two, ES (EmbeddedSystems) and IST (Information Security Technology), are so-called master-specializations. Infact, they are special specializations because they are meant to become independent Masterprograms in the near future. Moreover, both of them are interdisciplinary; ES is a specializationin cooperation with the department of Electrical Engineering and IST cooperates with thedivision of Mathematics. These two Master-specializations will be addressed separately below.

Next to this informal division in variants, the program has six formal specializations, two ofwhich are the aforementioned master-specializations ES and IST, and the other four are: • CE: computational Engineering,• IS: Information Systems,• SE: Systems Engineering,• ST: software Technology.They represent the four different directions that may be chosen as technical specialization inthe project phase of the program. These four specializations will be presented in the nextchapter.

Chapter 5 presents the program specifics of the three variants.

4.1 Computer Science and Engineering

The MSc program in Computer Science and Engineering (CSE) at TU/e is a challenging two-year program. It rests on a sound theoretical foundation with an emphasis on design in general,and on the design of quality software in particular. As a graduate, you will have developed ascientific attitude and an engineering approach to the general field of Computer Science. Youwill be able to play a leading role in the development of the field, either in scientific research, inindustry, commerce or governmental organizations. The focus is on the design of efficient andreliable software systems. The complexity of these systems is the main (and intriguing)problem, especially in the common case of several communicating systems that are working inparallel.In order to construct dependable protocols for the behavior of such systems, you needknowledge of algorithms, performance, hardware, methods of design and documentation, andan insight into the variability and maintainability of these protocols.

4.1.1 CurriculumAs mentioned in section 3.3, the curriculum is divided in three equal parts. Below is anoverview of the mandatory courses. The mandatory courses concentrate on fields of theory

31



(2IW10, 2IF30, 2IF40), systems engineering (2II10, 2IW20, 2IW30) and program design(2II40, 2IL40, 2IN20).

Yr/Tr Code Course name credits

1.1 2IF30 Information security 4

1.1 2II10 Software architecting 4

1.1 2II40 Intelligent systems 4

1.1 2IW10 Programming and modal logic 4

1.1 Electives 4

1.2 2IF40 Proving with computer assistance 4

1.2 2IL40 Advanced algorithms 4

1.2 2IW20 Requirement analysis, design and verification 4

1.2 Electives 8

1.3 2IN20 Real-time architectures 4

1.3 2IW30 Software testing 4

1.3 Elective general academic education 4

1.3 Electives 8

2.1 Electives / internship 20

2.2/2.3 2IM90 Master project 40

One course of general academic education must be selected. Suggestions of courses offered bythe section of Philosophy and Ethics of Technology of the division Algemene Wetenschappen ofthe department of Technology Management are: 0K061, 0K111, 0L121, 0L351 and 0L811. Thereader is referred to owinfo.tue.nl (click “subject information”) for further information on thesecourses.

The electives offered by the division of computer science are listed in section 4.4. Otherelectives may be selected whenever this leads to a better preparation for the final master project.Approval in advance by the program director and the supervisor for the final project is required.In some cases, an internship may replace some electives. In the section on planning, the detailsof this possibility will be discussed.

4.1.2 Master projectThe Master project can be completed in any of the fields of interest in the department, as longas a staff member is supervising it. The CS division has four sections, each offering aspecialization profile. For details on the sections and specialization profiles, please refer tochapter 5.

32



These sections are not only organizational concepts, but are each linked to correspondingspecializations in the Master program, as mentioned in the introduction of this chapter. Thepreparation that is needed for a successful master project in one of these four specializationscan be achieved through careful elective selections. In order to compose a well-balancedprogram that provides adequate prerequisites for the final project, it is advisable to first chooseand consult a project supervisor in the area of expertise of your interest before schedulingelective courses. You may also want to consult the master-coordinator.For the requirements to be met by students for master project work, please refer to the sectionon planning.

4.1.3 Further details• The program director is prof.dr.ir. J.F. Groote, e-mail: [email protected].• For more information consult the CSE webpage http://www.win.tue.nl/inf/cse/.

4.2 Embedded Systems

The design of innovative software and hardware is the kernel of technological and industrialprogress. Both the departments of Mathematics and Computer Science and ElectricalEngineering play an active role in the development of new, innovative technology. The Masterof Science program in Embedded Systems at the TU/e is illustrative of this active role, as it is aco-production of these two departments, awaiting students with a background in computerscience, as well as graduates from the field of electrical engineering. It is a specialization inboth the CSE Master program and the Master program in Electrical Engineering andInformation Theory.The program rests on a sound theoretical foundation, with an emphasis on the design of qualityembedded systems. As a graduate of this program, you will have developed a scientific attitudeand an engineering approach to the field. Your area of expertise will be the design of embeddedsystems from a high-level architecture viewpoint, via requirements and behavioral specificationsand using platforms, hardware and silicon. You will be able to play a leading role in thedevelopment of embedded systems, either in scientific research, in industry or governmentalorganizations. ES focuses on the design of efficient and reliable systems. In order to be able tocompose dependable protocols for the behavior of such systems, you need knowledge ofalgorithms, performance, hardware, methods of design and documentation, and an insight intothe variability and maintainability of these protocols.

4.2.1 CurriculumThe curriculum consists of both computer science and electrical engineering courses. Below thecurriculum is outlined, with special attention to the mandatory courses.

33





1.1 2R880 Automated reasoning 4

1.1 5KK00 Designing embedded systems on silicon 4

1.1 Electives 8

1.2 2IW00 The context of embedded systems design 4

1.2 2IW20 Requirement analysis, design and verification 4

1.2 5KK10 Processor architectures and program mapping 4

1.2 Electives 8

1.3 2DI30 Performance modelling 4

1.3 2IW30 Software testing 4

1.3 5KK20 Multiprocessors 4

1.3 5KK53 Implementing large scale embedded 4processors on deep-submicron silicon

1.3 Elective 4


2.2/2.3 2IM90 Master project * 40

*) In case the master project is done within the Electrical Engineering department the code is 5T716.

Students can choose a specialization independently of the focus of their BSc. However, astudent with a software background who wants to graduate with a master project on a hardwareresearch subject will probably need to take some extra electrical engineering subjects in theelectives part of the curriculum to be adequately prepared to take part in the research. Similarly,a student with a hardware background will probably need to take some computer sciencecourses.The electives may be selected from the list that is presented in section 4.4. There are alsoelective electrical engineering courses. Please refer to the department of Electrical Engineeringfor an overview of these electives. Other electives may be selected whenever this leads to a betterpreparation for the final master project. Approval of the program director is required.In some cases, an internship may replace some electives. In the section on planning, the detailsof this possibility will be discussed.

4.2.2 Master projectThe final projects in this variant are preferably strongly constructive in nature. The project maybe performed in any of the fields of interest in the two participating departments; Mathematicsand Computer Science and Electrical Engineering. In this MSc program, there are nodistinguishing specializations as is the case with CSE. Students are free to choose a supervisorand an area of specialization; however, approval from the program director is required.

34



For requirements with respect to the start of the master project, please refer to the section onplanning.

4.2.3 Further details• The program director is prof.dr.ir. J.F.Groote, e-mail: [email protected].• Admission is also possible in the corresponding specialization of the Master program

Electrical Engineering and Information Theory of the department of Electrical Engineering.• In addition to the general admission requirements mentioned in chapter 3, admission is

also possible for students with a bachelor degree in electrical engineering. The distinctionbetween students with a university degree and students with an HBO degree is similar tothat described in chapter 3.

• For more information please access the ES page at http://www.win.tue.nl/inf/es/.

4.3 Information Security Technology

A Master of Science in Information Security Technology is an academic expert in the area ofdigital communication in general, and in information security technology in particular.Information security technology protects data that are stored, transmitted, accessed or modifiedagainst all kinds of threats. This can vary from unauthorized access to malicious manipulations.Information security technology is essential for secure communication and data protection inmany situations.The ultimate goal of the IST Master program is to transform Bachelors of computer science ormathematics into academic experts in this area. The interdisciplinary program is set up andcarried by both divisions of the department of Mathematics and Computer Science. It is aspecialization in both the CSE Master program, as well as in the Master program in Industrialand Applied Mathematics.A Master of Science in Information Security Technology can become involved in cryptographicprimitives, security protocols, data storage, communication, or information securitymanagement. Additionally, he or she can act as internal or external consultant, regarding thesafety of information systems and networks, or regarding the security policy of an organization.A Master in Information Security Technology can enter a job in the following institutions:research laboratories and academic institutes (both for theoretical and applied work); appliedR&D in industry; the financial world; governmental agencies; consultancy agencies (all withrespect to security in the area of information systems and relevant policymaking).

4.3.1 CurriculumThe curriculum consists of both computer science courses and mathematics courses. Below isan overview of the mandatory courses.

35




1.1 0T613 English for scientific communication 4

1.1 2IF30 Information Security 4

1.1 2WC00 Cryptographic algorithms 4

1.1 2WC03 Mathematics for IST 4

1.1 Elective 4

1.2 2WC01 Cryptographic protocols 4

1.2 Electives 16

1.3 2II50 IT-governance 4

1.3 2R890 Verification of security protocols 4

1.3 2WC02 Cryptographic systems 4

1.3 2WC06 Hackers Hut 4

1.3 Elective 4


2.1 2IF04 Seminar IST 4

2.1 Electives 12


4.3.2 Master projectThere are no specializations in this variant. The master project can be completed undersupervision of the staff of any of the groups in the department, provided the program and thesubject are chosen in agreement with the program director.For requirements with respect to the start of the master project, please refer to the section onplanning.

4.3.3 Further details• The study-program manager is dr. S. Mauw, e-mail: [email protected].• Admission is also possible to the corresponding specialization of the Master program in

Industrial and Applied Mathematics of the Mathematics Division.• Students with a Bachelor’s degree in Computer Science or Mathematics from another

university or with a different background will have to submit their curriculum to theAdmissions Committee for evaluation and approval. Very likely, these students will have togo through a special homologation phase that takes place during the first term of theprogram.

• For more information consult the IST webpage at http://www.win.tue.nl/inf/ist/.

36



4.4 Electives

In this section, all courses at MSc level offered by the CS Division are outlined.Items on this list can be selected as electives towards degree completion for all the Masterprograms and variants thereof offered by the CS Division, as long as they are not mandatory forthe program in question. All courses have a study point value of 4 credits.For the electives from the departments cooperating in the interdisciplinary programs, pleaserefer to the pertaining sources of information.

Code Course name

First trimester

2DI40 The Linux operating system

2ID30 Database technology

2IF01 Process algebra

2IF04 Seminar information security technology

2IF30 Information security

2II10 Software architecting

2II20 Web information systems

2II40 Intelligent systems

2IL00 I/O efficient algorithms

2IN30 VLSI programming

2IV50 Interactive virtual environments

2IW10 Programming logic and modal logic

2IW40 Programming by calculation

2IW50 Algorithms for model checking

2R880 Automated reasoning

5P340 Information theory 2 (only for IST)

Second trimester

2ID00 Database models

2ID20 Adaptive hypermedia

2IF40 Proving with computer assistance

2IF50 Language and structure of mathematics

2IL40 Advanced algorithms

2IN40 Heuristic search

2IN50 Parallel computations and applications

2IV30 Visualization

37



2IW00 The context of embedded system design

2IW20 Requirement analysis, design and verification

2R696 Software project management

2WF02 Algebra and geometry (only for IST)

Third trimester

2DI30 Performance modelling

2ID10 Information retrieval

2II30 Process modelling

2II50 IT-governance

2IL20 Geometric algorithms

2IN20 Real-time architectures

2IN90 Capita selecta software architecture and networking

2IS20 Software construction

2IV00 Additional component computer graphics

2IW30 Software testing


2R890 Verification of security protocols

2WC05 Coding and crypto (only for IST)

2WX01 Communication skills

5K020 Information theory 1 (only for IST)

5N500 Introduction to digital communication (3 ects; only for IST)

Capita selecta

2IF90 Capita selecta formal methods

2II90 Capita selecta information systems

2IL90 Capita selecta algorithms

2IS90 Capita selecta software construction

2IV90 Capita selecta visualization

2IW90 Capita selecta design and analysis of systems

4.4.1 InternshipIn some cases an internship may be a valuable addition to the program. Especially for thosestudents that do not have experience with the real world applications of the computer sciencetheory a possibility is offered to do an (necessarily) external internship of at most 20 creditpoints as part of the electives. In general, internships will only be allowed for students thatfollowed a Bachelor program at the TU/e. Requests for internships accompanied by convincing

38



arguments explaining the reasons why the intended internship fits into the program are to besent to the educational director or the master-coordinator.

4.5 Planning

The Master program is a short program. In only two years, you must meet several conditionsand obligations and advance planning may help to meet them in time, so that the study is notunnecessarily prolonged.

A reverse inventory gives the best view on the schedule to be kept. The master project is doneapproximately in the last eight months of the study (it represents 40 ects, which is theequivalent of two-thirds of an academic year). During that period, you should be able to spendfull time and concentration on your project, with no remaining coursework from thecurriculum to distract you. In practice, however, it turns out to be rather difficult to plancurricular activities and, especially, their success. Therefore, we leave room for, at most, twocourses to be finished during the master project period. Be aware that you are not allowed tofinish your project before all your courses are completed.

The start of your master project is marked by submitting a completed form containing thenecessary information on the project (name, place, period, supervisor, company and so on) andstating the fact that you have completed your curricular part of the program (except for at mosttwo courses). The form must be signed by you, your supervisor and the master-coordinator.Prior to this step, you need:• an approved program. The exam committee must approve your program consisting of the

mandatory courses and your choice of the electives. In order to obtain this approval youconstruct a program, possibly with the help of the master-coordinator, have it signed byyourself and the supervisor of your choice and hand it in at the student administration office(HG 6.33).

• a supervisor. After a while you will probably have a clear picture of the academic directionyou want to pursue in your studies. If not, you may want to talk to several staff members,along with the master-coordinator. In the area of expertise for your subject, there are peoplethat you may want to be involved with as you complete the master project. You shoulddiscuss and try to reach agreement with these people on the prerequisites and the curricularprogram that is needed to fruitfully complete the project.

As a rule of thumb, you should start your search for a supervisor and the construction of yourindividual program at the end of the second trimester, but not later than the end of the thirdtrimester. This is because some room for the special needs for the specific project should be leftin the third and forth trimesters. The master-coordinator may be helpful to you in this regard.

39



41

specializations

5.


5. Specializations

In this chapter, you can read about the different specialization options within the CS Division.Students may focus on one of the four specialization profiles. Details on non-divisionalspecialization options are available through the academic advisor.

5.1 Specialization Profile: Computational Engineering (CE)

The areas of expertise of the Computational Engineering specialization are as follows:• Algorithms (ALG)• Visualization (VIS)

These two closely linked areas cooperate intensely with one another. This close link is, forinstance, evident in the use of algorithms in visualization applications to improve performancespeed. It is therefore rather easy to switch between these two areas of expertise.

5.1.1 AlgorithmsContact person: Prof.dr. M.T. de Bergwww: http://www.win.tue.nl/algo/

The question of creation, storage, analysis and manipulation of spatial data is relevant to manyareas in Computer Science. This relevancy is evident, for example, in the areas of Robotics,Computer Graphics, Virtual Reality and Geographical Information Systems. Imaginecalculating the most efficient route for a moving robot through a plant while it avoids allobstacles in its way, or phantom calculating the least populated spot in a 20-kilometer radius forthe location of a new airfield. These are examples of typical problems for study within thissubject matter. The focus of this area of expertise is to study techniques and concepts for thedesign and analysis of efficient algorithms and data structures, with emphasis on algorithms forspatial data. Typical master projects are either experimental or theoretical in nature, dependingon the interests of the student.

Core courses for the ALG area of expertise are:• I/O efficient algorithms (2IL00)• Advanced algorithms (2IL40)• Geometric algorithms (2IL20)• Capita selecta algorithms (2IL90)

43

specializations


Other relevant courses:• Intelligent systems (2II40)• Heuristic search (2IN40)• Additional component computer graphics (2IV00)• Visualization (2IV10)

5.1.2 VisualizationContact person: dr. ir. H. van de Weteringwww: http://www.win.tue.nl/vis

The focus of this area of expertise is on the development of new methods and techniques forinteractive visualization in order to analyze and manipulate large datasets. This diverse subjectstudies the application of technology to visualize abstract data, such as tree structures, networksand multivariate data, in fields such as DNA analysis and software engineering. In addition,research attention is paid to the visualization of continuous data, such as flow and medicalapplications. Other frequently researched subjects are the use of texture and the extraction ofcharacteristics and 3D interaction and presentation. The Personal Space System, a desktopvirtual reality application, is now being developed in a joint venture with the National ResearchInstitute for Mathematics and Computer Science (CWI). The goals of this project are to developmethods for calibration, input - including 2D/3D combination input - and pattern matching andto build and evaluate applications.

Core courses for the VIS area of expertise are:• Geometric algorithms (2IL20)• Additional component computer graphics (2IV00)• Visualization (2IV30)• Interactive virtual environments (2IV50)• Capita selecta visualization (2IV90)

Other relevant courses:• Image technology (0H060)• Intelligent systems (2II40)• I/O efficient algorithms (2IL00)• Heuristic search (2IN40)

5.2 Specialization Profile: Information Systems (IS)

The areas of expertise of the specialization profile Computational Engineering are as follows:• Databases en Hypermedia (DH)• Architecture of Information Systems (AIS)

Contact person: dr. A.T.M. Aerts

44

specializations


5.2.1 Databases and HypermediaThe focus of DH is on the study of basic technologies that are used to build moderninformation systems -databases- to store and manage information, and hypermedia to provideaccess to the information. Since the mid-nineties, the focus is on adaptive interfaces formultimedia information disclosure. Almost all information sources contain a wealth ofinformation of which only a small subset is of interest to any particular user. Adaptation, orautomatic personalization, must ensure that each user is guided (automatically) to theinformation that is relevant to him.Adaptive Hypermedia is studied at the conceptual and the practical level: the former is donethrough the study of the Adaptive Hypermedia Application Model (AHAM), the latter throughthe development of the Adaptive Hypermedia Architecture (AHA), a general-purpose web-basedadaptive hypermedia system.

5.2.2 Architecture of Information SystemsThe focus of AIS is to investigate methods, techniques and tools for the design of architecturesfor complex information systems based on requirements or (a description of) an existingsystem.An architecture is a collection of models that are described in such a way that properties ofthese models, and thus the systems, can be formally analyzed. The research concentrates onformalisms for modeling and methods to analyze models. Modeling processes is one mainfocus, using theory from Petri nets and process algebra. Another main focus is on Web-basedinformation systems, especially the architecture for the processes of exchanging data throughthe Web.

Relevant courses for the IS area of expertise are:• Database models (2ID00)• Information retrieval (2ID10)• Adaptive hypermedia (2ID20)• Database technology (2ID30)• Software architecting (2II10)• Web information systems (2II20)• Process modeling (2II30)• Intelligent systems (2II40)• IT-governance (2II50)• Capita selecta information systems (2II90)

5.3 Specialization Profile: Systems Engineering (SE)

The areas of expertise of the Systems Engineering specialization are as follows:• Design and Analysis of Systems (OAS)• System Architecture and Networks (SAN)

45

specializations


5.3.1 Design and Analysis of SystemsContact person: Prof.dr.ir. J.F. Groote

The focus of this area of expertise is on verification technology. When engineering computer-based systems, mastering the development process and the quality of the final product becomesvery important.The development process benefits from a well-documented trajectory where in each phase thestate of the total design is documented precisely and adequately. This requires a mixture ofinformal and formal prose, in combination with graphical techniques to make the decisions andstructure of the systems easy to comprehend. When carefully denoting a design of existingsystems, many inherent problems are easily and inexpensively exposed. By using prose only,one can easily avoid the task to denote a design precisely. Therefore, a formal specificationtechnique, in this case mCRL [www.cwi.nl/~mcrl], process algebra extended with equationalabstract data types and time, is required.

Generally, careful design of systems is not sufficient to guarantee that they operate according toall expectations. Especially when systems become more complex, additional techniques areneeded to establish that the system indeed will perform its intended functionality well. Muchattention is given to analysis techniques for designs. There are many different approaches. Onecan try to establish that a design meets its specification from a higher-level design, or one canshow that a design enables a number of properties. For small systems, a plethora of prooftechniques is used, which can be employed by hand, and which find their roots in processalgebra. For larger designs, the mCRL toolset [www.cwi.nl/~mcrl] can be used to proveproperties of much larger systems. The mCRL toolset is based on the concept of a linear processoperator and can therefore, in principle, deal with huge systems, with the largest systemcurrently one that consists of 250 parallel components, for which each component requiresapproximately 10 pages to be described. Unfortunately, for such large systems, only very limitedanalysis capabilities (contrary to medium-sized descriptions) are available and therefore a greatdeal of research attention is focused on symbolic proof techniques in a broader sense.

Relevant courses for the OAS area of expertise are:• Proving with computer assistance (2IF40)• Software Architecting (2II10)• The context of embedded system design (2IW00)• Programming logic and modal logic (2IW10)• Requirement analysis, design and verification (2IW20)• Software testing (2IW30)• Programming by calculation (2IW40)• Algorithms for model checking (2IW50)• Automated reasoning (2R880)• Capita selecta design and analysis of systems (2IW90)

46

specializations


5.3.2 System Architecture and NetworksFor inquiries, please access the website at http://www.win.tue.nl/san/.Contact person: drs. R.H. Mak

Imagine an electronic system that is not somehow networked with other systems. Found one?Must be a pretty boring system then, since one of the fascinating developments of the last yearsis that devices of all forms, factors and functionality have become connected. This area ofexpertise focuses on the study of parallel and distributed systems. The emphasis is on thearchitecture of networked embedded systems, including hardware and software aspects. Thestudy aims to advance design methodologies and the application of quantitative analyses of realsystems.A few current points of attention are:• home networking - embedded intelligence and intelligent cooperation• embedded processor architectures• component-based systems - predictability of non-functional requirements• large-scale parallel computing - scientific simulation

Much of the work is done in cooperation with industry through national and internationalprojects. Several other divisions within TU/e cooperate for these projects; most notably,Electrical Engineering, Industrial Design, Bio-Medical Engineering and Chemical Technology.

Core courses for the SAN area of expertise are:• Software architecting (2II10)• Real-time architectures (2IN20)• VLSI programming (2IN30)• Heuristic search (2IN40)• Parallel computations and applications (2IN50)• Capita selecta software architecture and systems (2IN90)

Other relevant courses are:• Adaptive hypermedia (2ID20)• Information security (2IF30)• Language and structure of mathematics (2IF50)• Advanced algorithms (2IL40)• Web information systems (2II20)• The context of embedded system design (2IW00)• Requirement analysis, design and verification (2IW20)• Software testing (2IW30)• Verification and security protocols (2R890)

47

specializations


5.4 Specialization Profile: Software Technology (ST)

The areas of expertise of the Systems Technology specialization are as follows:• Software Construction (SoC)• Formal Methods (FM)

5.4.1 Software ConstructionContact person: dr. ir. C. Hemerik

The focus of this area of expertise is on using abstraction and mathematics in the constructionof computer programs, the emphasis being on program construction (as opposed toverification).The fundamental problem is the conflict between precision and conciseness in the use offormal methods. Informal reasoning can be more concise than formal reasoning, but at theexpense of precision (and thus reliability); on the other hand, formal methods can increaseprecision, but often at the expense of conciseness (thus impeding creativity). Only theories ofprogramming in which the two are reconciled can make a significant contribution toprogrammer productivity.The contribution that university research can offer to the practical problem of software design isthe identification of good abstractions, and their incorporation into programming methods.Well-established examples of such contributions are invariants, fixed points, higher orderfunctions and type polymorphism.

Very recent examples that have attracted much attention because of their great potential are thework on design patterns in object-oriented programming and that on so-called “genericprogramming”. The former has attracted much interest worldwide but lacks theoreticalunderpinnings. The latter emanated from the Dutch STOP (Specification and Transformationof Programs) project. In addition, typed lambda calculi provide a unifying framework for manynotions from mathematics, logic and computer science. One viewpoint is to consider them aslogical systems with explicit proof objects, a feature which facilitates automated constructionand verification of proofs. Another way of looking at them is as functional programminglanguages with a rich type structure, which is useful in the analysis and design of programminglanguages. Combining the two viewpoints leads to formal systems in which programs, datatypes, specifications, theorems and proofs are fully integrated.

Relevant courses for the SoC area of expertise are:• Software construction (2IS20)• Programming by calculation (2IW30)• I/O efficient algorithms (2IL00)• Advanced algorithms (2IL40)• Geometric algorithms (2IL20)• Capita selecta software construction (2IS90)

48

specializations


5.4.2 Formal MethodsContact person: Prof.dr. J.C.M. Baeten

Research in Formal Methods is a systematic and scientific study of issues in Computer Science,based on solid mathematical principles. The area of Formal Methods concerns fundamentalresearch and considers systems and constructions used in Computer Science. Theseconstructions are described exactly in a formal syntax and are supplied with formal semantics,whenever appropriate. Formal Methods increase understanding of systems, increase clarity ofdescription and help solve problems and remove errors. The use of Formal Methods increasesdependability and usability of constructions and systems in Computer Science. Formal Methodsare not studied in isolation, but for practical application. Thus, choice of research topics isinspired by the practice of Computer Science. To support application, existing tools are usedand new tools are developed.Based on our expertise and the benefits expected in application, we focus on the followingspecific areas:• Process algebra• Theorem proving and type theory• Security• Formal methods in software development• Verification and testing

Relevant courses for the FM area of expertise are:• Process algebra (2IF01)• Information security (2IF30)• Proving with computer assistance (2IF40)• Language and structure of mathematics (2IF50)• Programming and modal logic (2IW10)• Requirement analysis, design and verification (2IW20)• Software testing (2IW30)• Automated reasoning (2R880)• Verification of security protocols (2R890)• Capita selecta formal methods (2IF90)

49

specializations


51

master program regulations

6.


6. Master program regulations

6.1 Course and exam regulations

The board of the Mathematics and Computer Science department

taking into consideration: Articles 7.13, 9.15, 9.18, and 9.38 of the Higher Education andResearch Act;

given the Departmental Council’s decision dated June 29th, 2005, consenting to the proposeddecision to adopt the Education and Examination Regulations for the Computer Science andEngineering Master’s Degree Program;

given the recommendation dated May 23rd, 2005, of the Study-program Committee for theComputer Science and Engineering Master’s Degree Program

HEREBY DECIDES:

to adopt the following Education and Examination Regulations for the Computer Science andEngineering Master’s Degree Program:

Chapter 1 General

Article 1 Applicability of the regulationsThese regulations apply to the courses and final examination of the Computer Science andEngineering Master’s Degree Program, hereinafter called: the program.The program will be given within the Mathematics and Computer Science department,hereinafter called: the department.

Article 2 Definitions 1. For the purpose of these regulations, the following definitions apply:

a. the Act: the Higher Education and Research Act (Wet op het Hoger Onderwijs en Wetenschappelijk Onderzoek).

b. working day: Monday up to Friday, except official holidays.c. examination period: a period designated by the Executive Board and recorded yearly in

the academic agenda, in which interim examinations can be taken.d. academic holiday: the period between the examination period at the end of the spring

trimester and the examination period in August.

53



e. oral interim examination: an assessment of a program unit only by an interview of the student by one or more examiners; a final discussion in which the student justifies an assignment is not an oral interim examination.

2. Where these regulations refer to ‘students’, this will also include external students (extraneï).

Article 3 Aims of the programThe aims of the program are:- to teach specialized knowledge, insight and skills in the field of program constructions and

program controlled systems,- to prepare students for jobs such as system developer, architect or software analyst, and- to prepare students for training as researchers or designers in the field of program

controlled systems.

Article 4 Form of the programThe program is full-time but can also be taken part-time.

Article 5 Final examination of the programThe program concludes with a final examination.

Article 6 Language1. The courses, the interim examinations and the final examination will all be in English.2. To participate in the courses, interim examinations and final examination of the program,

students must have sufficient command of English. Students with one of the followingqualifications are considered to meet the requirements:a. a VWO (Dutch pre-university education) diploma, which included English as part of the

final examination to obtain that diploma; b. a secondary education diploma from an English-speaking secondary education institute; c. a pass or exemption from one of the following tests:- TOEFL (minimum score: paper-based test: 575; computer-based test: 232);- IELTS (minimum score of 6.0 for all units).

Chapter 2 Structure of the program

Article 7 Study load of the programThe program’s study load is 120 credits. One credit is equivalent to 28 hours of study.

Article 8 Content of the program1. The program comprises the following specializations (or: the specializations referred to in

the annex):- computer science and engineering;- embedded systems;- information security technology.

54



2. The program comprises at least the program units referred to in the annex, with a totalstudy load of 40 credits.

3. Apart from the program units referred to in paragraph 2, the program comprises a numberof program units which students choose with the approval of the Examinations Committee.These units together account for 40 credits.

4. In addition, the program comprises a master’s project with a study load of 40 credits.

Article 9 Not applicable

Chapter 3 Approval of program units

Article 10 Approval procedure1. A student must submit a request for approval of the choice of one or more program units,

as referred to in Article 8 of these regulations, to the Examinations Committee at least twomonths before he/she registers for the final examination.

2. A student must submit a request for permission for a flexible program, as referred to inArticle 7.3c of the Act, to the Examinations Committee at least two months before he/sheregisters for the first interim examination of the program.

3. A decision to deny approval or permission is made by the Examinations Committee, statingreasons and after the student has been given the opportunity to be heard.

4. The Examinations Committee will make a decision within 20 working days of receiving therequest or, if the request was submitted during an academic holiday, within ten workingdays of the end of the holiday. The Examinations Committee can postpone the decision forup to ten working days. The student must be notified of the postponement in writing beforethe end of the period referred to in the first sentence.

5. The student will be notified of the decision immediately and in writing. If the ExaminationsCommittee has not reached a decision within the period (including a possiblepostponement) referred to in paragraph 4, the approval or permission may be considered tohave been granted.

Chapter 4 Interim examinations

Article 11 Times and frequency of interim examinations 1. Students must be given the opportunity to take interim examinations for the program units

referred to in Article 8 at least twice a year, namely during the examination period at theend of the trimester in which the teaching for the program unit concerned ended, andduring the examination period in August or another examination period.

2. In derogation of the provisions specified in paragraph 1, if a specific program unit has notbeen taught in a certain academic year, students will be given at least one opportunity totake the interim examination for that program unit in that year.

55



3. In special cases, the Examinations Committee may, at the student’s request or otherwise,allow derogations from the provisions in paragraphs 1 and 2.

Article 12 Sequence of interim examinations1. The interim examinations for the master’s project cannot be taken until the interim

examinations of all other program units, with a total study load of 80 credits, have beenpassed.

2. The Examinations Committee may, in special cases, derogate from the provisions inparagraph 1.

Article 13 Form of the interim examinations1. The interim examinations for the program units referred to in Article 8 will be taken in

writing, with the exception of the interim examinations referred to in the annex, which willbe taken in the form as indicated in the annex. At the student’s request, the Examinations Committee may, in special cases, allow aninterim examination to be taken in a form different from that which is prescribed.

2. Physically or sensory impaired students will be given the opportunity to take their interimexaminations in a way that is adapted to their individual handicap as much as possible. Ifnecessary, the Examinations Committee will seek expert advice before making a decision.

Article 14 Oral interim examinations1. No more than one person will be given an oral interim examination at a time, unless the

Examinations Committee has decided otherwise. 2. Oral interim examinations will be taken publicly unless the Examinations Committee has

decided otherwise. 3. An oral interim examination will be taken by two examiners, where one of the examiners is

appointed by the Examinations Committee as the first examiner.

Chapter 5 Interim examination results

Article 15 Determination and notification of interim examination results 1. Immediately after an oral interim examination, the examiners will determine the result and

provide the student with a written statement to that effect.2. The examiner will determine the result of a written interim examination as soon as possible,

but within 15 working days after the interim examination. The examiner will provide thedepartment administration with the necessary information. The administration willimmediately notify the student of the result.

3. Interim examinations taken in other than oral or written form are usually taken bydelivering a report or an elaboration of exercises, here referred to as a piece of work. In casethat several pieces of work need to be delivered, the last piece of work is meant. Theexaminer will determine the result of such an interim examination as soon as possible, butwithin 15 working days after the final delivery date that has been determined by the

56



examiner and has been communicated to the student, provided that the piece of work hasbeen delivered by the student to the examiner on this date at the latest. The examiner willprovide the department administration with the necessary information.

4. In the statement giving the result of a written interim examination, the student will benotified of the right of perusal, as referred to in Article 17, paragraph 1, the possibility ofappeal to the Examination Appeals Board, and the period within which the appeal must belodged.

Article 16 Period of validitySuccessfully passed interim examinations are valid for an unlimited period.In derogation of this, if a student passed an interim examination in a certain program unitlonger than six years previously, the Examinations Committee may require him/her to take asupplementary or substitute interim examination.

Article 17 Right of perusal1. For a period of at least 20 working days after being notified of the result of a written interim

examination, the student will have the right to peruse the assessed work. He/she can alsorequest a photocopy of the work, which will be provided at cost price.

2. The Examinations Committee may decide that perusal takes place at a fixed place and atleast two fixed times. If the student in question proves that he/she is or was unable to attendat the specified time and place due to circumstances beyond his/her control, an alternativewill be offered, if possible within the period referred to in paragraph 1.

3. During the period referred to in paragraph 1, any interested person can obtain the questionsand assignments of the interim examination in question, and, if possible, the standardsapplied in assessing it.

Chapter 6 Exemption

Article 18 Exemption from interim examinations At the student’s request, the Examinations Committee may, after consultation with theexaminer concerned, exempt the student from an interim examination for a program unitreferred to in Article 8, if the student meets at least one of the following conditions:1. he/she has passed the interim examination for a program unit equal in content and study

load, from another university program, from the Open University or from a comparablestudy program in the higher professional education in the Netherlands;

2. he/she has proof of knowledge or experience acquired outside Dutch higher education, orother activities performed in a different context.

57



Chapter 7 Final examination

Article 19 Registering for a final examination resultAt least three times a year, the Examinations Committee will determine the results of a finalexamination for those students who have registered for the final examination at the StudentService Center.

Article 20 Final examination results and certificates1. The Examinations Committee will check whether a student has passed the necessary

interim examinations for the program in question. If this is the case, the student has passedthe final examination.

2. In derogation of paragraph 1, before determining the result of the final examination, theExaminations Committee may instigate its own assessment of the student’s knowledge,insight and skills in relation to one or more of the program units of the program.

3. The Examinations Committee will issue a certificate as proof that the student has passed thefinal examination. The certificate will be signed on behalf of the Examinations Committeeby the chairman and at least one other member of the Examinations Committee. When thecertificate is presented, the student will be informed of the possibility of appealing to theExamination Appeals Board, and the period within which the appeal must be lodged.

4. If a student shows exceptional ability, this can be expressed on the certificate in the words‘cum laude’.

5. Students who pass the final examination will be awarded the degree of Master of Science.The degree will be specified on the certificate of the final examination, together with thesubject of the degree program.

Chapter 8 Admission

Article 21 Admission to the programThe following persons will be admitted to the program:1. those who have passed the final examination of the Technische Informatica Bachelor’s Degree

program at the TU/e;2. those who have proof of admission issued by the Executive Board for the academic year in

question.


Article 23 Flexible intake1. In derogation of Article 21, paragraph 1, and if there is sufficient teaching capacity for the

program, the Examinations Committee may decide that a student who is registered in theTechnische Informatica Bachelor’s Degree program at the TU/e may be admitted to theprogram before he/she has passed the final examination of the Bachelor’s Degree programin question.

58



2. In any event, admission as referred to in paragraph 1 will be granted if the student hassufficient results for and/or exemption from program units in the Bachelor’s Degreeprogram with a total study load of at least 160 credits, and

3. Students admitted to the program on the basis of the provisions in this article cannot takethe interim examination for the master’s project, as specified in Article 12, until they havepassed the final examination of the preceding Bachelor’s Degree program.

Article 24 Proof of admissionThe following persons are eligible for a proof of admission, as referred to in Article 21,paragraph 2:a. those who have proved that they have sufficient command of the English language, as

specified in Article 6 andb. have a certificate which is at least equal to the certificate referred to in Article 21,

paragraph 1.Those who have otherwise shown in the opinion of the admissions committee of the programthat they are suitably qualified to follow the program are also eligible for a proof of admission.

Article 25 Selection in the event of limited teaching capacityIf the Executive Board has limited the teaching capacity of the program and the number ofapplicants exceeds this capacity, the Executive Board (or its representatives) will give prioritywhen issuing proof of admission to those students deemed most qualified, on the basis ofpreviously acquired knowledge, insight and skills, in accordance with the selection criteria andthe procedure approved by the Executive Board.

Chapter 9 Student counseling

Article 26 Students’ progress and student counseling 1. The Departmental Board will ensure that students’ progress is recorded in such a way that,

at least once every trimester, each student can be provided with a summary of his/herresults in relation to the education and examination program.

2. The Departmental Board will provide counseling for all students registered in the program,partly for the purpose of informing them of possible study options within and outside theprogram.

Chapter 10 Final provisions

Article 27 ‘old style’ interim and final examinations1. For students who were registered in the Technische Informatica program in the academic

year preceding the introduction of these regulations, as well as students who registered forthe first time for the shortened program in the academic year 2003- 2004, the education

59



and examination regulations adopted/changed on July 1st, 2002, will continue to apply, onthe following condition:until September 1st, 2009, students who have passed the kandidaats examination of thatprogram will be given the opportunity to take the final examination.

2. The courses preparing for the final examination referred to in paragraph 1 will be taught forthe last time in the 2006-2007 academic year.

3. In special cases, the Examinations Committee may give permission to students other thanthose referred to in paragraph 1 to take interim examinations and final examinations inaccordance with the education and examination regulations referred to in paragraph 1.

Article 28 Transfer from ‘old style’ to ‘new style’Students as referred to in Article 27, paragraph 1, who have passed the first-year (propadeutic)and the kandidaats examinations of the five-year Technische Informatica program, can participatein the Master’s Degree program under these education and examination regulations, on thefollowing conditions:a. earlier academic results in the post-kandidaats phase can be rated as meriting exemption

from similar units in the ‘new style’ program;b. participation is open, as long as the phased introduction of courses and interim

examinations in accordance with these regulations effectively permits it.

Article 29 Changes1. Changes to these regulations will be adopted by the Departmental Board, in the legally

prescribed manner, by a separate decision.2. No changes will be made that are applicable to the current academic year, unless it can be

reasonably assumed that the students’ interests will not be harmed.3. Furthermore, changes cannot affect the following to the students’ disadvantage:

- the approval obtained pursuant to Article 8, paragraph 3;- any other decision regarding a student made by the Examinations Committee pursuant

to these regulations.

Article 30 Publication1. The Departmental Board will be responsible for the appropriate publication of these

regulations, the rules and guidelines adopted by the Examinations Committee, and anychanges to these documents.

2. Interested persons can obtain a copy of the documents referred to in paragraph 1 from thedepartment office.

Article 31 Effective Date These regulations will take effect on September 1st, 2005.

Hereby adopted by decision of the Mathematics and Computer Science Departmental Board, onJuly 4th, 2005.

60



6.1.1 Annex to the Masters’ Programs Course and Exam RegulationsComputer Science and Engineering

Computer Science and Engineering Courses:

Yr/Tr Code Course name credits Examinations

form A B C D E F Interim

1.1 2IF30 Information security 4 w+a 1st 2nd

1.1 2II10 Software architecting 4 w+a 1st 2nd

1.1 2II40 Intelligent systems 4 w+a 1st 2nd

1.1 2IW10 Programming and modal logic 4 w 1st 2nd

1.1 Electives 4

1.2 2IF40 Proving with computer assistance 4 w+a 1st 2nd

1.2 2IL40 Advanced algorithms 4 a

1.2 2IW20 Requirement analysis, design 4 w+a 1st 2nd

and verification

1.2 Electives 8

1.3 2IN20 Real-time architectures 4 w+a 1st 2nd

1.3 2IW30 Software testing 4 w 1st 2nd

1.3 Elective general academic education 4

1.3 Electives 8



w = written; a = assignment

61



Embedded Systems Courses:




1.1 2R880 Automated reasoning 4 w+a 1st 2nd

1.1 5KK00 Designing embedded systems 4 w 1st 2nd

on silicon

1.1 Electives 8

1.2 2IW00 The context of embedded systems 4 adesign

1.2 2IW20 Requirement analysis, design and 4 w+a 1st 2nd

verification

1.2 5KK10 Processor architectures and program 4 w 1st 2nd

mapping

1.2 Electives 8

1.3 2DI30 Performance modelling 4 w 1st 2nd

1.3 2IW30 Software testing 4 w 1st 2nd

1.3 5KK20 Multiprocessors 4 a+o

1.3 5KK53 Implementing large scale embedded 4 aprocessors on deep-submicron silicon

1.3 Elective 4


2.2/2.3 2IM90 Master project * 40

w = written; a = assignment; o = oral

*) In case the master project is done within the Electrical Engineering department the code is 5L985.

62



Information Security Technology Courses:



1.1 0T613 English for scientific communication 4 w 1st 2nd

1.1 2IF30 Information Security 4 w+a 1st 2nd

1.1 2WC00 Cryptographic algorithms 4 w 1st 2nd

1.1 2WC03 Mathematics for IST 4 w 1st 2nd

1.1 Elective 4

1.2 2WC01 Cryptographic protocols 4 w 1st 2nd

1.2 Electives 16

1.3 2II50 IT-governance 4 a

1.3 2R890 Verification of security protocols 4 a

1.3 2WC02 Cryptographic systems 4 a

1.3 2WC06 Hackers Hut 4 a

1.3 Elective 4


2.1 2IF04 Seminar IST 4 a

2.1 Electives 12


w = written; a = assignment

Electives:In this section a collection of courses at MSc level is outlined.Items on this list can be selected as elective towards degree completion for the Masters’programs and variants thereof, as far as they were not yet mandatory for the program inquestion. The courses have a study point value of 4 ects.

63



Code Course name

First trimester









2IL00 I/O efficient algorithms


2IV50 Interactive virtual environments

2IW10 Programming logic and modal logic




5P340 Information theory 2 (only for IST)

Second trimester








2IV30 Visualization

2IW00 The context of embedded system design



2WF02 Algebra and geometry (only for IST)

64



Third trimester




2II50 IT-governance


2IN20 Real-time architectures







2WC05 Coding and crypto (only for IST)


5K020 Information theory 1 (only for IST)

5N500 Introduction to digital communication (3 ects; only for IST)

Capita selecta







6.2 Rules and Stipulations

The Computer Science and Engineering Master’s Degree Program Examinations Committee,taking into consideration: Article 7.12, paragraph 4, of the Higher Education and Research Act;

HEREBY DECIDES:

to adopt the following rules and guidelines for the Computer Science and Engineering Master’sDegree Program:

65



Article 1 Definitions1. In these rules and guidelines, OER is understood to mean: the current Education and

Examination Regulations as referred to in Article 7.13 of the Higher Education and ResearchAct (HERA; Wet op het Hoger Onderwijs en Wetenschappelijk Onderzoek), adopted by theDepartmental Board of the Mathematics and Computer Science department.

2. Any other terms that appear in these rules and guidelines will have the same definition asin the OER and the HERA.

Article 2 The daily business of the Examinations Committee 1. The Examinations Committee may appoint a committee of at least three of its members to

be responsible for conducting the Examinations Committee’s daily business.2. The committee’s daily business includes:

a. decisions regarding the approval of program units, as referred to in Article 8 of the OER;b. decisions regarding arrangements that may be made at a student’s request and that

deviate from the current regulations;c. decisions regarding exemptions;d. preparations for determining final examination results;e. taking measures in the event of disturbances during interim examinations, as referred to

in Article 11, or in the event of fraud, as referred to in Article 12.3. This committee is accountable to the Examinations Committee.

Article 3 Conducting interim examinations1. For each interim examination, the Examinations Committee will appoint one or more

examiners. 2. Each interim examination comprises the testing of the student’s knowledge, insight and

skills by one or more examiners and the assessment of the results of the test.3. If an interim examination is conducted by more than one examiner, whether or not at the

same time, the Examinations Committee will ensure that the examiners use the samestandards to assess the student.To this end, the relevant standards will be determined beforehand and in writing by theexaminers concerned. If necessary, the Examinations Committee will appoint a mainresponsible examiner for the interim examination procedure.

4. The examiner determines whether the conditions for admission to the interim examinationhave been met.

Article 4 Decisions by the Examinations CommitteeDecisions are taken by the Examinations Committee by a simple majority vote.

Article 5 Certificate and list of grades1. The certificate presentation will take place in public unless, in special cases, the

Examinations Committee has determined otherwise.2. On the back of the certificate, the units that are part of the final examination will be

specified and, where applicable, what qualification comes with the certificate. In addition,

66



any program units will be specified which are not part of the final examination but whichwere examined at the student’s request before the result of the final examination wasdetermined, provided that the student passed the interim examinations in question.

3. A student is considered to have exceptional ability, as referred to in Article 20, paragraph 4,of the OER, if he/she scored at least an eight (8) on average and at least a nine (9) for themaster’s thesis (see Article 14, paragraph 1).

4. Students will be given a separate list of grades when they are presented with theircertificates.

Article 6 Dates and times1. With due observance of the provisions of Article 11 of the OER, written interim

examinations must take place at dates and times determined at least two monthsbeforehand by the Examinations Committee.

2. In determining the dates and times of interim examinations as referred to in paragraph 1,conflicting dates and times must be avoided as much as possible.

3. With a view to adequate notification of the dates and times of interim examinations referredto in paragraph 1, the Departmental Board and the Student Service Center will be informedof these times and dates.

4. Oral interim examinations will be conducted at a date and time determined by theexaminer, if possible after consulting the student, with due observance of the provisions ofArticle 11 of the OER.

5. The provisions in paragraphs 1 through 3 apply mutatis mutandis to interim examinationsconducted in a way other than orally or in writing.

Article 7 Registration1. For a centrally organized interim examination, students must register at the Student Service

Center, by handing in or sending in the appropriate form, or by entering data into acomputer system, within the time limit set by the Executive Board.

2. Registration as referred to in Article 19 of the OER must take place within the time limit setby the Executive Board. The Examinations Committee is responsible for giving sufficientprior notification of the dates and times on which the final examination results will bedetermined.

3. If a student participates in an interim examination without having registered in conformitywith the provisions of this Article, his/her work will not be assessed and no grade will begiven.

4. In special cases, the Examinations Committee may allow derogations to be made from theprovisions of this Article.

Article 8 Withdrawal1. Students are permitted to withdraw from interim examinations, provided they give notice of

the withdrawal at least 5 working days before the interim examination in question is to takeplace. Withdrawal at a later date is permitted only in circumstances beyond the student’scontrol, at the discretion of the Examinations Committee.

67



Before making such a decision, the Examinations Committee must consult the studentcounselor for the program or a student counselor of the Student Service Center.

2. Students must withdraw by notifying the body with which they registered pursuant to theprovisions of Article 7. If the request to withdraw is granted, the Examinations Committeecan decide to permit the student to take the interim examination at another time in thesame examination period.

3. If a student does not withdraw in time or fails to attend the interim examination withoutgiving good reason, he/she will not be able to take the interim examination in the sameexamination period. Regarding Article 11, paragraph 1, of the OER, the student will beconsidered to have taken the interim examination. In special cases, the ExaminationsCommittee may allow derogations to be made from the provisions of this paragraph.


Article 10 Exemption from interim examinations1. Requests for exemption from taking an interim examination must be submitted to the

Examinations Committee. As a rule, the committee will ask the examiner in question toadvise on the matter.

2. A decision not to grant an exemption fully or in part will only be taken by the ExaminationsCommittee after the student in question has been given the opportunity to be heard.

3. The Examinations Committee will take a substantiated decision within a month of receivingthe request. The student will immediately be informed of the decision.

Article 11 Order during interim examinations1. The Examinations Committee will see to it that invigilators are selected for written interim

examinations, who will ensure that the interim examinations takes place in good order. 2. At the request of or by order of the Examinations Committee, the examiner or the

invigilator, students must be able to identify themselves by means of their proof ofregistration for the academic year in question.

3. Students must follow the instructions of the Examinations Committee, the examiner or theinvigilator, which are announced before the interim examination, or given during orimmediately after the interim examination.

4. Students, who do not fulfill the conditions on the basis of or by virtue of the provisions inparagraphs 2 and 3, may be excluded from participation in the interim examination inquestion by the Examinations Committee or the examiner. The exclusion applies only to theinterim examination during which the irregularity occurred. A student will receive no resultfor an interim examination from which he/she has been excluded. Before the ExaminationsCommittee or the examiner decide to exclude a student, they will give him/her theopportunity to be heard regarding the case.

5. The interim examination will be of sufficient length for students to have enough time,according to reasonable criteria, to complete the questions.

68



6. Students are allowed to take the interim examination questions with them after the interimexamination, unless the examiner objects, or the nature of the interim examinationquestions dictates otherwise.

Article 12 Fraud1. If, during or relating to the proceedings of an interim examination, fraud is established or

suspected, the examiner or invigilator will record this in writing as soon as possible. Theexaminer or invigilator may ask the student to make possible items of evidence available.Refusal to do so will be noted in the written report. The student will be given the possibilityto add a written commentary to the examiner’s or the invigilator’s written report. Thewritten report and any written commentary will be submitted to the ExaminationsCommittee as soon as possible.

2. At the first establishment of fraud the Examinations Committee may exclude the studentfrom further participation in the interim examination in question for up to one year. At arepeated establishment of fraud the Examinations Committee may exclude the student fromparticipation in all interim examinations for up to one year.

3. Before the Examinations Committee makes a decision as referred to in the previousparagraph, the student will be given the opportunity to be heard.

Article 13 Questions and assignments1. The questions and assignments in the interim examination must not exceed the course

materials on which the interim examination is based and which were announced in goodtime before the interim examination.

2. The interim examination material must be spread out over all questions and assignments ofthe interim examination as evenly as possible.

3. The questions and assignments in the interim examination must be clear andunambiguous, and be formulated in such a way or contain such instructions that thestudent will know how elaborate and detailed the answers should be.

4. The Examinations Committee or the examiner will announce in good time before theinterim examination how the provisions of Article 13 of the OER, concerning the way inwhich the interim examinations is to be conducted, will be implemented.

5. The Examinations Committee or the examiner may give students the opportunity, in goodtime before the interim examination, to study a written specimen of such an interimexamination and the model answers, and the standards applied in assessing the answers.

Article 14 Assessment1. Assessment of an interim examination will be expressed in whole grades on a scale of 0 to

10.If the Examinations Committee decides to conduct an assessment as referred to in Article20, paragraph 2 of the OER, that assessment will also be expressed in whole grades. Forpracticals, the following assessments may also be used:Fail (= ON); Pass (= VO).

69



Exemption from an interim examination or practical will be considered equal to theassessment: Pass (VO) and indicated as: VR.

2. An interim examination is passed if it is assessed with a grade of 6 or higher, or with theassessment VO or VR.

3. Without prejudice to the provisions of Article 3, paragraph 3, written interim examinationassessments will take place, if possible, on the basis of standards determined in writingbeforehand, and which may be adjusted as a result of correction of the student’s answers.

4. Assessments will be carried out in such a way that students will be able to deduce how theresults of their interim examinations were arrived at.

5. If a student has taken an interim examination more than once, the best grade counts indetermining the result of the final examination.

6. The Examinations Committee will announce in good time the cases in which it will conductits own assessment as referred to in Article 20, paragraph 2 of the OER.

7. The result of the final examination is either ‘PASSED’ (‘geslaagd’) or ‘FAILED’ (‘afgewezen’).8. Students have passed the final examination if they have passed the interim examinations

that make up the final examination, or, where applicable, the assessment conducted by theExaminations Committee itself as referred to in paragraph 6 has been completed with agrade 6 or higher.

9. If a student has not fulfilled the conditions specified in paragraph 8, the final examinationresult will be ‘FAILED’.

Article 15 Result registrationThe department administration is responsible for registering the results of interimexaminations and final examinations, and of certificates presented to students, and mustimmediately pass this information on to the Student Service Center. Registered information,with the exception of information on certificates presented, may not be released to otherpersons than the student, the Examinations Committee, the Executive Board, the ExaminationAppeals Board, the student counselor for the program and the student counselors of theStudent Service Center. Deviations from the provisions in the previous sentence are possiblewith the student’s permission.

Article 16 Evaluation1. After a student has been informed of the result of an oral interim examination, an

evaluation by the examiners and the student can take place as soon as possible, at thestudent’s request or on the initiative of the examiners. The examiner will then give reasonsfor the assessment.

2. A student who has taken an interim examination in another form than orally can request anevaluation from the examiner up to 20 working days after the announcement of the result.The evaluation will take place at a time and place set by the examiner.

3. If the examiner has organized a collective evaluation, a student can submit a request asdescribed in the previous paragraph only if he/she was present at the collective evaluationand gives reasons for the request, or if he/she was unable to attend the collective evaluationas a result of circumstances beyond his/her control.

70



4. The provisions of the previous paragraph apply mutatis mutandis if the examiner gives thestudent the opportunity to compare his/her answers to the model answers.

5. The examiner may allow derogations to be made from the provisions in paragraphs 2 and 3.

Article 17 Using the opportunity to derogate from the provisions1. A student can submit a request to the Examinations Committee or the examiner, before

they use the opportunity provided for in the OER or in these rules and guidelines toderogate from the provisions, to give the student counselor for the program or thecounselors of the Student Service Center the opportunity to give their advice.

2. If the examiner makes use of the opportunity to derogate from the provisions as referred toin paragraph 1 he/she will inform the Examinations Committee.

Article 18 CriteriaThe Examinations Committee or the examiner will use the following criteria as guidelines whenmaking decisions – and will, in the event of conflict, weigh the importance of using onecriterion against that of using another:a. preservation of the quality and selection requirements of interim examinations and final

examinations;b. efficiency demands, expressed, among other things, in an effort to:

- limit time loss, as much as possible, for students who are making good progress with their studies during preparation for an interim examination or a final examination;

- if necessary, encourage students to stop their studies, if the chances of passing an interim examination or a final examination have become slim;

c. preventing students from taking on an excessive study load;d. leniency towards students who, as a result of circumstances beyond their control, are

experiencing delays in their study progress.

Article 19 Right to appealAppeals can be made against decisions of the Examinations Committee or the examiner to theExamination Appeals Board as referred to in Article 7.60 of the HERA.

Article 20 Transitional provisionThe rules and guidelines that were valid before September 1st, 2002, will remain in effect forstudents who are taking the corresponding five-year program.

Article 20a Changes to these rules and guidelinesChanges applicable to the current academic year can only be made in these rules and guidelinesif it can be reasonably assumed that the students’ interests will not be harmed.

Article 21 Final provisionIn cases not covered by these rules and guidelines, the Examinations Committee will decide.

71



Article 22 Effective Date These rules and guidelines will take effect on September 1st, 2005.

Hereby adopted by decision of the Examinations Committee for the Computer Science andEngineering Master’s Degree Program, on June 21st, 2005.

6.3 Graduation regulations

Rules for the ‘master project’ component of the examination

These rules are part of the ‘Rules and Regulations’ of the ‘Computer Science and Engineering’master’s degree program, laid down by the Examinations Committee of the Computer Scienceand Engineering master’s degree program.

Definitions

Graduation tutor: the person who guides the student during the master project.

Graduation supervisor: a member of the Computer Science sub-department within theMathematics and Computer Science department, responsible for the graduation phase of thestudent.

Area of expertise: one of the eight groups within the Computer Science sub-department i.e.,Databases and Hypermedia (DH), Architecture of Information Systems (AIS), Formal Methods(FM), Software Construction (SoC), Design and Analysis of Systems (OAS), Visualization (VIS),Algorithms (ALG), or Systems Architecture and Networks (SAN).

Subject

Article 1These regulations are concerned with the preparation and examining of the “master project”that forms a mandatory program unit within the program, as described in article 8 of theEducation and Examination Regulations of the two-year Computer Science and Engineeringmaster’s degree program.

Article 2The “Rules and Guidelines” and the “Education and Examination Regulations” for theComputer Science and Engineering master’s degree program are similarly applicable.

72



Master project

Article 31. The master project consists of the research assignment and/or the design assignment to be

independently carried out by the student, in combination with the oral and written reportingabout this assignment. The master project is the final part of the Computer Science andEngineering master’s degree program.

2. The master project is worth 40 credits for students who graduate within the two-yearmaster’s degree program.

Execution of the master project in a team

Article 41. It is permitted to carry out the master project in a team, as long as each of the team

members has a personal assignment or sub-assignment that can be individually judged.Graduation can be said to take place in a team if more than one student workssimultaneously on a complicated and/or sizeable assignment.

2. Where the word ‘student’ is used in these regulations, unless specifically stated otherwise,this also refers to a group of students carrying out the master project in a team.

Graduation tutor and graduation supervisor

Article 51. The graduation supervisor is an assistant professor, an associate professor or a professor

from the Computer Science sub-department within the Mathematics and Computer Sciencedepartment. In case that the master project is part of the master-specialization InformationSecurity Technology the graduation supervisor can also be an assistant professor, anassociate professor or a professor from the Coding Theory and Cryptology section within theMathematics and Computer Science department. In case that the master project is part ofthe master-specialization Embedded Systems the graduation supervisor can also be anassistant professor, an associate professor or a professor from the Electrical Engineeringdepartment. The head of the area of expertise in question within the Mathematics andComputer Science department or the Electrical Engineering department should approve thechoice of the graduation supervisor on behalf of the Examinations Committee.

2. The student should look for a suitable graduation supervisor and graduation tutor. If thestudent cannot find a suitable graduation supervisor then the director of the ComputerScience and Engineering master’s degree program will assign a graduation supervisor.

3. The choice of the graduation tutor should be submitted to the graduation supervisor forapproval.

4. The function of graduation supervisor and graduation tutor can be combined in one person.

73



5. The graduation supervisor makes a problem description of the master project that needs tobe approved by the head of the area of expertise within which the student is graduating. Theapproval will be based on the scientific level of the project, the feasibility of the goals of theproject and the manageability of the project. The problem description is included to thegraduation plan as an appendix.

6. The graduation supervisor and the student make a graduation plan detailing informationrelated to the student’s study progress, the graduation topic, how the student can becontacted during the master project and the choice of tutor.

7. The Examinations Committee will only approve the graduation plan referred to in section 6if all program units have been completed and the master’s degree program has beenapproved. In special circumstances the Examinations Committee can also decide to approve the planif:a. the graduation supervisor considers that a few uncompleted program units can better be

completed during the graduation phase, or if b. the student can show that waiting for the next possible examination period to complete a

few uncompleted program units will have a disproportionately negative effect on the course of his or her studies.

The total number of credits in a) and b) may not be more than 8 credits. The program unitsmentioned in a) and b) may not be part of the student’s bachelor program.

8. The definitive starting date of the graduation phase is considered to be the moment atwhich the Examinations Committee accepts the graduation plan. On behalf of theExaminations Committee, the master-coordinator checks whether all of the requirementshave been met to start the master project. The study advisor can take over this task in theabsence of the master-coordinator.

9. Within one month after the starting date of the master project the student makes a detailedproject plan that includes the targets and a time schedule. The student discusses the projectplan with the graduation tutor.

10. The graduation tutor is required to deliver instructions to the student considering theexecution of the master project, to give feedback to texts delivered by the student in areasonable time, to guard the progress of the project, and to stimulate, motivate and correctthe student. The student is supposed to take initiatives, to guard the progress of the project,and to report to the graduation tutor at least each fortnight.

Assessment Committee

Article 61. The composition of the Assessment Committee should be decided upon no later than two

months before the completion of the master project. The graduation supervisor should givethe proposal for approval to the head of the area of expertise within which the student isgraduating, and also to the secretary of the Examinations Committee.

74



2. An Assessment Committee consists of three voting members who together determine thefinal mark for the master project.

3. The Assessment Committee referred to in sections 1 and 2 consists of three votingmembers including the graduation supervisor and the graduation tutor. Advisory membersmay be included in the committee. The voting members of the Assessment Committee areappointed as examiners by the Examinations Committee according to article 7.12, section 3of the Higher Education and Research Act (WHW: Wet op het Hoger Onderwijs enWetenschappelijk Onderzoek). A PhD student may only act as a voting member of theAssessment Committee if he is the graduation tutor.

4. The Assessment Committee includes voting members from at least two areas of expertisewithin the Computer Science sub-department at the TU/e.

5. The graduation supervisor is the chairperson of the Assessment Committee. In the absenceof the graduation supervisor, one of the other voting members acts as the chairperson of theAssessment Committee. The chairman must be an employee of the Computer Science sub-department.

6. If one of the voting members at the last moment cannot take part as a member of theAssessment Committee, and if this would have a disproportionately negative effect on theassessment then, at the student’s request or the request of one of the other voting membersof the Assessment Committee, the head of the area of expertise from which the student isgraduating can appoint a replacement on behalf of the Examinations Committee.

Assessment

Article 71. The voting members of the Assessment Committee together determine a final mark. If an

agreement cannot be reached, each member individually gives a final mark, withoutknowledge of the marks given by the other members; the arithmetical mean is thencalculated and rounded to the nearest integer from 1 up to and including 10. Marks endingin .5 are rounded up. The considerations leading to the assessment are shared with thestudent.

2. If a student achieves a mark of at least 9 for his or her master project and if the student hasan average mark of at least 8 for all program units from the master’s degree program, thenhe or she can be considered for a diploma with honors.

3. In cases where the master project has been carried out in a team, it must be clearly statedwhich student was responsible for each part of the report; the students making up the teamwill be questioned and assessed separately.

Article 8The master project is assessed on the following four aspects: - the quality of the report, with respect to scientific quality, structure and style,- the quality of the graduation presentation, once again related both to content and style,

75



- the quality of the defense, i.e. the way in which the candidate answers the questions fromthe assessors about the report and the presentation,

- the execution of the project during the graduation phase.The Assessment Committee will give a master project assessment report to the student. In thisreport it should be clearly described how the student is judged with respect to the four aspects,and how the final mark is determined.

Graduation report, presentation and defense

Article 91. The student will supply a good quality copy of the final graduation report to the members of

the Assessment Committee referred to in article 6, at least 10 working days before the dateof the final presentation referred to in article 10. Exceptions can be made upon agreementwith the graduation supervisor.

2. The graduation report is reproduced a maximum of 15 times at the expense of thedepartment. Covers and a form for the university’s Reproduction Department can both becollected from the Student Administration office. The copies should be ready at least twoweeks before the Examinations Committee meeting for which the student has put his or hername forward.

3. The report will be made public after the assessment by the Assessment Committee, unlessthe organization in which the graduation phase has taken place considers that itspublication would harm its interests. The organization or the graduation supervisor cansubmit a request concerning confidentiality to the Examinations Committee. The studentshould then make a summary suitable for general publication to be included in theassessment.

Article 101. After completion of the graduation report, the student will give a final presentation and will

defend his or her report in the presence of the Assessment Committee referred to in article6. The place and date of the final presentation and the defense will be made knownbeforehand. An interim presentation is strongly recommended but is not mandatory.

2. The final presentation cannot take place before all program units from the master’s degreeprogram have been completed.

3. The final presentation and the following assessment should take place at least two weeksbefore the examination meeting in which the student can be declared to have passed.

4. The final presentation is public and is held in buildings of the Technische UniversiteitEindhoven.

5. The defense is not public; only the student and the Assessment Committee are presentunless both parties have no objection to the presence of others.

76



Disputes

Article 111. In the case of disputes between the graduation tutor and the graduation supervisor, the

advice of the graduation supervisor will be followed. Disputes can be brought before theExaminations Committee.

2. Disputes between the student and graduation supervisor can be brought before theExaminations Committee.

3. The student can appeal against decisions of, and the treatment by, the AssessmentCommittee at the TU/e’s Examinations Appeals Board, on the basis of article 7.60 of theWHW.

Concluding articles

Article 12The Examinations Committee will decide any cases not covered by these regulations. If the needarises, the Examinations Committee can deviate from these regulations.

Article 13These “Regulations for the master project examination component” come into force on 21 June2005.

77



79

course descriptions

7.


7. Course descriptions

0K061 Information technology in society

General informationAcademic year: 2005/2006Target group course: • CSE, year 1, Trimester 1 Block A through Trimester 1 Block B

(Optional, English) ECTS credits BaMa: 4Provided by: • Department: Technology Management (responsible)

• Subdepartment: History, Philosophy and Technology Studies • Section: Philosophy and ethics of technology

Lecturers: • Prof.dr. M.J. de Vries (responsible lecturer)Information: • Secr. F&ET - IPO 2.21 - [email protected] - tel. 4753

• Prof.dr. M.J. de Vries - IPO 2.40 - tel: 4629 - [email protected]

Studyweb: http://studyweb.tue.nl/

Education and examinationType of education: • 9 weeks tutorial, 2 hoursType of examination: • Written

and• Project

Course material: • W.A. Smit en E.C.J. van Oost, De wederzijdse beïnvloeding van technologie en maatschappij. Bussum, Coutinho, 1999, ISBN 90 6283 169 9. (recommended)

Notes: see coursedescription 0K060

ContentsLearning objectives: The aim of the course is to make students acquainted with

Technology Assessment and its tools as an instrument for providingdata that can underpin decision making about new developments ininformation technology.

Contents: Students work in groups to make a Technology Assessment studyinto a particular new development in their field. This is done basedon the theory and methodology that is discussed in the textbook.

81

course descriptions


0K111 Ethics and system design

General informationAcademic year: 2005/2006Target group course: • CSE, year 1, Trimester 3 Block E through Trimester 3 Block F



Lecturers: • Dr. C.F.R. Illies (responsible lecturer)Information: • Secr. F&ET - IPO 2.21 - [email protected] - tel. 4753

• Dr. C.F.R. Illies - IPO 2.37 - tel: 5943 - [email protected] Study indicator: http://studyweb.tue.nlStudyweb: http://studyweb.tue.nl/

Education and examinationType of education: • 9 weeks lecture, 2 hoursType of examination: • (Final) reportCourse material: • Reader. (recommended)

ContentsLearning objectives: To deepen the understanding of Ethics from course 0K110. In

particular, students should be able to perform an written ethicalanalysis of a case.

Contents: Students are expected to participate in 0K110 and to pass the exam for0K 110. In 0K110, here will be an additional introduction intostructuring arguments and writing an essay on an ethical issue.

0L121 Philosophical foundations of information technology

General informationAcademic year: 2005/2006Target group course: • CSE, year 1, Trimester 2 Block C through Trimester 2 Block D



Information: • Secr. F&ET - IPO 2.21 - [email protected] - tel. 4753 Study indicator: http://studyweb.tue.nlStudyweb: http://studyweb.tue.nl/

82

course descriptions


Education and examinationType of education: • 9 weeks tutorial, 2 hoursType of examination: • Written, 3 hours, Trimester 2 Block D

• Written, 3 hours, Trimester 3 Block E and• Term paper• and Paper

Course material: • Will be announced at the course. (recommended) (recommended)

ContentsLearning objectives: To develop an understanding of some of the key philosophical issues

in the field of information technology.Contents: We examine issues in the philosophy of information and the

relatedfield of philosophy of artificial intelligence. In the first halfofthe course, we discuss Shannon’s communication theory andDretske’sextension to a proper theory of information. We alsodiscussthe Chaitin/Kolmogorov theory (algorithmic informationtheory) andRaatikainen’s criticisms. In the second half, we readclassic textson philosophy of artificial intelligence, including Turing,Searle,Dennett and so on. The course will involve more discussionthan lecture and participationis expected.

0L351 Scientific reasoning: a philosophical toolkit




Lecturers: • Mr.dr.ir.ir. L.M.M. Royakkers (responsible lecturer)Information: • Secr. F&ET - IPO 2.21 - [email protected] - tel. 4753 Studyweb: http://studyweb.tue.nl/

Education and examinationType of education: • 9 weeks lecture, 2 hoursType of examination: • Written, 3 hours, Trimester 3 Block F

• Written, 3 hours, Trimester Interim • Written examination and three essays

Course material: • Will be distributed at the course. (recommended) (recommended)

83

course descriptions


ContentsLearning objectives: To make explicit to students the most important modes of reasoning

used in science, and the problems, if any, associated with them.Contents: The course is mainly concerned with how, and how reliably,

conclusions are (or might or should be) reached from one or morepremises in science. Various modes of reasoning, such as inductiveand deductive reasoning, and inference to the best explanation, willbe discussed and critically examined. Throughout the course, ampleuse will be made of relevant examples such as, for instance, methodsof proof in mathematics and fallacious arguments drawn fromengineering literature.

0L811 Logic 2: social choice theory




Lecturers: • Mr.dr.ir.ir. L.M.M. Royakkers (responsible lecturer)Information: • Secr. F&ET - IPO 2.21 - [email protected] - tel. 4753

Education and examinationType of education: • independent learning under supervision

• For more information contact the lecturer.Type of examination: • Oral

• and PaperCourse material: • Andries Sarlemijn & Lambèr Royakkers, Logica: grondbeginselen

en toepassingen, Van Gorcum Assen, 1997. (recommended) (recommended)

ContentsLearning objectives: The clarification of several aspects of social choices using logical

methods.Contents: The following aspects of social choice theory will be discussed: How

is a social decision made out of individual members’ decisions?; theformalization of social decision-making in logical terms; the votingparadox; the designing of a ‘suitable’ voting procedure for removingthe paradox.

84

course descriptions


0T613 English for Scientific Communication

General informationAcademic year: 2005/2006Target group general: • Master’s degree program, year 1, Semester 1 Block A through

Semester 1 Block C, Semester 2 Block D through Semester 2 Block F (Optional, English)

• Bachelor’s and four/five year program, year 4, Semester 1 Block A through Semester 1 Block C, Semester 2 Block D through Semester 2 Block F (Optional, English)

Target group course: • CSE, year 1, Semester 1 Block A through Semester 1 Block C (Compulsory, English)

Target group variations: • CSE, Information Security Technology (Compulsory)ECTS credits reduction: 4.3ECTS credits BaMa: 4Provided by: • Instance: Center for communication, language and technology

(responsible)Prior knowledge: Minimum of 7 for pre-university English, or successful completion of

OT622Lecturers: • Various lecturers (co-lecturer)Information: • Secr. CTT - HAL 1.39 - [email protected] - tel. 2912 Studyweb: http://studyweb.tue.nl/

Education and examinationType of education: • 13 weeks tutorial, 3.5 hoursType of examination: • Written

and• Oral• 90% compulsory

Course material: • Textbook and handouts (recommended)

ContentsContents: This course trains the core communication skills in English that

Master students are expected to have. It is also useful for studentswho need English for practical training or an international semester. Focus points:• oral skills (presentations and discussions) • writing skills (short reports, letters, CV’s) • remediation of common grammar and vocabulary mistakes made

at this level. Assignments focus on the student’s own subject area.Registration via Studyweb.

85

course descriptions



General informationAcademic year: 2005/2006Target group course: • BIS, year 1, Trimester 3 Block E through Trimester 3 Block F

(Optional, English) • CSE, year 1, Trimester 3 Block E through Trimester 3 Block F

(Optional, English) • INF, year 4 (Optional, English)

Target group variations: • CSE, year 1, Embedded Systems (Compulsory)• CSE, year 1, Information Security Technology (Optional)

ECTS credits reduction: 4.3ECTS credits BaMa: 4Provided by: • Department: Mathematics and Computer Science (responsible)

• Subdepartment: Mathematics Lecturers: • Dr. R. Nunez Queija (responsible lecturer)Information: • Secr. Subdepartment of Computer science - HG 6.74 -

[email protected] - tel. 5010 • Dr. R. Nunez Queija - HG 9.15 - tel: 4233 - [email protected]

Education and examinationType of education: • lecture, 2 hours

• instruction, 1 hoursType of examination: • Written, 3 hours, Trimester 3 Block F

• Written, 3 hours, Trimester Interim

ContentsContents: Introduction to stochastic processes (Poisson process, Markov chain,

Markov process); elementary queueing models; queueing models withpriorities; networks of queues; applications in computer- andcommunication systems.


General informationAcademic year: 2005/2006Target group course: • BIS, year 1, Trimester 1 Block A through Trimester 1 Block B

(Optional, English) • CSE, year 1, Trimester 1 Block A through Trimester 1 Block B

(Optional, English) • INF, year 4, Trimester 1 Block A through Trimester 1 Block B

(Optional, English)

86

course descriptions



• Subdepartment: Mathematics • Section: Coding theory and cryptology

Lecturers: • Prof.dr. A.E. Brouwer (responsible lecturer)Information: • Secr. Mathematics, Discrete Mathematics - HG 9.93 - tel. 5141

• Prof.dr. A.E. Brouwer - HG 9.38 - tel: 2642 - [email protected]

Education and examinationType of education: • lecture, 2 hoursType of examination: • Assignment(s)

ContentsContents: We discuss the Linux Operating System. Topics include: Introduction

(What is an operating system, What is Linux, What is the Linuxkernel); User space and kernel, system calls, signals; Filesystems,VFS, namespaces, inodes and dentries; Processes and threads,scheduling; Memory management, virtual memory, swapping, caches;Symmetric multiprocessing, synchronization, locking, semaphores;Networks, protocols, sockets; Security, capabilities; Device I/O;Booting.


General informationAcademic year: 2005/2006Target group course: • BIS, year 1, Trimester 2 Block C through Trimester 2 Block D

(Optional, English) • CSE, year 1, Trimester 2 Block C through Trimester 2 Block D

(Optional, English) • INF, year 4, Trimester 2 Block C through Trimester 2 Block D

(Optional, English) ECTS credits reduction: 4.3ECTS credits BaMa: 4Provided by: • Department: Mathematics and Computer Science (responsible)

• Subdepartment: Computer science Prior knowledge: • 2IT10 - Logic and set theory (recommended)

• 2M400 - Databases 1 (recommended) Lecturers: • Prof.dr. P.M.E. De Bra (responsible lecturer)

• Prof.dr. J. Paredaens (co-lecturer)

87

course descriptions


Information: • Computer science, Databases and hypermedia - HG 7.73 - [email protected] - tel. 2733

• Prof.dr. P.M.E. De Bra - HG 7.72 - tel: 4476 - [email protected] • Prof.dr. J. Paredaens - HG 7.83 - tel: 2805 - [email protected]

Study indicator: http://wwwis.win.tue.nl/2ID00

Education and examinationType of education: • lecture, 2 hoursType of examination: • Written, 3 hours, Trimester 2 Block D

• Written, 3 hours, Trimester 3 Block E

ContentsLearning objectives: Study of properties and use of several database models.Contents: Definitions and properties of and query languages for different

database models, including the relational model, the nested model,object-oriented models, graph-based models, etc. Semi-structureddatabases, XML databases.



(Compulsory, English) • CSE, year 1, Trimester 3 Block E through Trimester 3 Block F

(Optional, English) • INF, year 4, Trimester 3 Block E through Trimester 3 Block F


• Subdepartment: Computer science • Section: Databases and hypermedia

Lecturers: • Dr. L.M. Aroyo (responsible lecturer)Information: • Computer science, Databases and hypermedia - HG 7.73 -

[email protected] - tel. 2733 • Dr. L.M. Aroyo - HG 7.82a - tel: 2765 - [email protected]

Study indicator: http://www.win.tue.nl/~laroyo/2ID10/2004-2005/index.htmlStudyweb: http://studyweb.tue.nl/

88

course descriptions


Education and examinationType of education: • lecture, 2 hoursType of examination: • Assignment(s)Course material: • “Modern Information Retrieval”, by Ricardo Baeza-Yates and

Berthier Ribeiro-Neto, Prentice-Hall, 2001. (recommended)• Some parts of “Information Retrieval: Data Structures and

Algorithms” by Frakes and Baeza-Yates, 1992, will be also used. (recommended)

ContentsLearning objectives: The objective of this course will be to introduce students to the

fundamentals of modern information retrieval systems. This coursewill start by studying classic textual information retrieval systemsthen move tot distributed, multimedia and adaptive retrieval systems.Extensive overview of various application areas and example systemswill be also presented.

Contents: The course Information Retrieval presents lectures covering maintopics in the field of Information Retrieval and related applicationareas. These topics include, Query Languages and Operations, Textand Multimedia Languages and Text Operations. Indexing andSearching, Parallel and Distributed IR, Intelligent Search Agents andWWW Search Engines Natural Language Processing for IR,Multimedia IR: Models and Languages, Indexing and Searching, UserInterfaces and Visualization, User Modeling for IR, Digital Librariesand Bibliographical Systems.







89

course descriptions


Prior knowledge: • 2IT10 - Logic and set theory (recommended) • 2M310 - Systems engineering 1 (recommended) • 2M400 - Databases 1 (recommended)

Lecturers: • Prof.dr. P.M.E. De Bra (responsible lecturer)Information: • Computer science, Databases and hypermedia - HG 7.73 -

[email protected] - tel. 2733 • Prof.dr. P.M.E. De Bra - HG 7.72 - tel: 4476 - [email protected]

Study indicator: http://wwwis.win.tue.nl/2ID20/

Education and examinationType of education: • lecture, 2 hoursType of examination: • Assignment(s)Course material: • http://wwwis.win.tue.nl/2ID20 (recommended)

ContentsLearning objectives: Design, realization and evaluation of adaptive hypermedia systems

and applications.Contents: Models for and architecture of adaptive hypermedia applications.

Design and implementation of adaptive hypermedia systems andapplications. Evaluation of adaptive hypermedia applications.







Prior knowledge: • Master program courseLecturers: • Dr. A.T.M. Aerts (responsible lecturer)Information: • Computer science, Databases and hypermedia - HG 7.73 -

[email protected] - tel. 2733 • Dr. A.T.M. Aerts - HG 7.85 - tel: 2759 - [email protected]

Study indicator: http://www.win.tue.nl/inf/onderwijs/2ID30

90

course descriptions


Education and examinationType of education: • 6 weeks lecture, 2 hours

• 3 weeks assignment(s), 3 hours• 3 weeks question and answer sessions

Type of examination: • Written, 2 hours, Trimester 1 Block B • Written, 2 hours, Trimester 2 Block C and• Assignment(s)

Course material: • A. Silberschatz, H. Korth, and S. Sudarshan, “Database System Concepts, 5th Edition (2005) McGraw-Hill (compulsory)

Notes: This course replaces 2R410 Database Systems 2

ContentsLearning objectives: Insight into and knowledge of concepts, methods and techniques for

the improvement of the performance of data-intensive systems andfor the realization of characteristic database properties such aspersistence, reliability and integrity.

Contents: Selected topics from the area of database system properties and theirrealization. The implementation design of a database system has totake performance and dependability requirements into account. Inthis course the different ways are studied in which database systemstry to meet these requirements. In particular, attention will be paid toaccess and storage structures, query and transaction processing,concurrency control and recovery. These aspects will mainly bestudied for both central and distributed relational database systems.Some topics will be covered in the lectures, others in an asignment.The actual topics will be announced via the on-line study guide.



(Optional, English) • CSE, year 1 (Optional, English) • INF, year 4 (Optional, English)


• Subdepartment: Computer science

91

course descriptions


Prior knowledge: • 2IT30 - Process theory (compulsory) The course 2M920 may not have been taken. This course can betaken instead of 2IF70 (Process algebra with timing).

Lecturers: • Prof.dr. J.C.M. Baeten (responsible lecturer)Information: • Prof.dr. J.C.M. Baeten - HG 7.16 - tel: 2904 - [email protected]

Education and examinationType of education: • lecture, 2 hoursType of examination: • Written, 3 hours, Trimester 1 Block B

• Written, 3 hours, Trimester 2 Block C Course material: • The new syllabus 2IF01 (compulsory)

ContentsLearning objectives: The goal is to achieve that students can use process algebra in their

dealings with parallel or distributed systems. They can specify thesesystems, analyse them and verify properties. They can extend processalgebra with extra features.

Contents: We start out from a basic process algebra containing alternativecomposition, actions, termination and deadlock. In turn, this isextended with sequential composition, parallel composition,communication and encapsulation. Other extensions that are treatedare extensions with timing, data and states. Different semantics areconsidered.



(Optional, English) • INF, year 4 (Optional, English)

Target group variations: • CSE, Embedded Systems (Optional)• CSE, year 2, Information Security Technology (Compulsory)


• Subdepartment: Mathematics Prior knowledge: • 2IF30 - Information security (recommended)

General computer science knowledge (in particular: computernetworks, operating systems, programming languages, mathematicallogic)

92

course descriptions


Information: • Secr. Mathematics, Discrete Mathematics - HG 9.93 - tel. 5141 Study indicator: http://www.win.tue.nl/~ecss/courses.html/2IF04/

Education and examinationType of education: • lecture

• individual presentations, individual papersType of examination: • (Final) presentation

and• (Final) report• Students are required to fulfill the following assignments: • Give a presentation on a security topic related to smart cards,

DRM systems or to RFID tags and privacy. This is based on a literature study.

• Write a paper on the subject.

ContentsLearning objectives: The general goal of the course is to become familiar with a work

atmosphere in a company developing products aiming at a certainsecurity level.After finishing the course successfully, a student is able to explore anew security topic on his own and can report on that topic.Contents: The topics to be addressed are related to the following mainitems: • attack techniques on smart cards, card readers and payment

terminals; • security aspects of systems (e.g. consumer electronics or mobile

phones) enforcing techniques for Digital Rights Management; • privacy of applications making use of RFID tags.During the first pair of lectures, the course leader will give anintroductory lecture to the three topics mentioned. After this day it isexpected that the students elaborate on an a topic fitting in one ofthese three main streams and give a presentation of their findings.The presentation to be given has a duration of about 35 minutesfollowed by a discussion and questions taking 10 minutes. It isexpected that the other students, attending the presentation behave inan active way and contribute to the discussion.

93

course descriptions






(Optional, English) Target group variations: • CSE, year 1, Embedded Systems (Optional)

• CSE, year 1, Information Security Technology (Compulsory)ECTS credits reduction: 4.3ECTS credits BaMa: 4Provided by: • Department: Mathematics and Computer Science (responsible)

• Subdepartment: Computer science Prior knowledge: General computer science knowledge (in particular: computer

networks, operating systems, programming languages, mathematicallogic.

Follow-up subjects: • 2IF04 - Seminar information security technology Lecturers: • Dr. S. Mauw (responsible lecturer)Information: • Computer science, Formal methods - HG 7.22 -

[email protected] - tel. 5155 • Dr. S. Mauw - HG 7.33 - tel: 2908 - [email protected]


• One term lectures with homework assignments, individual term papers, (unguided)working groups.

Type of examination: • Assignment(s)and• Written

Course material: • Required texts and readings, to be decided. (recommended)

ContentsLearning objectives: The general goal of the course is to increase security awareness. After

finishing the course successfully, a student • will know the basic notions and can use these adequately when

describing security aspects of an information system; • will know some modelling and assessment techniques to analyse

security of an information system; • will be able to provide a basic assessment of the security of an

information system;

94

course descriptions


• knows the importance and role of security during the design of an information system; had through knowledge of the role of security in a number of specific information systems or application areas;

• can report adequately on the described topics; • has sufficient basic knowledge and experience to quickly master

new developments in computer security.Contents: The following topics will be addressed in a broad perspective during

the lectures: • Security in historical and societal context. • Definitions and basic notions (e.g. confidentiality, malicious code,

authentication, access control). • Organizational security (e.g. security policy, risk analysis). • Security technology (e.g. smartcards, firewalls, ssh). Security and

software engineering (e.g. security standards, securtity measurements).

• Security in some example domains (e.g. operating systems, networks, databases).

The purpose of the essays is to study one or more of the above listedtopics in detail. The case studies are centered around applicationdomains, such as - Wireless network sucurity. - Biometrics. - Internetbanking. - Hospital databases. - Card payments.






• CSE, Information Security Technology (Optional)ECTS credits reduction: 4.3ECTS credits BaMa: 4Provided by: • Department: Mathematics and Computer Science (responsible)

• Subdepartment: Computer science • Section: Formal methods

Lecturers: • Dr. R.P. Nederpelt Lazarom (responsible lecturer)Information: • Computer science, Formal methods - HG 7.22 -

[email protected] - tel. 5155

95

course descriptions


• Dr. R.P. Nederpelt Lazarom - HG 7.20 - tel: 2718 - [email protected]

Study indicator: http://www.win.tue.nl/~wsinrpn/courses-2if40.htm

Education and examinationType of examination: • Written, 3 hours, Trimester 2 Block D

• Written, 3 hours, Trimester 3 Block E and• Assignment(s)

Course material: • handouts (recommended)Notes: Dr. F. Dechesne (co-lecturer).

ContentsLearning objectives: The aim is to give insight in the backgrounds of so-called theorem

provers, i.e. computer programs intended to assist in provingcorrectness of theories in mathematics and computer science.Theorem provers are used for developing and checking mathematicalproofs, but also for establishing program correctness.

Contents: The course consists of a series of lectures giving the necessaryknowledge about the principles behind many theorem provers. Boththe theoretical backgrounds (known as Type Theory) and the practicalimplications are discussed. The course ends with an introduction totheorem provers like Coq and PVS in a practical setting: students getthe opportunity to exercise by actually working with these tools.

Week content: Lecture 1: Introduction. Lambda calculus (type- free), terms,reduction, confluence, normalization.Lecture 2: Types. Implicit versus explicit typing. Simply typed lambdacalculus.Lecture 3: Subject reduction, strong normalization. Polymorfism,abstract datatypes.Lecture 4: Lambda-P, Lambda-C. Barendregt’s cube. Pure TypeSystems (PTSs). Propositions-as-types. Lecture 5: Propositional logic and predicate logic in PTSs. Lecture 6: Coding mathematics in Type Theory: sets, axioms,definitions, theorems, proofs. Lecture 7: Introduction to Coq. Lecture 8: Exercises with Coq. Lecture 9: Introduction to PVS.

96

course descriptions








Lecturers: • Dr. R.P. Nederpelt Lazarom (responsible lecturer)Information: • Computer science, Formal methods - HG 7.22 -

[email protected] - tel. 5155 • Dr. R.P. Nederpelt Lazarom - HG 7.20 - tel: 2718 -

[email protected] Study indicator: http://www.win.tue.nl/~wsinrpn/courses-2IF50.htm


• Written, 3 hours, Trimester 3 Block E Course material: • R.P. Nederpelt, “De Taal van de Wiskunde”. Will be distributed

during the lectures. (recommended)• Article: Fairouz Kamareddine and Rob Nederpelt: A Refinement

of De Bruijn’s Formal Language of Mathematics, Journal of Logic, Language and Information 13 (2004): 287 - 340. Will be distributed during the lectures. (recommended)

ContentsLearning objectives: Mathematicians and computer science use a special language to

express their ideas. This is a mixture of natural language and formallanguage. Aim of this course is to investigate this language, inparticular its linguistic background and its structure, in order to givethe student a better understanding of this language and a greaterability to read and write mathematically oriented material.

Contents: A formal language for mathematics is defined, having linguisticelements which are common in formalizations (terms, sets), but alsoaspects which are usually neglected (like adjectives and nouns). The

97

course descriptions


syntax of this intermediate language will be rigorously defined,together with a type systems which guarantees a kind of weakcorrectness. In order to experience with this formal framework, manyexercises will be worked out in cooperation between the teacher andthe students. It will turn out that the defined formal language is nottoo far from the ordinary way in which mathematical ideas areexpressed.


General informationAcademic year: 2005/2006Target group course: • BIS, year 1 (Optional, English)

• CSE, year 1 (Optional, English) • INF, year 4 (Optional, English)


• Subdepartment: Computer science Lecturers: • Prof.dr. J.C.M. Baeten (responsible lecturer)Information: • Prof.dr. J.C.M. Baeten - HG 7.16 - tel: 2904 - [email protected]


ContentsLearning objectives: The goal of this Capita Selecta is to treat a number of modern topics

that did not yet find a place in the regular courses. The form, contentsand way of examination is dependent on the topic and will bedetermined separately for each student attending this course. In caseof interest in this course it is advisable to contact the responsibleteacher.

Contents: In this Capita Selecta a number of topics is treated that do not havetheir places in the regular curriculum. It is especially intended forstudents that want to graduate in a certain discipline. The form candiffer from attending group seminars, self-study, performing practicalwork, etc.

98

course descriptions




(Compulsory, English) • CSE, year 1, Trimester 1 Block A through Trimester 1 Block B



(Optional, English) • MEIT, year 1, Semester 1 Block A through Semester 1 Block B

(Compulsory, English) Target group variations: • MEIT, year 1, Embedded Systems (Compulsory)

• CSE, year 1, Embedded Systems (Compulsory)• CSE, year 2, Information Security Technology (Compulsory)


• Subdepartment: Computer science Lecturers: • Dr. M.R.V. Chaudron (responsible lecturer)Information: • Secr. Subdepartment of Computer science - HG 6.74 -

[email protected] - tel. 5010 • Dr. M.R.V. Chaudron - HG 5.03 - tel: 4449 -

[email protected]


• Written, 3 hours, Trimester 2 Block C and• Assignment(s)

Course material: • Len Bass, Paul Clements and Rick Kazman, Software Architecture in practice, Addison-Wesley, 2de editie, 2003 (compulsory)

• Eberhardt Rechtin and Mark Maier, The Art of Systems Architecting, CRC Press (London), 1997. (recommended)

• Copies of relevant articles (recommended)Notes: This course replaces 2R800

ContentsLearning objectives: The aim of the course is to provide insight into the software

architecting process for distributed systems and to learn to apply the

99

course descriptions


most important methods and techniques. Using a case- study,students will gaine some practical experience in applying the mostimportant methods and techniques

Contents: The subjects covered in the course will include: • Introduction to architecture • The architecting process • Describing architectures • Cases of important architectures • Basics of component technology • Distributed component architectures.In parallel with the theoritical part, the participants will also work onan assignment that guides them through the architecting process fordistributed systems. Thereby, the stakeholders will be represented byrepresentatives from industry and staff members. The results of theassignment will be discussed in the course of the lectures with a finalevaluation during the last session.



(Compulsory, English) • CSE, year 1, Trimester 1 Block A through Trimester 1 Block B



• Subdepartment: Computer science Lecturers: • Prof.dr.ir. G.J.P.M. Houben (responsible lecturer)

• prof dr L. Hardman (co-lecturer)Information: • Prof.dr.ir. G.J.P.M. Houben - HG 7.75 - tel: 2653 -

[email protected] Study indicator: http://wwwis.win.tue.nl/2ii20

100

course descriptions



• In the first part the students participate each week in a class and do a small assignment on the subject of the class. Subsequently, they work (under supervision of the teacher) on a large assignment on one of the subjects of the course.

Type of examination: • Assignment(s)• 6 small assigments and a large assigment.

ContentsLearning objectives: Students learn important concepts from the area of Web Information

Systems (WIS). They get acquainted with aspects of research in thisfield and with the application of WIS technology in moderninformation systems.

Contents: • Web and Web-based information systems ( WIS ) • Engineering and design methodologies for WIS • Semistructured data and metadata languages

• XML • RDF(S), SeRQL • OWL

• Multimedia • SMIL

• Presentation generation • Data integration on the Web • Web Services



(Compulsory, English) • CSE, year 1, Trimester 3 Block E through Trimester 3 Block F



• Subdepartment: Computer science Lecturers: • N. Sidorova Ph.D. (responsible lecturer)

101

course descriptions


Information: • Computer science, Architecture of information Syst - HG 7.73 - [email protected] - tel. 2733

• N. Sidorova Ph.D. - HG 7.84 - tel: 3705 - [email protected]


ContentsLearning objectives: The Process Modelling course is focused on the modelling and

analysis techniques for component- based reactive systems. The goalof the analysis is to assist in building correct models. The applicationareas are both software and business applications. The concepts ofcomponent-based architectures are based on the theory of advancedprocess models, in particular, process algebra and Petri nets(including free choice nets en workflow-nets).

Contents: The course is the continuation of the course System Modelling 1. Thesubjects considered in the course are methods of model developmentbased on stepwise refinement and component composition, modelchecking, abstractions, structural analysis techniques. The applicationareas include package software and workflow management.






• CSE, Information Security Technology (Optional)ECTS credits reduction: 4.3ECTS credits BaMa: 4Provided by: • Department: Mathematics and Computer Science (responsible)

• Subdepartment: Computer science Prior knowledge: • 2Y930 - Mathematics 0 (recommended)

• 2Y940 - Mathematics 2 (recommended) • 2Y950 - Wiskunde 4 (recommended) or 2S970

102

course descriptions


Lecturers: • Dr. A.I. Cristea (responsible lecturer)Information: • Computer science, Architecture of information Syst - HG 7.73 -

[email protected] - tel. 2733 • Dr. A.I. Cristea - HG 7.82 - tel: 4350 - [email protected]

Study indicator: http://wwwis.win.tue.nl/~alex



Course material: • Powerpoint presentation material, as well as supplementarymaterial will be available on the course web-site (recommended)

ContentsLearning objectives: Insight into and knowledge of concepts, methods and techniques for

data representation and manipulation via AI. General knowledge onintelligent systems, more in-depth knowledge on a selected sub-set ofintelligent systems representations. The actual detailed goals will beannounced via the on-line study guide.

Contents: This is an advanced course in artificial intelligence (AI), covering awide range of AI methods, concepts and applications. A wide (non-exhaustive) range of topics on intelligent systems will be touched.Symbolic AI and knowledge representation, such as: - terminologicalknowledge - concept hierarchies - ontological engineering, e.g.temporal representation and reasoning planning Probalistic AI, suchas belief networks Machine learning, such as: - neural networks,unsupervised learning - induction over belief networks -computational learning theory Applications, such as: - expert systems,such as medical diagnosis - agent technologies - data mining -computational linguistics - games Advanced and misc. topics, such as:- hybrid systems - artificial life The actual final topics will beannounced via the on-line study guide.

2II50 IT-Governance


(Compulsory, English)

103

course descriptions


• CSE, year 1, Trimester 3 Block E through Trimester 3 Block F (Optional, English)

• INF, year 4, Trimester 3 Block E through Trimester 3 Block F (Optional, English)


ECTS credits BaMa: 4Provided by: • Department: Mathematics and Computer Science (responsible)

• Subdepartment: Computer science Lecturers: • W. Rietveld (responsible lecturer)Information: • Computer science, Architecture of information syst - HG 7.73 -

tel. 2733 • W. Rietveld - HG 7.88 - tel: 5144 - [email protected]


• Written group report plus oral report presentation, both based on group assignments.

Course material: • Presentation slides + notes. Summary of models and methodologies (recommended)

ContentsContents: IT has become a major issue for business management.

Organizations have become highly dependent on the quality andavailability of their information systems and infrastructure. IT-spending is high, IT-projects are complex and many fail. FurthermoreIT enables new business models and new ways of working. IT may beembraced to build unique positions and competitive advantage,though with high business risk. Often IT-strategy is defensive, andcompanies are struggling to meet market requirements, Practice ofperish. The ITG-course provides an introduction to various issues inthe business - IT relationship. Architecture is used as the centralconcept to define both business and IT structures, in such a way thatthey can be effectively governed and will contribute to the missionand ambition of the organization. Students are required to participatein group assignments, where they will assess IT-government in anactual organization, and present conclusions and recommendations.

104

course descriptions






• Subdepartment: Computer science Lecturers: • Prof.dr. P.M.E. De Bra (responsible lecturer)

• Prof.dr. K.M. van Hee (co-lecturer)Information: • Prof.dr. P.M.E. De Bra - HG 7.72 - tel: 4476 - [email protected]





2IL00 I/O-efficient algorithms




(Optional, English) ECTS credits reduction: 4.3

105

course descriptions



• Subdepartment: Computer science Prior knowledge: • 2IA30 - Design of algorithms 3 (recommended) Lecturers: • Dr. J.E.M. Haverkort (responsible lecturer)Information: • Dr. J.E.M. Haverkort - NLd 1.04 - tel: 4205 -

[email protected] Study indicator: http://www.win.tue.nl/~ocheong/2IL00

Education and examinationType of education: • lecture, 2 hoursType of examination: • (Final) presentation

• The course is given in seminar form. After an initial introduction, each student will give one or two presentations, prepared by the students based on the material.

Course material: • Algorithms for Memory Hierarchies. U. Meyer, P. Sanders, J. Sibeyn (eds.).LNCS 2652, Springer-Verlag 2003 (recommended)

ContentsLearning objectives: The goal of this course is to make the students familiar with some

basic concepts and techniques needed to design I/O-efficientalgorithms and data structures.

Contents: Traditionally, the running time of an algorithm is analyzed in termsof the number of computational steps it performs (comparisons,additions, etc.). If the algorithm operates on data stored in externalmemory, however, then the number of disk accesses is moreimportant for the running time than the computation time. In thiscourse we study so-called I/O-efficient algorithms: algorithms anddata structures that are designed in order to keep the number of diskaccesses as small as possible.






106

course descriptions



• Subdepartment: Computer science Prior knowledge: • 2IA30 - Design of algorithms 3 (recommended) Lecturers: • Dr. B. Speckmann (responsible lecturer)Information: • Computer science, Algorithms - HG 7.22 - [email protected] -

tel. 5155 • Dr. B. Speckmann - HG 7.34 - tel: 3076 - [email protected]

Study indicator: http://www.win.tue.nl/~speckman/2IL20.htmlStudyweb: http://studyweb.tue.nl/


• The final grade will be based on two items: • Homework assignments which in total count for 60% of the

final mark. • A research project which counts for the remaining 40% of the

final mark.Course material: • M. de Berg, M. van Kreveld, M. Overmars, and O. Schwarzkopf.

Computational Geometry: Algorithms and Applications (2nd edition) Springer-Verlag, Heidelberg, 2000. (compulsory)

ContentsLearning objectives: The goal of this course is to make the students familiar with the basic

concepts and techniques needed to design efficient algorithms anddata structures for problems involving geometric data.

Contents: In many areas of computer science -robotics, computer graphics andvirtual reality, and geographic information systems are someexamples- it is necessary to store, analyze, and create or manipulatespatial data. This course deals with the algorithmic aspects of thesetasks: we study techniques and concepts needed for the design andanalysis of geometric algorithms and data structures. Each techniqueand concept will be illustrated on the basis of a problem arising inone of the application areas mentioned above.



(Optional, English)

107

course descriptions


• CSE, year 1, Trimester 2 Block C through Trimester 2 Block D (Optional, English)

• INF, year 4, Trimester 2 Block C through Trimester 2 Block D (Optional, English)

Target group variations: • CSE, year 1, Embedded Systems (Optional)• CSE, Information Security Technology (Optional)


• Subdepartment: Computer science Prior knowledge: • 2IA30 - Design of algorithms 3 (compulsory)

• 2S970 - Mathematics 5 (recommended) or equivalent courses - if in doubt, contact the instructor.

Lecturers: • Dr. B. Speckmann (responsible lecturer)Information: • Dr. B. Speckmann - HG 7.34 - tel: 3076 - [email protected] Study indicator: http://www.win.tue.nl/~speckman/2IL40.htmlStudyweb: http://studyweb.tue.nl/

Education and examinationType of education: • 10 weeks lecture, 2 hoursType of examination: • Assignment(s)Course material: • Introduction to Algorithms, 2nd edition by T.H. Cormen, C.E.

Leiserson, R.L. Rivest and C. Stein. MIT Press, 2001, ISBN 0-262-53196-8 (paperback). (recommended)

ContentsContents: This course introduces advanced algorithmic paradigms and

applications. It covers, for example, randomized and approximationalgorithms and highlights some challenging application areas foralgorithmic concepts.






108

course descriptions


Lecturers: • Prof.dr. M.T. de Berg (responsible lecturer)Information: • Prof.dr. M.T. de Berg - HG 7.39 - tel: 2150 - [email protected]

Education and examinationType of education: • project




2IM00 Internship


• CSE, year 2 (Optional, English) ECTS credits BaMa: 20Provided by: • Department: Mathematics and Computer Science (responsible)

• Subdepartment: Computer science Lecturers: • Dr. C.J. Bloo (co-ordinator)Information: • Dr. C.J. Bloo - HG 6.35 - tel: 4496 - [email protected]

Education and examinationType of education: • work training

2IM90 Master Project

General informationAcademic year: 2005/2006Target group course: • BIS, year 2 (Compulsory, English)

• CSE, year 2 (Compulsory, English) ECTS credits BaMa: 40

109

course descriptions


Provided by: • Department: Mathematics and Computer Science (responsible)• Subdepartment: Computer science

Lecturers: • Dr. J.C.S.P. van der Woude (co-ordinator)Information: • Dr. J.C.S.P. van der Woude - HG 7.79 - tel: 5146 -

[email protected]

Education and examinationType of education: • graduation project

2IN20 Realtime architecture




(Optional, English) • MEIT, year 1, Semester 2 Block E through Semester 2 Block F


• CSE, year 1, Embedded Systems (Optional)• CSE, Information Security Technology (Optional)


• Subdepartment: Computer science Lecturers: • Dr.ir. R.J. Bril (responsible lecturer)

• Dr. P.D.V. van der Stok (co-lecturer)Information: • Dr.ir. R.J. Bril - HG - tel: - - [email protected]

• Dr. P.D.V. van der Stok - HG 5.24 - tel: 4426 - [email protected]

Study indicator: http://www.win.tue.nl/inf/onderwijs/2IN20

Education and examinationType of education: • lecture, 2 hoursType of examination: • Written, 3 hours, Trimester Interim

and• Assignment(s)

110

course descriptions


ContentsLearning objectives: Students:

• can explain the essentials of real-time systems; • know the central concepts and can explain the standard problems

that appear; • can explain:

• which real-time problems were addressed in a number of example systems,

• how these problems have been solved, and • [optionally] why these approaches were taken.

• can analyze a real-time system design; • can design a real-time system; • can study the literature independently [this will not be evaluated,

however]. Contents: This course is organized around the issue of real- time requirements

and their impact on the hardware-software architecture of a system.This includes: • examples of applications with real-time requirements; • an understanding, both functional and quantitavely, of

architectural elements, hardware and software, that have a dominant impact on the real-time properties of systems;

• a quantitative analysis of alternative architectures; • the techniques used to enforce real-time properties in a verifiable

manner (e.g., realtime scheduling, Quality of Service management).

The considered system domain will be systems in hardware and thehardware software interface, most notably, (networked) embeddedsystems and (multi-)processor architectures. Applications are drawnform real-time control and multimedia applications such as videostreaming.






111

course descriptions



• Subdepartment: Computer science Lecturers: • Prof.dr.ir. C.H. van Berkel (responsible lecturer)Information: • Prof.dr.ir. C.H. van Berkel - HG 5.06 - tel: 3719 -

[email protected]

Education and examinationType of education: • lecture, 2 hoursType of examination: • Assignment(s)Course material: • lecture notes (will be distributed) (recommended)

ContentsLearning objectives: N.A.Contents: N.A.






• Subdepartment: Computer science Prior knowledge: • 2F540 - Graph theory and discrete optimization (recommended)

• 2M150 - Complexity (recommended) Lecturers: • Prof.dr. E.H.L. Aarts (responsible lecturer)Information: • Prof.dr. E.H.L. Aarts - HG 5.24 - tel: 4426 -

[email protected]

112

course descriptions



• Written, 3 hours, Trimester 3 Block E Course material: • Reader: E. rts, “Local Search Algorithms: An Introduction”.

(compulsory)

ContentsLearning objectives: N.A.Contents: N.A.






• Subdepartment: Computer science Lecturers: • Prof.dr. P.A.J. Hilbers (responsible lecturer)Information: • Secr. Subdepartment of Computer science - HG 6.74 -

[email protected] - tel. 5010 • Prof.dr. P.A.J. Hilbers - WH 2.104 - tel: 5512 - [email protected]

Study indicator: http://pacluster.win.tue.nl/~hilbers


• 2-4 assignmentsType of examination: • Assignment(s)Course material: • Ian Foster. Designing and Building Parallel Programs, Addison

Wesley, 1995. Also available in electronic format at http://www.mcs.anl.gov/dbpp (compulsory)

• P.A.J. Hilbers. Processor Networks and Aspects of the Mapping Problem, Cambridge University Press, 1991 (recommended)

113

course descriptions


• Greg Astfalk. Applications on Advance Architecture Computers, SIAM, 1996. Gregory R. Andrews. Foundations of Multithreaded, Parallel, and Distributed Programming (recommended)

ContentsLearning objectives: To obtain insight and experience in designing and implementing

parallel computations. The following topics are considered: • processor networks and their structure, • the notions scalability, speedup and efficiency, applied to the

network and to the parallel algorithm, • the mapping of algorithms onto processor networks, deadlock-free

routing of messages • a diversity of design methods of parallel algorithms including

functional decomposition, domain decomposition and processor farming. A student will obtain experience in: • the implementation of parallel programs • the analysis of the performance of parallel algorithms • the implementation and use of several communication

primitives. Contents: During the lectures several trends in parallel processor networks are

discussed. It is shown that in all modern computer architecturessome level of parallelism is explored, and that distributed componentsare and will be found in all new machines independent of their size.The programming model introduced during the course is the SingleProgram Multiple Data model. The parallel computation and theprocessor network are considered as collections of communicatingcomponents and graph theory is used to formally describe thecomponents. Using this graph approach several design techniques ofparallel programs are discussed. Central notions as a process, athread, client- server models are treated and examples of their use aregiven. The student has to do two assignments one concerning animplementation of a parallel cellular automaton on a modern Beowulfcluster of pc’s and one in which a distributed whiteboard is realizedusing a modern parallel object oriented programming language.

Week content: 1. Introduction and overview 2. Processor networks 3. Processor networks; Communication and message passing

axioms 4. Design methods for parallel programs 5. Parallel contructs, performance, scalability 6. Distrubuted sum, broadcast, gather

114

course descriptions


7. Parallel shortest path 8. Termination detection of diffusing computations 9. Termination detection of diffusing computations continued.






• Subdepartment: Computer science Prior knowledge: • 2IC10 - Computer networks (compulsory)

• 2R230 - Operating systems (compulsory) Lecturers: • Dr.ir. I. Radovanovic (responsible lecturer)Information: • Dr.ir. I. Radovanovic - HG 5.10 - tel: 8311 - [email protected] Study indicator: http://www.win.tue.nl/~iradovan/2IN90/


• independent learningType of examination: • (Final) presentation

• • programming assignment • individual presentations • taking part in discussions

Course material: • Computernetworks, a ‘top-down’-approach, ISBN 90-430-0806-0 (recommended)

• Articles via website (recommended)

ContentsLearning objectives: Knowledge: students understand operation of different transport

protocols over both wired and wireless networks and theircombination. Moreover, they can critically look at existingimplementations and designs and seek for optimal improvement.They can independently study literature on this subject.

115

course descriptions


Skills: They know to implement different protocols and simulate theiroperation.

Contents: TCP/IP protocol, TCP-based protocols, UDP, RTCP and other real-time protocols, Transport protocols other than standard TCP,congestion and flow control, end-to-end network performance overboth separated and combined wired and wireless networks, fairness,reliability.






• Subdepartment: Computer science Lecturers: • Dr.ir. T. Verhoeff (responsible lecturer)Information: • Secr. Subdepartment of Computer science - HG 6.74 -

[email protected] - tel. 5010 • Dr.ir. T. Verhoeff - HG 6.46 - tel: 4125 - [email protected]

Education and examinationType of education: • 5 weeks lecture, 2 hoursType of examination: • Assignment(s)

ContentsLearning objectives: To develop an understanding forpatterns: what they are, where they

come from, their lifecycle, how they are invented or discovered, andhow to apply them. Patterns(which includeidioms, design patternsand architectural patterns.are commonly occuring structures (incomputer science this would include code or class/objectrelationships).They were extensively studied in the late 1970s in thecontext of building architectures (civil engineering),and proved usefulin codifying (in the style of a handbook) best-practice, and providingengineers with a common terminology. In computing, patterns haveplayed a significant role in the succes of object- orientation.

116

course descriptions


Contents: this course, we will focus on modern construction of software. Sincethe matreial covered in this course is rapidly evolving, the topics willvary from year to year,and will typically include one or more of thefollowing:object-oriented programming, component- based softwareand infrastructures, design paatterns, software architectures, aspect-oriented programming, and generative programming/toolkits.





• Subdepartment: Computer science Lecturers: • Dr.ir. C. Hemerik (responsible lecturer)Information: • Dr.ir. C. Hemerik - HG 7.46 - tel: 2825 - [email protected]





117

course descriptions







• Subdepartment: Computer science Lecturers: • Dr.ir. H.M.M. van de Wetering (responsible lecturer)

• Dr.ir. A.C. Telea (co-lecturer)Information: • Computer science, Visualisation - HG 6.74 - tel. 5010

• Dr.ir. H.M.M. van de Wetering - HG 6.83 - tel: 4268 - [email protected]

Studyweb: http://studyweb.tue.nl/

Education and examinationType of education: • assignment(s)

• projectContentsContents: N.A.

2IV30 Visualization





• Subdepartment: Computer science Lecturers: • Dr.ir. A.C. Telea (responsible lecturer)

118

course descriptions


Information: • Computer science, Visualisation - HG 6.74 - tel. 5010 • Dr.ir. A.C. Telea - HG 6.85 - tel: 5008 - [email protected]

Education and examinationType of education: • 5 weeks lecture, 4 hoursType of examination: • Assignment(s)Course material: • The Visualization Toolkit - An object-oriented approach to 3D

Graphics. 2nd edition. Will Schroeder, Ken Martin, Bill Lorensen. ISBN 0-13-954694-4. (recommended)

ContentsContents: This is an introductory course in visualisation targeted at students

who intend to graduate with a visualisation related research orpractical subject. Visualisation refers to the use of interactivecomputer graphics techniques for acquiring insight in large datasets.In the course the terminology, methods, techniques, and algorithmsare presented for application areas such as volume, flow, andinformation visualisation. The students are acquainted with currentvisualisation research topics by means of an assignment. Thisconsists of the study, in groups of two, of several articles, followed bya written and an oral presentation of the analysis. The course isgraded based on the written and oral presentations.

2IV50 Interacitve virtual environments




• Subdepartment: Computer science Lecturers: • R. van Liere (responsible lecturer)Information: • R. van Liere - HG 6.71 - tel: 3549 - [email protected] Studyweb: http://studyweb.tue.nl/

Education and examinationType of examination: • Assignment(s)

119

course descriptions






• Subdepartment: Computer science Lecturers: • Prof.dr.ir. J.J. van Wijk (responsible lecturer)Information: • Prof.dr.ir. J.J. van Wijk - HG 6.72 - tel: 4579 - [email protected]





2IW00 The context of embedded-system design




(Optional, English) • MEIT, year 1, Semester 1 Block C through Semester 2 Block D

(Compulsory, English)

120

course descriptions


Target group variations: • MEIT, year 1, Embedded Systems (Compulsory)• CSE, year 1, Embedded Systems (Compulsory)• CSE, Information Security Technology (Optional)


• Subdepartment: Computer science Study indicator: http://www.extra.research.philips.com/natlab/sysarch


• group assignment(s)Type of examination: • Project

• Project maked in a team (3 or 4 persons)Course material: • Look into http://www.extra.research.philips.com/natlab/sysarch

(recommended)

ContentsLearning objectives: N.A.Contents: • Product creation in business context.

• Requirements capturing. • Roles and tasks in product creation. • How to:

1. document 2. present.

• Roadmapping. • Story telling. • Psycho-social side. • Product families and generic development.

2IW10 Programming and modal logic





• CSE, year 1, Information Security Technology (Optional)

121

course descriptions



• Subdepartment: Computer science Lecturers: • Dr. R. Kuiper (responsible lecturer)Information: • Dr. R. Kuiper - HG 7.13 - tel: 4122 - [email protected]


• Written, 3 hours, Trimester 2 Block C Course material: • M.R.A. Huth, M.D. Ryan, “Logic in Computer Science: Modelling

and reasoning about systems”, Cambridge Unviversity Press, 2001 ISBN 0 521 65602 8 (recommended)

ContentsLearning objectives: Practical application of standard and advanced logics for pogram

verification. Both manual and automated verification are addressed.Contents: LI>Syntax and semantics of propositional logic and predicate logic

• Program verification by means of Hoare logic • Program verification by means of Model Checking using

Computation Tree Logic







• CSE, Embedded Systems (Compulsory)• CSE, year 1, Information Security Technology (Optional)



122

course descriptions


Prior knowledge: Adviced knowledge Software Architecting, Proces Theorie, ProcesAlgebra.

Lecturers: • Prof.dr.ir. J.F. Groote (responsible lecturer)• dr J.C. van de Pol (co-lecturer)

Information: • Secr. Subdepartment of Computer science - HG 6.74 - [email protected] - tel. 5010

• Prof.dr.ir. J.F. Groote - HG 6.75 - tel: 5003 - [email protected] Study indicator: http://www.win.tue.nl/~jfg/educ/educ.htmlStudyweb: http://studyweb.tue.nl/

Education and examinationType of education: • lecture, 2 hoursType of examination: • Written, 3 hours, Trimester 2 Block C

• Written, 3 hours, Trimester 2 Block D and• Assignment(s)

Course material: • Lecture Notes Modelling distributed systems, W.J. Fokkink, J.F. Groote en M.A. Reniers (recommended)

• Handouts (recommended)

ContentsLearning objectives: The purpose of this course is to use advanced means for behavioural

system description and analysis to design a distributed and/orembedded system for which a priori set requirements must be provento be met.

Contents: During the first block a crash course in process algebraic systemdescription will be given. Keywords are: Process algebra, interactions,behaviour, axioms, derivations, hiding and internal actions, data-process interaction. Linear processes. Cones and foci. Confluence.mCRL toolset. Modal logic and modelchecking. The first block will beterminated by an exam, giving acces to the second half of the course.In the second half of the course the focus shifts to the design of asmall embedded system. First the requirements must be writtendown. Second a design of the system must be made and third therequirements must be proven to hold on the system, where faultyperformance of some of the components must be taken into account.

123

course descriptions








• CSE, Embedded Systems (Compulsory)• CSE, year 1, Information Security Technology (Optional)


• Subdepartment: Computer science Lecturers: • Dr. J.M.T. Romijn (responsible lecturer)Information: • Secr. Subdepartment of Computer science - HG 6.74 -

[email protected] - tel. 5010 • Dr. J.M.T. Romijn - HG 6.82 - tel: 4573 - [email protected]

Study indicator: http://www.win.tue.nl/~jromijn/2IW30.htmlStudyweb: http://studyweb.tue.nl/

Education and examinationType of education: • lecture, 2 hoursType of examination: • Written, 3 hours, Trimester 3 Block F

• Written, 3 hours, Trimester Interim Course material: • See www-page (recommended)

ContentsLearning objectives: The student has global knowledge of the software testing process

(including industrial aspects), and detailed knowledge of some majortest generation methods and testing approaches. The student canapply the methods and has insight in the possibilities and limitations,the mutual relations, and the required effort. Given a software testingsituation, the student can advise on the most suitable approach.

Contents: An overview of the testing process is presented, and it is shown howtest terminology can be placed in this overview according todimensions of testing. A number of important test generationmethods are presented, for different phases in the software

124

course descriptions


development process. The potential and limitations of these methodsare studied, resulting in guidelines for their use. One lecture isdevoted to statistical methods. Industrial aspects of testing arediscussed in a guest lecture. The subjects treated include: functionalunit test methods (data vs. structure, black vs. white box), embeddedtesting (e.g. for digital circuits), software reliability modelling (fittingstatistical models, estimating quality).






• Subdepartment: Computer science Prior knowledge: • 2IA10 - Design of algorithms 1 (recommended) Lecturers: • Dr.ir. R.R. Hoogerwoord (responsible lecturer)Information: • Secr. Subdepartment of Computer science - HG 6.74 -

[email protected] - tel. 5010 • Dr.ir. R.R. Hoogerwoord - HG 6.86 - tel: 4564 -

[email protected]


• home work assignmentsType of examination: • Assignment(s)Course material: • Will be distributed during the lectures (recommended)

ContentsLearning objectives: Development of a calculational style of programming, with

applications to functional and sequential programs. Remark: Affinitywith a formal/calculational style of working is required.

Contents: Elementary techniques from functional programming: generalization,recursion, tupling, additional parameters. The role of specifications.Datastructures: tuples, lists, trees. Operator folding and applications.

125

course descriptions


Tail recursion and iteration. Program inversion, applied to parserconstruction. From functional to sequential programs. Infinite listsand productivity theory, with applications.






• Subdepartment: Computer science Prior knowledge: • 2IW10 - Programming and modal logic (recommended)

• 2IW20 - Requirement analysis, design and verification (recommended)

• 2R880 - Automated reasoning (recommended) This is an advanced master course. At least one course out of 2IW10,2IW20, 2R880 is mandatory. The other two are recommended.

Lecturers: • dr J.C. van de Pol (responsible lecturer)Information: • dr J.C. van de Pol - HG 6.88 - tel: 2963 - [email protected] Study indicator: http://www.cwi.nl/~vdpol/amc.html


• Written, 3 hours, Trimester 2 Block C Course material: • To be announced (recommended)

ContentsLearning objectives: Gain insight in the algorithmic aspects of model checking.

Obtain knowledge on optimization techniques for model checking.Contents: Basic and advanced algorithms for model checking will be reviewed.

Several optimization techniques will be introduced, such as:• partial-order reduction for reducing the state space,• symbolic model checking by using Binary Decision Diagrams.

126

course descriptions






• Subdepartment: Computer science Lecturers: • Prof.dr.ir. J.F. Groote (responsible lecturer)Information: • Prof.dr.ir. J.F. Groote - HG 6.75 - tel: 5003 - [email protected]






General informationAcademic year: 2005/2006Target group course: • BIS, year 1, Trimester 2 Block C through Trimester 3 Block F

(Optional, English) • CSE, year 1, Trimester 2 Block C through Trimester 3 Block F

(Optional, English) • INF, year 4, Trimester 2 Block C through Trimester 3 Block F

(Optional, English) ECTS credits reduction: 4.3ECTS credits BaMa: 4

127

course descriptions


Provided by: • Department: Mathematics and Computer Science (responsible)• Subdepartment: Computer science

Lecturers: • L. Somers (responsible lecturer)Information: • Secr. Subdepartment of Computer science - HG 6.74 -

[email protected] - tel. 5010 • L. Somers - HG 7.83 - tel: 2805 - [email protected]

Study indicator: http://wwwis.win.tue.nl/2R690

Education and examinationType of education: • 30 weeks project, 4 hoursType of examination: • Assignment(s)

ContentsLearning objectives: The aim of software project management is to steer a team of

software developers such that they deliver a quality product in timeand within budget. The project manager (PM) coordinates andfacilitates the development process. The PM sets up the plan (whodoes what at what time), guards the progress, and reports the resultsto stakeholders. The way of working is recorded in the softwareproject management plan. In 2R690 this is practiced by leading aproject team of about eight third-year B.Sc. students who develop acustomer specific product during two trimesters (2IP40).







• CSE, year 1, Embedded Systems (Compulsory)• CSE, Information Security Technology (Optional)



128

course descriptions


Lecturers: • Dr. H. Zantema (responsible lecturer)Information: • Secr. Subdepartment of Computer science - HG 6.74 -

[email protected] - tel. 5010 • Dr. H. Zantema - HG 6.73 - tel: 2749 - [email protected]

Study indicator: http://www.win.tue.nl/~hzantema/ar.htmlStudyweb: http://studyweb.tue.nl/



ContentsLearning objectives: Obtaining insight how various problems can be transformed to

formulas, and can be solved automatically by computer programsmanipulating these formulas.

Contents: Many problems, in particular in the area of verification of computersystems, can be expressed as proving that some big formula is alwaystrue. In this course we will concentrate on various methods fortreating this kind of problems. Not only correctness and completenessof these methods will be considered, also efficiency and usability. Inparticular we will consider: • Resolution as a proof rule to prove propositions, and algorithms

for satisfiability of propositions based on resolution. • Binary Decision Diagrams as efficient representation of boolean

expressions. • Unification; resolution on predicates. • Reasoning modulo equations, term rewriting.





(Optional, English)

129

course descriptions





Prior knowledge: • 2K050 - Language and structure of mathematics (recommended) • 2L690 - Hypermedia structures and systems (recommended) • 2L730 - Distributed systems (recommended) • 2M050 - Introduction technical applications (recommended) • 2R100 - Logic and set theory (recommended) • 2R110 - Applied logic (recommended)

Lecturers: • Dr. E.P. de Vink (responsible lecturer)Information: • Computer science, Formal methods - HG 7.22 -

[email protected] - tel. 5155 • Dr. E.P. de Vink - HG 7.32 - tel: 3146 - [email protected]

Study indicator: http://www.win.tue.nl/~ecss/bewijsbaar.html


ContentsLearning objectives: • The student know the terminology regarding security protocols

and knows what security requirements can put forward. • The student is capable of designing, possibly by adapting existing

components, a secure system for a given problem. • The student is able to formulate the security goals of a protocol. • The student can assess the safety of simple protocols. • For this the student at least masters two techniques.

Contents: In this course the student learns how to verify security protocols. Tothis end the following topics will be addressed: • Overview shared and public key systems (black box approach). • Security goals such as authentication, non- repudiation. • Model Checking with the Casper/FDR Chain • Proofs within BAN logic • Strands spaces or other method.

130

course descriptions


2WC00 Cryptographic algorithms


(Optional, English) Target group variations: • CSE, year 1, Information Security Technology (Compulsory)ECTS credits reduction: 4.3ECTS credits BaMa: 4Provided by: • Department: Mathematics and Computer Science (responsible)

• Subdepartment: Mathematics Prior knowledge: • 2F715 - Algebra 1 (recommended)

• 2F725 - Algebra 2 (recommended) • 2WC03 - Mathematics for information security technology

(recommended) Follow-up subjects: • 2WC02 - Cryptographic systems Lecturers: • Prof.dr.ir. H.C.A. van Tilborg (responsible lecturer)Information: • Secr. Mathematics, Discrete Mathematics - HG 9.93 - tel. 5141

• Prof.dr.ir. H.C.A. van Tilborg - HG 9.94 - tel: 2739 - [email protected]


• Written, 3 hours, Trimester 2 Block C Course material: • H.C.A. van Tilborg, Fundamentals of Cryptology: A Professional

Reference and Interactive Tutorial. Boston etc., 2000. ISBN 0-7923-8675-2. Obtainable from the teacher (with reduction) (recommended)

ContentsContents: • Classical systems like Caesar and Vigenère, some simple

cryptanalysis. • The general structure of block ciphers, Feistel ciphers like DES,

AES, the most suitable modes-of-use, e.g. CBC or OFB. • Shift register sequences (linear and non-linear), the linear

complexity of a periodic sequence, the Berlekamp-Massey algorithm.

• Shannon theory. • The principle of public cryptography. • Diffie-Hellman key exchange, El Gamal, several methods to take

discrete logarithms (baby-step giant-step method, the Pohlig-Hellman method, Pollard-rho and the index calculus method).

• Elliptic curve cryptosystems.

131

course descriptions


• The RSA system for encryption and signing, generating prime numbers by means of probabilistic primality tests, several factorisation algorithms (Pollard-(p-1), Pollard-rho, the random square method, the quadratic sieve method), and some insecure modes of RSA.

2WC01 Cryptographic protocols



• Subdepartment: Mathematics Prior knowledge: • 2F640 - Cryptology (recommended) Follow-up subjects: • 2WC02 - Cryptographic systems Lecturers: • Dr.ir. L.A.M. Schoenmakers (responsible lecturer)Information: • Secr. Mathematics, Discrete Mathematics - HG 9.93 - tel. 5141

• Dr.ir. L.A.M. Schoenmakers - HG 9.85 - tel: 4769 - [email protected]


• Written, 3 hours, Trimester 3 Block E Course material: • Handouts (recommended)

ContentsLearning objectives: In a typical cryptographic protocol, two or more parties exchange

messages to jointly achieve a set of security (and privacy) goals. Inthis course, a wide range of protocols will be treated. In many cases,the security goals will be defined formally, and cryptographicprotocols will be accompanied by a security proof showing that thegoals are met.

Contents: Basic key exchange protocols; Authenticated key agreement;Password-based authenticated key exchange; Challenge-response;Identification protocols; Commitments; Zero-knowledge proofs;Shamir secret sharing; Verifiable secret sharing; Thresholdcryptography; Oblivious transfer; Secure multiparty computation;Blind signatures.

132

course descriptions


2WC02 Cryptographic systems




Prior knowledge: • 2WC00 - Cryptographic algorithms (recommended) • 2WC01 - Cryptographic protocols (recommended) • 2WC03 - Mathematics for information security technology

(recommended) Lecturers: • Dr. B.M.M. de Weger (responsible lecturer)Information: • Secr. Mathematics, Discrete Mathematics - HG 9.93 - tel. 5141

• Dr. B.M.M. de Weger - HG 9.84 - tel: 2704 - [email protected]

Study indicator: http://www.win.tue.nl/wsk/onderwijs/2WC02

Education and examinationType of education: • lecture, 3 hoursType of examination: • Assignment(s)Course material: • lecture notes (recommended)

ContentsLearning objectives: To get a basic understanding of the main cryptographic systems that

are in use today. A cryptographic systems is that part of aninformation system that provides cryptographic security services.Usually it consists of a collection of protocols and mechanisms suchas encryption, key agreement, authentication, key management, toachieve security goals such as message protection, transactionsecurity, or access control.

Contents: • Public Key Infrastructure (PKI) • X.509 certificate and key management

• Public key cryptography systems • Network layer: IPSec • Transport layer: TLS / SSL • Application layer: e-mail security, XML security • Identity based cryptography

133

course descriptions


• Symmetric key cryptography systems • Passphrase based crypography • Kerberos

• Electronic payment systems • SET • Digital cash • Micropayments • Internet banking • Card Systems

• Mobile security • UMTS security • Mobile agent securityWhen time permits, a choice from the following list:• Pay TV systems • DRM systems • Ambient devices • Biometrics

2WC03 Mathematics for information security technology




Follow-up subjects: • 2WC00 - Cryptographic algorithms • 2WC02 - Cryptographic systems

Lecturers: • Dr. B.M.M. de Weger (responsible lecturer)• Dr. F.G.M.T. Cuypers (co-lecturer)

Information: • Secr. Mathematics, Discrete Mathematics - HG 9.93 - tel. 5141 • Dr. B.M.M. de Weger - HG 9.84 - tel: 2704 -

[email protected] Study indicator: http://www.win.tue.nl/wsk/onderwijs/2WC03

134

course descriptions



• Written, 3 hours, Trimester 2 Block C Course material: • lecture notes (recommended)

ContentsLearning objectives: To make the MSc-IST student familiar with the basic topics of

Discrete Mathematics (in particular Number Theory and FiniteFields) that form the foundation for modern cryptpgraphy; to give theMSc-IST student sufficient practical skills in concrete manipulationswith discrete mathematical objects. The emphasis will be practical.This means that though some abstract theory of Number Theory andAlgebra will necessarily be present, the focus in the treatment will beon practical skills, such as construction of and manipulation withconcrete objects.

Contents: • Integer Arithmetic, Euclidean Algorithm, Euler Phi function. • Modular Arithmetic, Chinese Remainder Theorem, Mulitplicative

Structure, Quadratic Residues, Square Root mod p. • Primality Tests, Prime Number Generation. • Continued Fractions, Möbius Inversion and Inclusion Exclusion. • Finite Fields, Construction, Cyclic Structure. • Minimal, Primitive, Cyclotomic Polynomials. • Finite Field Arithmetic, Different Basis Representations. • Fast Modular Arithmetic Techniques. • Elliptic Curve Arithmetic.

2WC05 Coding and crypto

General informationAcademic year: 2005/2006Target group course: • CSE, year 1 (Optional, English) Target group variations: • CSE, Information Security Technology (Optional)ECTS credits BaMa: 4Provided by: • Department: Mathematics and Computer Science (responsible)

• Subdepartment: Mathematics Prior knowledge: • 2F590 - Cryptology (recommended)

• 2F830 - Error-correcting codes (recommended) Lecturers: • Dr. G.R. Pellikaan (responsible lecturer)

• Dr.ir. L.A.M. Schoenmakers (co-lecturer)Information: • Secr. Mathematics, Discrete Mathematics - HG 9.93 - tel. 5141

• Dr. G.R. Pellikaan - HG 9.86 - tel: 4222 - [email protected]

135

course descriptions


Education and examinationType of education: • lecture, 2 hoursType of examination: • Written, 3 hours, Trimester 3 Block F

• Written, 3 hours, Trimester Interim or• Assignment(s)

Course material: • R. Pellikaan, The construction and decoding of algebraic codes. (recommended)

• B. Schoenmakers, Secret sharing. (recommended)• • H. van Tilborg, Fundamentals of cryptology, Kluwer,

Dordrecht 1999. • H. van Tilborg, Coding theory at work in cryptology and vice

versa, in Handbook of Coding Theory, part II, Edited by V.S. Pless and W.C. Huffman, pp. 1195-1227, North-Holland, Elsevier, Amsterdam 1998.

(recommended)

ContentsContents: Cyclic amd Reed-Solomon codes. Decoding of linear codes by the

Euclidean algorithm and error- correcting pairs. Cryptosystems ofMcEliece and Nierreiter. Blokciphers, secret sharing andauthentication codes.

2WC06 Hackers hut



• Subdepartment: Mathematics Lecturers: • Prof.dr. A.E. Brouwer (responsible lecturer)Information: • Secr. Mathematics, Discrete Mathematics - HG 9.93 - tel. 5141



• practical work

136

course descriptions


Type of examination: • Assignment(s)• Exercises during the lectures and a final assignment.

Course material: • Will be available on the web or will be distributed during the lectures. (recommended)

ContentsLearning objectives: To learn the safety aspects of computersystems.Contents: System security can be approached from two sides - the viewpoint of

the attacker and that of the defender. For a defender it is necessary toknow what threats to defend against, no use installing a heavilyshielded front door when intruders enter through unprotectedbackdoors and windows. The present course talks about securityprimarily from the hackers’ point of view - it points out categories ofweaknesses in various systems, shows how to learn about theseweaknesses and how to exploit them. It is a hands-on course -students are expected to write some exploits themselves. Topics arefor example Discovery, Active Data, Smashing the Stack, Local andRemote Root Exploits, Stealth, Unicode, Password Cracking, Denial ofService, Cross-site Scripting, DNS spoofing, etc. Most examples areformulated in a Unix context, but the concepts apply everywhere.Illegal activities are strongly discouraged.

2WF02 Algebra and geometry

General informationAcademic year: 2005/2006Target group course: • CSE, year 1 (Optional, English) Target group variations: • CSE, Information Security Technology (Optional)ECTS credits reduction: 4.3ECTS credits BaMa: 4Provided by: • Department: Mathematics and Computer Science (responsible)

• Subdepartment: Mathematics Lecturers: • Prof.dr. A.E. Brouwer (responsible lecturer)Information: • Secr. Mathematics, Discrete Mathematics - HG 9.93 - tel. 5141


Education and examinationType of education: • lectureType of examination: • Assignment(s)

137

course descriptions


ContentsContents: The course consists of several introductory topics in commutative

algebra and algebraic geometry, especially tailored for the trackDiscrete Mathematics and Applications. Where useful, computationsin specialized software like Singular, CoCoA or Macaulay accompanythe course. The course will mainly be based on the references [1], [2],[3]. Indication of subjects: 1. Polynomial equations, affine and projective varieties, coordinate

rings. 2. Singular points. 3. Quadrics. 4. Curves. 5. Algorithmic aspects.Three important references are: 1. D. Cox J. Little and D. O’Shea: Ideals, Varieties, and Algorithms:

An Introduction to Computational Algebraic Geometry and Commutative Algebra. Springer-Verlag (1994).

2. J. harris: Algebraic Geometry: A first Course. Springer-Verlag (1992).

3. F. Kirwan: Complex Algebraic Curves. Cambridge University Press (1992).



(Optional, English) Target group variations: • CSE, year 1, Information Security Technology (Compulsory)ECTS credits BaMa: 4Provided by: • Department: General

• Department: Mathematics and Computer Science (responsible)Lecturers: • Drs. H.T.J. In T Groen (responsible lecturer)Information: • Drs. H.T.J. In T Groen - HG 0.68 - tel: 2705 -

[email protected]

Education and examinationType of education: • course/training

• 26 training sessions & assignments (3 hours per session). The course ends with an individual conversation with the teacher.

138

course descriptions


Type of examination: • Assignment(s)• Assignments (presentations, interviews, group assignments,

writing reports)Course material: • Hand-outs (recommended)Notes: This course replaces 2G900

ContentsLearning objectives: Improve communication skills with regard to presentation techniques

and interview techniques by means of theory, practice, reflection andfeedback from fellow students and the teacher.

Contents: During 12 training sessions the students will learn how to apresentation. Each student has to give 3 presentations (oneimprovised and 2 prepared ones). Furthermore they will learn how todo an interview, collect information and streamline a conversation (1interview with an expert has to be prepared and executed). Allpresentations and interviews have to be described and evaluated inwritten reports by the students. All participants have to formulategoals and evaluate them half way and at the end.

5KK00 Designing Embedded Systems on Silicon


(Optional, English) • EIT, year 4, Semester 1 Block A through Semester 1 Block B


(Optional, English) Target group variations: • EIT, year 4, 5-year course eit (Optional)

• MEIT, year 1, Embedded Systems (Compulsory)• CSE, year 1, Embedded Systems (Compulsory)• MEIT, year 1, Master Electrical Engineering (Optional)

ECTS credits reduction: 4ECTS credits BaMa: 4Provided by: • Department: Electrical Engineering

• Subdepartment: Information and Communication Systems • Section: Electronic Systems (responsible)

Prior knowledge: N.A.Lecturers: • Prof.dr.ir. P.R. Groeneveld (responsible lecturer)

• prof dr ir J. van Meerbergen (co-lecturer)

139

course descriptions


Information: • Prof.dr.ir. P.R. Groeneveld - EH 9.34 - tel: 3404 - [email protected]

• prof dr ir J. van Meerbergen - EH 9.29 - tel: 3612 - [email protected]

Study indicator: http://www.es.ele.tue.nl/education/EmbeddedSystems.html

Education and examinationType of education: • lectureType of examination: • Written, 3 hours, Semester 1 Block B

• Written, 3 hours, Semester 1 Block C Course material: • N.A. (recommended)Notes: N.A.

ContentsLearning objectives: Context: In the past the IC market was split into different types of ICs

like microprocessors, memories, ASICs (Application Specific ICs) andFPGA devices. Each was a separate component. The latest sub-micronICs can integrate hundreds of millions of transistors on just 12x12millimetres of silicon. This enables a combination of these differentcircuit types in a single chip, resulting in a true ‘System-on-a-Chip’.For example, the silicon area of a programmable RISC core iscurrently smaller than 1 square millimetre. We can integrate apowerful multiprocessor system on a chip that contains dozens ofsuch RISC cores. This is opening new possibilities for high-performance embedded processing devices. This course focuses onsilicon implementations of computationally intensive embeddedsystems. Typical examples are the processing of speech, audio,telecom, graphics or a combination of those such as MPEG4. Thegoal is to find efficient realizations in silicon with low powerdissipation and a small area. The course will provide in-depthknowledge about system-level architecting of silicon embeddedsystems. This includes managing complexity, overseeing the entiresystem and bridging the gap between different disciplines. At the endof the course, you will be able to understand: · the various trade-offsbetween area, time, power, cost and design effort. · the major stylesof implementing the circuits on silicon, and the different ‘sweet spots’for each of them. · the use of advanced electronic design software forthe automatic implementation of embedded circuits on silicon. · thetrends and the driving forces behind the different types of embeddedcores · the role and the task of the system level architect.

Contents: 1. Introduction 1.1. Embedded systems 1.2. Silicon as a carrier forembedded systems 1.3. The design process 1.4. Overview of the courseand goals 2. From RTL to realization 2.1. Silicon (using standard cells)

140

course descriptions


2.2. FPGA (fine grain) 3. Basic concepts for synchronous design(hardware) 3.1. SFG model, procedural and functional languages 3.2.One-to-one mapping, retiming, pipelining (design perspective), wordand bit-level [case:VLD] 3.3. Multiplexing 3.4. Timefolding, bit-serial,nibble-serial 4. Hands-on: VLD ( Magma, ArtBuilder) 4.1. Intro to thetools 4.2. Intro to the architecture (conventional, fast) 4.3. Hands-onexercise 5. Programmable CPU cores 5.1. Short review of the RISCarchitecture, layout, cost 5.2. Application examples: FIR, Galois,cryptography, video conferencing (H263) 5.3. Software issues,simulation (native code), compiler 5.4. Comparison between differentCPU cores and trends (area, power, computational efficiency 5.5.Towards application specific accelerators (Tensilica) 5.6. Hands-on:VLD, FIR

5KK10 Processor Architectures and Program Mapping


(Optional, English) • EIT, year 4, Semester 1 Block C through Semester 2 Block D






Prior knowledge: N.A.Lecturers: • Prof.dr. H. Corporaal (responsible lecturer)

• prof dr ir J. van Meerbergen (co-lecturer)Information: • Prof.dr. H. Corporaal - EH 9.26 - tel: 5462 - [email protected]



141

course descriptions


Education and examinationType of education: • 9 weeks lecture, 3 hoursType of examination: • Written, 3 hours, Semester 2 Block D

• Written, 3 hours, Semester 2 Block E Course material: • N.A. (recommended)Notes: N.A.

ContentsLearning objectives: Context: When looking at future embedded systems and their design,

especially (but not exclusively) in the multi-media domain, we observeseveral problems: 1) high performance (10 GOPS and beyond) has tobe combined with low power (many systems are mobile); 2) time-to-market (to get your design done) constantly reduces; 3) mostembedded processing systems have to be extremely low cost; 4) theapplications show more dynamic behavior (resulting in greatlyvarying quality and performance requirements); 5) more and morethe implementer requires flexible and programmable solutions; 6)huge latency gap between processors and memories; and 7) designproductivity does not cope with the increasing design complexity. Inorder to solve these problems we foresee the use of programmablemulti-processor platforms, having an advanced memory hierarchy,this together with an advanced design trajectory. These platforms maycontain different processors, ranging from general purposeprocessors, to processors which are highly tuned for a specificapplication or application domain. This course treats severalprocessor architectures, shows how to program and generate(compile) code for them, and compares their efficiency in terms ofcost, power and performance. Furthermore the tuning of processorarchitectures is treated. Purpose: This course aims at getting anunderstanding of the processor architectures which will be used infuture multi-processor platforms, including their memory hierarchy.Treated processors range from general purpose to highly optimizedones. Tradeoffs will be made between performance, flexibility,programmability, energy consumption and cost. It will be shown howto tune processors in various ways. Furthermore, this course looksinto the required design trajectory, concentrating on code generation,scheduling, and on efficient data management (exploiting theadvanced memory hierarchy) for high performance and low power.The student will learn how to apply a methodology for a step-wise(source code) transformation and mapping trajectory, going from aninitial specification to an efficient and highly tuned implementationon a particular platform. The final implementation can be an order ofmagnitude more efficient in terms of cost, power, and performance.

142

course descriptions


Contents: In this course we treat different processor architectures: DSP (digitalsignal processors), VLIWs (very long instruction word, includingTransport Triggered Architectures), ASIPs (application specificprocessors), and highly tuned, weakly programmable processors. Inall cases it is shown how to program these architectures. Codegeneration techniques, especially for VLIWs, are treated, includingmethods to optimize code at source or assembly level. Furthermorethe design of advanced data and instruction memory hierarchies willbe detailed. A methodology is discussed for the efficient use of thedata memory hierarchy. Most of the topics will be supplemented byhands- on exercises. Detailed Contents: 1. Programmable DSP cores1.1. Parallel Architecture Classification 1.2. Architectures forprogrammable DSPs 1.2.1. Multiplier-accumulator 1.2.2. ModifiedHarvard architecture 1.2.3. Extension with an ALU (decision making)1.2.4. Controller architectures 1.3. Examples (TI, Motorola, Philips),cost, BDTi benchmarks 1.4. Software issues, code generation 1.5. Hands-on: programming DSP architectures 2. VLIW (Very LongInstruction Word) 2.1. Principles of VLIWs 2.2. Examples, layout,cost: C6, TM. TTA 2.3. ILP compilers 2.3.1. Basic block scheduling2.3.2. Inter basic block scheduling 2.3.3. Software pipelining 2.4. Dataparallelism, vector operations and subword parallelism 2.5. Clustering2.6. Limits on ILP 2.7. BDTi benchmarks 2.8. Hands-on:programming and code generation for VLIW architectures 3. Application specific instruction set processors 3.1. Tuningarchitectures 3.2. Tuning examples: register files, connectivity,operation set (tensillica) 3.3. Retargettable code generation (problemstatement, constraint analysis) 3.4. ADSP/VLIW architectures (A|RTdesigner) 3.5. Application examples: adaptive FIR 3.6. Low poweraspects 3.7. Hands-on: FIR, IDCT 4. Function specific weakly-programmable processors (video) 4.1. Domain analysis 4.2. Model ofperiodic operations 4.3. Overview of Phideo (once over lightly) 4.4. Basic steps 4.4.1. PU generation 4.4.2. Scheduling 4.4.3. Memorysynthesis 4.4.4. Address synthesis 4.4.5. Controller synthesis 4.5. Example: progressive scan, Melzonic 5. Memories 5.1. SRAM,SDRAM, DDR-RAM, non-volatile, MRAM, Rambus 5.2. Memoryhierarchies (ins and data), embedded compression, EcoHD case 5.3. Caches 5.4. Loop buffers, filter cache 6. Data mgt (DTSE) 6.1. Design flow 6.2. Pruning 6.3. Data flow transformations 6.4. Global loop transformations 6.5. Reuse exploitation and MLA(memory layer assignment) 6.6. Cycle budget distribution 6.7. Memory allocation and assignment 6.8. Data layout 6.8.1. Scratchpad RAM 6.8.2. Caches 6.9. Hands-on

143

course descriptions


5KK20 Multiprocessors


(Optional, English) • EIT, year 4, Semester 2 Block E through Semester 2 Block F

(Optional, Dutch) • MEIT, year 1, Semester 2 Block E through Semester 2 Block F





Prior knowledge: N.A.Lecturers: • Dr.ir. A.A. Basten (responsible lecturer)

• Dr. Ir. M.C.W. Geilen (co-lecturer)Information: • Dr.ir. A.A. Basten - EH 9.28 - tel: 5782 - [email protected]

• Dr. Ir. M.C.W. Geilen - EH 9.35 - tel: 3091 - [email protected] Study indicator: http://www.es.ele.tue.nl/education/5kk20/


• exercise(s), 2 hoursType of examination: • Assignment(s)

and• Oral

Course material: • N.A. (recommended)Notes: N.A.

ContentsLearning objectives: This course focuses on architecting and designing embedded

multiprocessor systems. At the end of the course, you will be able tounderstand: • the different styles of multiprocessor architectures,their pros and cons; • the different types of solutions for inter-processor communication; • the different types of (concurrent)

144

course descriptions


programming models and their usage; • the mapping of processesonto hardware resources and the tradeoffs made.

Contents: The increasing functional complexity and performance requirementsof (multimedia) embedded applications has forced a transition fromsingle- processor to multiprocessor platforms. Multiprocessorplatforms are built from processors, dedicated hardware acceleratorsand memory modules that are interconnected by busses orcommunication networks. The application, often specified in terms ofcommunicating parallel processes, is mapped onto these hardwareresources. Major challenge is to architect the hardware and softwarein such a way that the stringent system (power and area)requirements are met, in addition to the performance (throughputand real-time) requirements of the application. Topics coveredconcern system-on-chip architectures (bus-based, network-based),cache and memory organization, on-chip networks (topologies,routing), operating systems (threading, communication andsynchronization), mapping and programming of multiprocessorplatforms, models of computation, design-space exploration andperformance analysis

5KK53 Implementing Large Scale Embedded Processors on Deep-SubmicronSilicon


(Optional, English) • EIT, year 4, Semester 2 Block E through Semester 2 Block F






Prior knowledge: N.A.

145

course descriptions


Lecturers: • Prof.dr.ir. P.R. Groeneveld (responsible lecturer)• prof dr ir J. van Meerbergen (co-lecturer)

Information: • Prof.dr.ir. P.R. Groeneveld - EH 9.34 - tel: 3404 - [email protected]




• practical workType of examination: • Assignment(s)Course material: • N.A. (recommended)Notes: N.A.

ContentsLearning objectives: Context: In the past the IC market was split into different types of ICs

like microprocessors, memories, ASICs (Application Specific ICs) andFPGA devices. Each was a separate component. The latest deep sub-micron ICs can integrate hundreds of millions of transistors on just12x12 millimetres of silicon. This enables a combination of thesedifferent circuit types in a single chip, resulting in a true ‘System-on-a- Chip’. For example, the silicon area of a programmable RISC coreis currently smaller than 1 square millimetre. We can integrate apowerful multiprocessor system on a chip that contains dozens ofsuch RISC cores. This is opening new possibilities for high-performance embedded processing devices. Purpose: The course willoffer the opportunity to work hands-on with advanced EDA softwaretools. Two tools are provided that together offer a design trajectorythat spans system-level design down to mask-level design on silicon.Using the AR|T tool (Algorithm to Register Transfer) customprocessing units can be designed. AR|T gives detailed reports withestimated design properties such as the idle time of the processors orthe area of the circuit. This enables relevant tradeoffs to obtain anoptimized design Using a C- language input, AR|T will generate aVLIW (Very Long Instruction Word) processor including the complexcontroller. As the name implies, the output is an RTL-leveldescription. The latter can be read into the Magma “Blast Chip” toolsuite. Blast Chip performs automatic logic synthesis, placement androuting of the design, as well as detailed timing and power analysis.The final output is a mask layout description that may containmillions of components. At this stage of the design, the actual size,speed and power consumption of the circuit will become apparent. In

146

course descriptions


mastering these state-of-the-art tools, the student will obtain in-deptpractical skills on the design of realistic systems-on-a- chip. At the endof the practicum the student has mastered: · Good practicalknowledge on real-life design trajectory for implementation ofembedded systems of VLSI chips. · The various abstraction levels thatare used in this trajectory to simplify and automate the design. · Thedesign decisions that are taken at each level and their effect downstream the flow (speed, area and power consumption). The student isable to justify each design decision. · To independently design adetailed spec of the design, implement the design using the toolssupplied. · To use a ‘top-down’ design strategy in which the complexsystem is subdivided into a number of smaller tasks with clearinterfaces between them.To control and understand the majoralgorithms in the individual tools of the design flow.

Contents: The course will end with a large design task that each student finishesindividually. This is likely to be related to the JPEG imagecompression. In the first part of the course an introduction to theAR|T and ‘Blast Fusion’ tools will be given. A small circuit will makethe student familiar with the design concepts and the tools suiteusage. Through C-simulations the student will start to understandhow to optimize the output of AR|T for performance, area and /orpower consumption. Building the layout of the circuit validates theestimations at the earlier stages of design. In the second part of thecourse the large design task is performed. The student will learn howto set up the design area and timing constraint such that the properpoint in the layout size area versus speed trade-offs is found. Thefinal result is an actual chip layout on a deep-submicron technology.

5P340 Information theory 2


(Optional, English) • EIT, year 4, Semester 1 Block A through Semester 1 Block B

(Optional, Dutch) • MEIT, year 1, Semester 1 Block A through Semester 1 Block B


• CSE, year 1, Information Security Technology (Optional)• MEIT, year 1, Master Electrical Engineering (Optional)

ECTS credits reduction: 4.3

147

course descriptions


ECTS credits BaMa: 4Provided by: • Department: Electrical Engineering

• Subdepartment: Measurement and Control Systems • Section: Signal Processing Systems (responsible)

Prior knowledge: • 2S080 - Probability theory (compulsory) • 5K020 - Information theory 1 (compulsory)

Lecturers: • Dr.ir. F.M.J. Willems (responsible lecturer)• Dr.ir. T.J. Tjalkens (co-lecturer)

Information: • Dr.ir. F.M.J. Willems - EH 3.09 - tel: 3539 - [email protected] • Dr.ir. T.J. Tjalkens - EH 3.16 - tel: 3690 - [email protected]


• instruction, 1 hoursType of examination: • OralCourse material: • N.A. (compulsory)

ContentsLearning objectives: Goal Communication over waveform channels in the presence of

noise is the topic of this course. We determine the fundamental limiton the transmission rate (capacity) for these channels and thendiscuss techniques (codes) that achieve this limit.

Contents: Content History. Communication over a discrete channel. Channelswith a real-valued input and output. Vector channels. Waveformchannels. Receiver implementation. Signal energy considerations.Orthogonal signaling. Signaling for message sequences. Time,bandwidth and dimensionality. Band-limited transmission. Widebandtransmission. Colored noise. Pulse amplitude modulation. Band-passchannels. Capacity of the colored noise waveform channel. Randomcarrier-phase. Coding for band-limited channels.

148

course descriptions


149

department directory

8.


8. Department directory

Name Phone Internal E-mail addressno. address

Aalst, Prof.dr.ir. W.M.P. 4295 Pav.D02 [email protected], Prof.dr. E.H.L. 4426 HG 5.24 [email protected], Dr. A.T.M. 2759 HG 7.85 [email protected], Dr. L.M. 2765 HG 7.82a [email protected], Prof.dr. J.C.M. 2904 HG 6.19 [email protected], Ir. P. 4284 HG 7.46 [email protected], Ir. H.M.A. van 8217 LG 0.10 [email protected], Prof.dr. M.T. de 2150 HG 7.39 [email protected], Prof.dr.ir. C.H. van 3719 HG 5.06 [email protected], Dr. C.J. 4496 HG 6.35 [email protected], Prof.dr. P.M.E. De 4476 HG 7.72 [email protected], Dr.ir. R.J. 5412 HG 5.09 [email protected], Dr. M.R.V. 4449 HG 5.03 [email protected], Ir. L.G.W.A. 5219 HG 7.45 [email protected], Ir. C.J.F. 5158 HG 7.31 [email protected], Dr. A.I. 4350 HG 7.82 [email protected], Ir. W.H.J. 3991 HG 7.41 [email protected], Dr.ir. M.G.J. 5152 HG 6.45 [email protected] Eijk, Drs. H.P.J. van 2747 HG 7.42 [email protected], Prof.dr.ir. J.F. 5003 HG 6.75 [email protected], Ir. F.J.J. van 4344 HG 6.46 [email protected], Prof.dr. L. 5144 HG 7.88 [email protected], Prof.dr. K.M. van 4518 HG 7.74 [email protected], Dr.ir. C. 2825 HG 7.46 [email protected], Prof.dr. P.A.J. 5412 HG 5.09 [email protected], Dr.ir. R.R. 4564 HG 6.86 [email protected], Dr. M.G. van der 8364 HG 5.23 [email protected], Dr.ir. G.J.P.M. 2653 HG 7.75 [email protected], Dr. C. 4120 HG 6.82A [email protected], Dr.ir. A.J.F. 3549 HG 6.44 [email protected], Dr. R. 4122 HG 7.13 [email protected], drs. W.J.M. 3755 HG 7.71 [email protected], Dr. R. van 3549 HG 6.44 [email protected], Dr. E.J. 4338 HG 7.12 [email protected], Dr. J.J. 5147 HG 5.07 [email protected], Dr. S.P. 5142 HG 7.17 [email protected]

151



Mak, Drs. R.H. 3719 HG 5.06 [email protected], K.L. 4193 HG 6.78 [email protected], Ir. A.H.J. 2952 HG 6.43 [email protected], Dr. S. 2908 HG 7.33 [email protected], E. 5150 HG 6.42 [email protected], Prof.dr.ir. C.A. 5157 HG 7.16 [email protected], Ir. R. 5025 HG 7.17 [email protected], Ir. A.J. 2952 HG 6.43 [email protected] Lazarom, Dr. R.P. 2718 HG 7.20 [email protected], DR. S.M. 5576 HG 7.23 [email protected], Ir. M.P. van 2852 HG 6.43 [email protected], Prof.dr. J. 2805 HG 7.83 [email protected], Dr.ir. I. 5412 HG 5.09 [email protected], Dr.ir. M.A. 2999 HG 6.76 [email protected], Dr. W.F. 5144 HG 7.88 [email protected], Dr. J.M.T. 4573 HG 6.82 [email protected], G. 8208 HG 5.25 [email protected], Ir. E.T.J. 2865 HG 6.45 [email protected], Ph.D. N. 3705 HG 7.84 [email protected], A. 4628 HG 7.24 [email protected], Dr. L.J.A.M. 2805 HG 7.83 [email protected], Dr. B. 3076 HG 7.34 [email protected], Dr. P.D.V. van der 4426 HG 5.24 [email protected], V.I. 5154 HG 7.77 [email protected], dr.ir. A.C. 5008 HG 6.85 [email protected], N. 5004 HG 7.15 [email protected], O. 2952 HG 6.43 [email protected], Dr. J.P. 2763 HG 6.79 [email protected], Dr.ir. T. 4125 HG 6.46 [email protected], J.H.S. 5025 HG 7.17 [email protected], Dr. E.P. de 3146 HG 7.32 [email protected], Dr. M. 2420 HG 7.86 [email protected], Dr.ir. J.W. 2734 HG 6.77 [email protected], Dr.ir. H.M.M. van de 4268 HG 6.83 [email protected], Prof.dr.ir. J.J. van 4579 HG 6.71 [email protected], Dr. J.C.S.P. van der 5146 HG 7.79 [email protected], Dr. H. 2749 HG 6.88 [email protected], V.J.L. 5152 HG 7.37 [email protected], Dr.ir. G. 4291 HG 6.44 [email protected]

Educational director:Prof.dr.ir. J.F. Groote 5003 HG 6.75 [email protected]

152



Master-coordinator:Dr. J.C.S.P. van der Woude 5146 HG 7.99 [email protected]: M.J.P.L. Heruer 4501 HG 6.40 [email protected]

CS Division Secretary: 5010 HG 6.74 [email protected]. van den Bosch

Group secretaries:Architectures of Information Systems (AIS): 2733 HG 7.73 [email protected] M.A. van BuulDatabases and Hypermedia (DH): 2733 HG 7.73 [email protected]. van BuulFormal Methods (FM): 5155 HG 7.22 [email protected]. JoostenDesign and Analysis of Systems (OAS): 5010 HG 6.74 [email protected]. van den BoschAlgorithms (ALG): 5155 HG 7.22 [email protected]. JoostenSoftware Construction (SoC): 5145 HG 7.43 [email protected]. DrieverVisualization (VIS) 5010 HG 6.74 [email protected]. van den BoschSystem Architecture and Networks (SAN): 8309 HG 5.08 [email protected] C.C.M. Brouwer

Services:Dr. E.F. Kaasschieter 2724 HG 6.37 [email protected]. Linders 5160 HG 6.31 [email protected]. Garrido 8343 HG 6.33 [email protected]

Exam Committee 2724 HG 6.37 [email protected] Administration 2379 HG 6.33 [email protected]

It took some effort to provide a reasonably accurate directory, however the Math and CSDepartment is growing and some floors are being remodeled. For the most up-to-dateinformation on office locations and telephone numbers, we refer you to the departmentsecretary.

153



master program guide 2005-2006 computer science and … · 2005. 7. 25. · 3 master program guide...

Documents