Teknologi.Bagian dari ensiklopedia.onlineCari/
BerandaKomputasi & perangkat lunakEmile: The EventML Explorer
Proyek riset & pengembangan

Emile: The EventML Explorer

Ringkasan tujuan riset

Emile menghubungkan protokol EventML dengan analisis logika otomatis untuk membantu verifikasi formal sistem terdistribusi dan mengurangi pekerjaan pembuktian sifat koordinasi komponen.

Komputasi & perangkat lunak1 rujukanProfil diperbarui
Lihat rujukanBandingkan proyek
Linimasa NASA TechPort 12891Periode tercatat 2012-12-26 sampai 2014-12-25. TRL: awal 3, saat akses 6, target 6. Target bukan hasil.NASA TechPort 12891MulaiAkhir tercatat201220152012-12-262014-12-25TRL 1–9Awal3Saat akses6Target6
Linimasa dan catatan proyek

Tanggal dan TRL menurut catatan penerbit. Akhir periode dan target bukan bukti hasil riset.

Teknologi · CC BY 4.0 · Sumber data

Apa tujuan dan pendekatan risetnya?

Event Logic dan bahasa EventML mendeskripsikan protokol terdistribusi melalui pemrograman berbasis kejadian. Emile menyediakan antarmuka semantik yang menerjemahkan pernyataan sifat program ke bentuk logika bagi alat analisis otomatis. Logical manajer mengarahkan pekerjaan pembuktian yang terhubung dengan lingkungan Nuprl. Demonstrasi menggunakan sifat penting dari kode protokol konsensus seperti Paxos. Tujuannya memasukkan metode formal ke proses pengembangan biasa, sehingga perancang dapat memeriksa koordinasi yang rumit dengan dukungan otomatis tanpa menganggap semua sifat program terbukti dengan sendirinya.

Profil ini merangkum ruang lingkup proyek yang dipublikasikan NASA TechPort. Sumber diakses . Uraian pendekatan dan manfaat menyatakan tujuan pengembangan, kecuali sumber secara khusus melaporkan hasil.

Baca uraian penerbit

Konteks pengembangan

Institusi pemimpin
ATC-NY, Inc.
Program
Small Business Innovation Research/Small Business Tech Transfer
Periode proyek
2012-12-26 → 2014-12-25

Klasifikasi NASA

  • TX11.2.2 — Integrated Hardware and Software Modeling

Label penerbit dipertahankan sebagai konteks. Bidang katalog merupakan pengelompokan editorial.

Apa yang diketahui tentang statusnya?

Status proyek menurut NASACompleted
Awal proyekTRL 3
Tercatat saat aksesTRL 6
Target akhirTRL 6

TRL adalah tingkat kesiapan teknologi yang dilaporkan penerbit, pada skala 1–9. Nilai target akhir menunjukkan sasaran. Status “Completed” berarti proyek telah selesai menurut pencatatan NASA; status tersebut tidak membuktikan bahwa seluruh sasaran kinerja telah tercapai.

Batas informasi

Profil ini menjelaskan ruang lingkup riset dari catatan penerbit. Target pengembangan dan TRL akhir bukan bukti keberhasilan, ketersediaan produk, atau kelayakan penerapan. Tinjauan ahli dan pengujian performa independen belum dilakukan.

Dasar profil

  • NASA TechPort: Emile: The EventML Explorer ↗

    NASA TechPort · Pembaruan sumber 01/22/26

    Diakses 2026-10-13. Rujukan primer dengan atribusi. Uraian Indonesia adalah parafrasa editorial; hak dokumen dan aset upstream mengikuti pemiliknya.
Metodologi dan batas pemeriksaan. Ringkasan berbahasa Indonesia disusun sebagai parafrasa editorial dengan pemeriksaan sumber primer oleh agen AI. Identitas, periode, serta status berasal dari catatan penerbit. Tinjauan ahli dan pengujian kinerja independen belum dilakukan; rujukan tidak menyiratkan dukungan atau sertifikasi NASA.