1999 - Budi Rahardjo - v.1.01 Topik Gado-Gado Teknologi Budi Rahardjo Presentasi Politeknik 1999.

Presentasi berjudul: "1999 - Budi Rahardjo - v.1.01 Topik Gado-Gado Teknologi Budi Rahardjo Presentasi Politeknik 1999."— Transcript presentasi:

1 1999 - Budi Rahardjo - v.1.01 Topik Gado-Gado Teknologi Budi Rahardjo br@paume.itb.ac.id Presentasi Politeknik 1999

2 1999 - Budi Rahardjo - v.1.02 Topik zFormal methods zIntelligent software agents zUbiquitous computing zInformation Technology topics: ySME opportunities yElectronic commerce ySecurity yY2K zBandung High Tech Valley

3 1999 - Budi Rahardjo - v.1.03 Tentang Budi Rahardjo zStaf Jurusan Teknik Elektro ITB zPPAU Mikroelektronika ITB: Wakil Kepala/Sekretaris, MIS Director, IC designer ymore about VLSI zUPT PIKSI ITB: Kepala Bidang Operasi dan Pelayanan Teknologi Informasi zTop Level Domain Indonesia (TLD-ID): admin zIDNIC:.ID Domain Registration zIDCERT: security zInsan Komunikasi: network programming

4 1999 - Budi Rahardjo - v.1.04 Formal Methods zSistem / disain semakin kompleks sehingga tidak dapat dilakukan pengujian dengan metoda coba-coba, brute force, atau exhaustive test (uji semua kombinasi) yBagaimana menguji mikroprosesor 128-bit? Dicoba semua kombinasi? 2 128 Membutuhan (ratusan) tahun zPenggunaan metoda formal dalam setiap langkah dari disain yFormal specification yFormal verification

5 1999 - Budi Rahardjo - v.1.05 Formal Specification zSpesifikasi yang informal yambiguous ytidak dapat diotomatisasi zSpesifikasi formal ynotasi matematik ynotasi yang dapat dibaca komputer

6 1999 - Budi Rahardjo - v.1.06 Formal Verification zMenggunakan model matematika sebagai basis verifikasi zVerifikasi: membuktikan bahwa implementasi memenuhi spesifikasi zContoh yang telah kami kerjakan: yVerifikasi protokol Agent Transfer Protocol dengan Promela & Spin yVerifikasi hardware dengan promela & spin yEksplorasi PVS dan alliance yPenggunaan Binary Decission Diagram (BDD)

7 1999 - Budi Rahardjo - v.1.07 Intelligent Software Agents zBanyaknya informasi yang tersedia sehingga menyulitkan pengelolaan zKebutuhan sekretaris digital zContoh: ypresentasi di NEDO yAglet - java based agent

8 1999 - Budi Rahardjo - v.1.08 Ubiquitous computing zKomputer (dalam bentuk yang bermacam-macam) ada dimana-mana dan “tidak tampak” zImplementasi dalam bentuk yang menyatu ykacamata ybaju digital ybackend computing

9 1999 - Budi Rahardjo - v.1.09 IT topics zEkonomi global membuka kesempatan bagi Usaha Kecil Menengah (UKM) zBagaimana kita dapat mengarungi badai Internet dan bahkan menggunakan kesempatan yang ada

10 1999 - Budi Rahardjo - v.1.010 Electronic Commerce zPerdagangan elektronis zMasalah-masalah: yregulasi (sebaiknya dibuka saja, tidak perlu diregulasi secara ketat) yinfrastruktur yhukum ySDM ydata & computing facilities ypemahaman / kemampuan teknis

11 1999 - Budi Rahardjo - v.1.011 Information security zDibutuhkan dalam era digital untuk melakukan komunikasi dan transaksi elektronik