Σεμινάριο Θεωρητικής Πληροφορικής – Τυπικών Μεθόδων

“Μαθηματική μοντελοποίηση αρχιτεκτονικών λογισμικού και εξάλειψη λανθασμένων συμπεριφορών σε συστήματα βασισμένα σε συνιστώσες”

Πέμπτη 7 Μαίου, ώρα 12:00, Αίθουσα M2
Dr Μαρία Πίττου
Μεταδιδακτορική ερευνήτρια
Τμήμα Μαθηματικών Α.Π.Θ.

Η παρουσίαση επικεντρώνεται στην φορμαλιστική μοντελοποίηση αρχιτεκτονικών λογισμικού σε συστήματα βασισμένα σε συνιστώσες. Εισάγεται μια προτασιακή λογική για την περιγραφή των αρχιτεκτονικών, η οποία μοντελοποιεί τόσο τις επιτρεπτές αλληλεπιδράσεις όσο και τη σειρά εμφάνισής τους. Στη συνέχεια παρουσιάζεται η πρώτη τάξη αυτής της λογικής για τη μοντελοποίηση αρχιτεκτονικών σε παραμετρικά συστήματα. Η προτεινόμενη μέθοδος μοντελοποίησης επεκτείνεται για την περιγραφή ποσοτικών χαρακτηριστικών και αβεβαιότητας των (παραμετρικών) αρχιτεκτονικών. Τέλος, παρουσιάζεται μία μέθοδος βασισμένη σε αυτόματα για την εξάλειψη deadlocks και συγκεκριμένων εσφαλμένων συμπεριφορών σε συστήματα βασισμένα σε συνιστώσες με συγκεκριμένη αρχιτεκτονική.

https://grahonis.webpages.auth.gr/Seminar_TCS-FM.html
Οι υπεύθυνοι του σεμιναρίου
καθ. Παναγιώτης Κατσαρός (τμήμα Πληροφορικής)
καθ. Γεώργιος Ραχώνης