Tedc
Vol 8 No 1 (2014): Jurnal TEDC

PENGGUNAAN METODE FORMAL PADA SISTEM FAULT TOLERAN INTEGRATED MODULAR AVIONICS

Ida Bagus Budiyanto (Unknown)

Article Info

Publish Date
09 Sep 2019

Abstract

Tahap analisis dan perancangan merupakan tahap yang sangat penting dalam pengembangan sebuah sistem. Kesalahan pada tahap ini akan berdampak pada tahap berikutnya, dan pada akhirnya berdampak pada kegagalan sistem. Spesifikasi yang dibuat menggunakan bahasa alami memiliki banyak kelemahan seperti kontradiktif, rancu, samar, bermakna ganda, dan tidak lengkap. Metode formal yang menggunakan logika formal dan matematika mulai digunakan untuk mengatasi hal ini. Makalah ini menggambarkan beberapa pemakaian metode formal dalam sistem fault tolerance khususnya sistem avionik modular terintegrasi. Kata kunci : metode formal, fault toleran, IMA.

Copyrights © 2014




Citation Download
RIS
EndNote, Reference Manager, ProCite
BibTex
Latex, Jabref
Full PDF
182.738 KB
Original Source
Download Original
Google Scholar
Check in Google Scholar
Journal Info
Tedc
Website

Abbrev

tedc

Publisher

Politeknik TEDC

Subject

Religion Humanities Automotive Engineering Chemical Engineering, Chemistry & Bioengineering Chemistry Civil Engineering, Building, Construction & Architecture Control & Systems Engineering Decision Sciences, Operations Research & Management Education Electrical & Electronics Engineering Engineering Industrial & Manufacturing Engineering Languange, Linguistic, Communication & Media Materials Science & Nanotechnology Mathematics Mechanical Engineering Physics Public Health Social Sciences Transportation Veterinary

Description

Jurnal Ilmiah TEDC merupakan Jurnal Ilmiah Berkala yang diterbitkan oleh Unit Penelitian dan Pengabdian kepada Masyarakat Politeknik TEDC. Jurnal Ilmiah TEDC mempublikasikan artikel ilmiah berupa hasil penelitian, gagasan, dan kosepsi dalam ilmu pendidikan, ilmu pengetahuan, teknologi, seni, ekonomi ...