Article Per Year (5 Year)
p-Index From 2021 - 2026
0
P-Index
This Author published in this journals
All Journal Tedc
Ida Bagus Budiyanto
Unknown Affiliation
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

Published : 1 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 1 Documents
Search

 1 
PENGGUNAAN METODE FORMAL PADA SISTEM FAULT TOLERAN INTEGRATED MODULAR AVIONICS Ida Bagus Budiyanto
Jurnal TEDC Vol 8 No 1 (2014): Jurnal TEDC
Publisher : UPPM Politeknik TEDC Bandung

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (182.738 KB)

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.
Co-Authors