RSS

Lima Buku Teks dan Makalah Terkait Penelitian

30 Mar

Berikut 5 buku teks dan makalah yang terkait dengan topik penelitian Verifikasi Formal untuk Sistem Waktu Nyata Kritis :

  1. Fault Tolerance, karya Israel Koren, menjelaskan konsep dasar fault-tolerance pada hardware dan software.  Fault Tolerance ini sangat penting dan harus dimiliki oleh Safety-Critical Real-Time System, sehingga dapat memprediksi dan mengantisipasi kemungkinan terjadinya kegagalan sistem.
  2. Introduction to Formal Language Theory, karya Michael A. Harrison, menjelaskan teori dasar tentang bahasa formal yang menggunakan notasi matematika, grammar, dan automata.
  3. Software Specification Methods, diedit oleh Henri Habias dan Marc Frappier, yang merupakan karya beberapa penulis tentang metode pembuatan spesifikasi menggunakan beberapa bahasa formal.
  4. Real-Time Specification: Formal Specification and Automatic Verification, karya E.R. Olderog dan H. Dierks, menjelaskan tiga teknik spesifikasi sistem waktu nyata berbasis logika dan automata, yaitu Duration Calculus, Timed Automada dan PLC-Automata.
  5. Modeling and Verification of Real-Time System, diedit oleh Stephan Merz dan Nicolas Navet, menjelaskan konsep dasar dan teknik-teknik untuk pemodelan sistem waktu-nyata dan untuk memverifikasi sifat-sifatnya.
Advertisements
 
Leave a comment

Posted by on March 30, 2012 in Uncategorized

 

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

w

Connecting to %s