Sifat-Sifat
Embedded Software
Timeliness
- Waktu: secara sistematik telah terhubung
dengan teori komputasi
- RTOS seringkali mereduksi karakterisasi
suatu task menjadi sebuah bilangan ( yakni, prioritasnya )
-
Tetapi: Komputasi memerlukan waktu bahkan pada komputer yang sangat cepat,
waktu masih perlu dipertimbangkan
ü Proses fisik memerlukan waktu
- Perlu ditemukan abstraksi yang
memungkinkan kendali waktu
Concurrency
- Diduniafisik, banyak kejadian berlangsung
pada waktu yang sama
- Tantangan: mengkompromikan sekuensialitas
software dengan konkurensi dunia nyata
ü Pendekatan klasik (semaphores,
monitors, dsb) memberikan fondasi yang baik Tetapi tidak mencukupi.
ü Pendekatan lain adalah kompilasikan konkurensi
(Estrel).
•
Estrel:
synchronous/reactive language
•
FSM
based, deterministic behavior
ü Keunggulan: program yang sangat dapat
diandalkan
ü Kekurangan: terlalu static untuk
system tertentu
- Karena itu diperlukan pendekatan menengah
Liveness
Program tidak boleh berakhir
ü Tidakseperti model komputasi Turing
tradisional, HALT tidak boleh terjadi
ü Deadlock tidak dapat ditolerir
- Correctness bukan semata mata menampilkan
jawaban akhir yang benar
ü Harus mempertimbangkan hal-hal seperti
timing, power consumption, fault recovery, security and robustness
Interfaces
Keterhubungan dengan lingkungan,
serial,usb, l2c, dll
Heterogeneity
Keberagaman device menimbulkan masalah
interoperabilitas
Reactivity
- Sistem disebut interaktif, bila:
ü Bereaksi dengan kecepatannya sendiri
( atau kecepatan manusia yang mengendalikannya )
- Sistem disebut transformatsional,
bila:
ü Mentransformasikan suatu input data
menjadi suatu output data ( misalnya perkalian dua buah matriks )
- Sistem disebut reaktif, bila:
ü Bereaksi secara kontinu dengan lingkungan,
selalu dengan kecepatan reaksi yang tetap
ü Harus beradaptasi terhadap perubahan
kondisi sumber daya dan permintaan dapat sering berubah
ü Kendala waktu nyata,
Safety-critical, Fault-tolerance dapat merupakan isu utama
