Speaker

Αναστασία Μαυρίδου

Researcher at KBR / NASA Ames Research Center - NASA Ames Research Center

Η Αναστασία Μαυρίδου εργάζεται ως ερευνήτρια στο KBR / NASA Ames Research Center, Mountain View, California, USA. Είναι μέλος του Robust Software Engineering Group. Τα ερευνητικά της ενδιαφέροντα επικεντρώνονται στην αξιοποίηση φορμαλιστικών μεθόδων (formal methods) για την περιγραφή και επαλήθευση κρίσιμων συστημάτων. Τα τελευταία χρόνια δουλεύει στον τομέα της τεχνολογίας απαιτήσεων (requirements engineering) και συγκεκριμένα στο open source εργαλείο FRET του NASA Ames Research Center. Για τη δουλειά της στο FRET έχει τιμηθεί, μαζί με την υπόλοιπη ομάδα FRET, με το NASA Group Achievement Award. Πέρυσι συνδιοργάνωσε (co-chaired) το NFM 2020 (NASA Formal Methods Symposium) συνέδριο και φετος συνδιοργανώνει το FMICS 2021 (Formal Methods for Industrial Critical Systems). H Αναστασία Μαυρίδου είναι διπλωματούχος Ηλεκτρολόγος Μηχανικός και Μηχανικός Ηλεκτρονικών Υπολογιστών του Αριστοτελείου Πανεπιστημίου Θεσσαλονίκης και διδάκτωρ του Πολυτεχνείου της Λωζάνης (EPFL) με επιβλέποντα καθηγητή τον κ.Ιωσήφ Σηφάκη.

Capturing and Analyzing Requirements with NASA Ames’ FRET

Requirements engineering is a central step in the development of safety-critical systems. In practice, requirements are typically written in natural language, which is ambiguous and consequently not amenable to formal analysis. Since formal, mathematical notations are usually unintuitive, requirements in FRET are entered in a restricted natural language. For each requirement, FRET automatically produces temporal logic formulas and verification code that can be used by analysis tools at all phases of the software lifecycle. In this talk, we will demonstrate the process of writing, explaining, formalizing, and analyzing aerospace requirements with the FRET tool. FRET is developed at NASA Ames.