Personal tools
You are here: Home Events LFCS Seminars-Folder LFCS seminar: Dalal Alrajeh: Repairing Software Requirements Models: A Declarative Learning-based Approach

LFCS seminar: Dalal Alrajeh: Repairing Software Requirements Models: A Declarative Learning-based Approach

— filed under:

What
  • LFCS Seminar
When Mar 29, 2016
from 04:00 PM to 05:00 PM
Where 4.31/4.33
Add event to calendar vCal
iCal

Title:

Repairing Software Requirements Models: A Declarative Learning-based Approach

Abstract:

One of the major advances in the verification of software systems is model checking.  Model checking is an automated technique for uncovering faults in formal software models that are constructed during system development (e.g., design specifications, requirements specifications and implementation code) and deployment. Notwithstanding its effectiveness, identifying the causes of detected failures in the original model and generating correct and consistent repairs remains a challenging problem.

In this talk, I will describe a declarative framework MARBLE, which integrates model-checking and logic-based learning, for diagnosing and repairing incompleteness faults in requirements specifications. I will focus in particular on recent work that uses MARBLE for (I) automatically computing adverse conditions of an environment which prevent software goals from being satisfied, and (2) automatically generating repairs for the goals that can withstand such conditions and that are guaranteed to be consistent and correct. I will then overview on-going research about using MARBLE for designing forensic-ready systems and self-adaptive systems.

Bio: 

 

Dalal Alrajeh  is a Research Fellow in the Distributed Software Engineering group at Imperial College London, and visiting researcher at the Security and Crime Science Department at University College London (UK).  She is the recipient of Imperial College Junior Research Fellowship award for her research in diagnosis and correction in partial software specifications.  Her main research is in formal requirements engineering for safety-critical systems and human-intensive systems. More details available at www.doc.ic.ac.uk/~da04.

Document Actions