הנדסת תכנה

 פרופ' דורון פלד - ראש קבוצת אמינות של חומרה ותכנה

 

יותר מ-50% מהמאמץ בפיתוח חומרה ותכנה מושקע כיום בבדיקות נכונות ואמינות. השגת תכנה איכותית כרוך בשימוש בשיטות הנדסת תכנה תוך כדי הפיתוח ובבדיקות סיסטמטיות בכל שלב.

 

הקבוצה עוסקת בנושאים מגוונים של פיתוח תכנה וחמרה אמינה:

 

* איתות אוטומטי של תכנה וחמרה Model Checking.

* שיטות מתמטיות לבדיקה סיסטמטית של מערכות Testing

* הוכחה לוגית של נכונות Theorem  Proving

* מפרט של חומרה ותכנה Specification

* יצירה אוטומטית של קוד ממפרט Synthesis

* יצירת כלים לבדיקה של תכנה

 

 למידע נוסף ראו באתר הקבוצה:  http://u.cs.biu.ac.il/~doronp/formalmethods.html