download

Matakuliah
Tahun
Versi
: H0232/Sistem Waktu Nyata
: 2005
: 1/5
Pertemuan #1
Introduction
1
Tujuan Instruksional Umum
Pada akhir pertemuan ini, diharapkan
mahasiswa akan mampu :
• Menghasilkan model sistem waktu nyata
dengan tepat
2
Tujuan Instruksional Khusus
Pert.
Metode
Materi
Tujuan Instruksional Khusus
1.
F2F
Introduction
Menjelaskan beberapa definisi dan isu tentang sistem
waktu nyata
2.
F2F
Clock
Menjelaskan fenomena clock dengan benar
3.
F2F
Clock and Realtime
Menjelaskan hubungan clock dan real time
4.
F2F
Petri Nets
5.
OFC
Menghasilkan petri net yang merepresentasikan suatu
sistem
6.
F2F
Timed Petri Nets
7.
F2F
Menghasilkan timed petri net yang merepresentasikan
suatu sistem
8.
OFC
9.
F2F
EnvironmentRelationship Nets
Menghasilkan environment-relationship net suatu sistem
10.
F2F
Systems of Clock
Mendemonstrasikan beberapa metode sinkronisasi clock
11.
F2F
12.
F2F
Realtime Scenarios
13.
OFC
Menghasilkan skenario waktu nyata suatu fenomena
sistem
3
Learning Outcomes
Pada akhir pertemuan ini, diharapkan
mahasiswa akan mampu :
• Menjelaskan beberapa definisi dan isu
tentang sistem waktu nyata
4
Outline Materi
• Definition
• Abstraction
• Issue
5
Definisi
•
•
•
•
•
Real-time systems
Hard and Soft Real-time systems
Time and Event Driven Systems
Structure of Real-time Systems
Embedded Real-time System
6
Abstraction
• Form of Abstarction
• Modeling Framework
• Correctness of Real-time Systems
7
Issue
•
•
•
•
Constraints on System Behavioral
Architectural Concerns
Resources Allocation
Critical Real-time Systems
8
Pustaka
• Nissanke, Nimal, Realtime Systems,
Prentice Hall, 1997
• Krisnha, C.M. and Shin, Kang G.,
Realtime Systems, Mc.Graw Hill, 1997
9