1 / 11

Topik Gado-Gado Teknologi

Topik Gado-Gado Teknologi. Budi Rahardjo br@paume.itb.ac.id Presentasi Politeknik 1999. Topik. Formal methods Intelligent software agents Ubiquitous computing Information Technology topics: SME opportunities Electronic commerce Security Y2K Bandung High Tech Valley.

hogan
Télécharger la présentation

Topik Gado-Gado Teknologi

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

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

  2. Topik • Formal methods • Intelligent software agents • Ubiquitous computing • Information Technology topics: • SME opportunities • Electronic commerce • Security • Y2K • Bandung High Tech Valley 1999 - Budi Rahardjo - v.1.0

  3. Tentang Budi Rahardjo • Staf Jurusan Teknik Elektro ITB • PPAU Mikroelektronika ITB: Wakil Kepala/Sekretaris, MIS Director, IC designer • more about VLSI • UPT PIKSI ITB: Kepala Bidang Operasi dan Pelayanan Teknologi Informasi • Top Level Domain Indonesia (TLD-ID): admin • IDNIC: .ID Domain Registration • IDCERT: security • Insan Komunikasi: network programming 1999 - Budi Rahardjo - v.1.0

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

  5. Formal Specification • Spesifikasi yang informal • ambiguous • tidak dapat diotomatisasi • Spesifikasi formal • notasi matematik • notasi yang dapat dibaca komputer 1999 - Budi Rahardjo - v.1.0

  6. Formal Verification • Menggunakan model matematika sebagai basis verifikasi • Verifikasi: membuktikan bahwa implementasi memenuhi spesifikasi • Contoh yang telah kami kerjakan: • Verifikasi protokol Agent Transfer Protocol dengan Promela & Spin • Verifikasi hardware dengan promela & spin • Eksplorasi PVS dan alliance • Penggunaan Binary Decission Diagram (BDD) 1999 - Budi Rahardjo - v.1.0

  7. Intelligent Software Agents • Banyaknya informasi yang tersedia sehingga menyulitkan pengelolaan • Kebutuhan sekretaris digital • Contoh: • presentasi di NEDO • Aglet - java based agent 1999 - Budi Rahardjo - v.1.0

  8. Ubiquitous computing • Komputer (dalam bentuk yang bermacam-macam) ada dimana-mana dan “tidak tampak” • Implementasi dalam bentuk yang menyatu • kacamata • baju digital • backend computing 1999 - Budi Rahardjo - v.1.0

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

  10. Electronic Commerce • Perdagangan elektronis • Masalah-masalah: • regulasi (sebaiknya dibuka saja, tidak perlu diregulasi secara ketat) • infrastruktur • hukum • SDM • data & computing facilities • pemahaman / kemampuan teknis 1999 - Budi Rahardjo - v.1.0

  11. Information security • Dibutuhkan dalam era digital untuk melakukan komunikasi dan transaksi elektronik 1999 - Budi Rahardjo - v.1.0

More Related