CPSRC Seminar Series - FRET: A Formal Requirements Elicitation Tool

Speaker Name: 
Anastasia Mavridou
Speaker Title: 
Computer Scientist
Speaker Organization: 
NASA Ames Research Center
Start Time: 
Thursday, May 9, 2019 - 1:30pm
End Time: 
Thursday, May 9, 2019 - 3:00pm
Location: 
E2 599
Organizer: 
Ricardo Sanfelice

 

Abstract

Requirement formalization and verification tools are essential in designing safety-critical CPS and achieving a level of confidence in system correctness. In this talk, I present the FRET framework for the elicitation, formalization, and understanding of requirements. System requirements are entered in a specialized natural language and can be defined in a hierarchical fashion. FRET helps understanding and review of semantics by utilizing a variety of forms for each requirement: natural language description, formal mathematical logics (based on Metric Temporal Logic), and a graphical notation. Additionally, I present the connection of FRET to modeling environments and compositional verification tools, and demonstrate its application to complex systems.

 

Bio

Anastasia Mavridou is a Computer Scientist in the Robust Software Engineering group at the NASA Ames Research Center. Previously, she worked as a PostDoctoral Researcher at the Institute of Software Integrated Systems at Vanderbilt University. She received her PhD in 2016 from Ecole Polytechnique Federale de Lausanne (EPFL), Switzerland. Her research interests revolve around rigorous system design, formal modeling and analysis of systems with a focus on correct-by-construction techniques.