IEEE Kingston Section

IEEE

Mapping features to source code in dynamically configured avionics software

The IEEE Kingston Section is proud to announce the Technical Lecture:

Title: Mapping features to source code in dynamically
configured avionics software.

Time: Thursday, March 29, 2:00 PM

Location:Queen’s University, Walter Light Hall, Room 210

Speaker: Professor Ettore Merlo, McGill University

Abstract: Mapping software features to the code that implements them is an important activity for program comprehension and software reengineering. In this paper, we present a novel automated approach to locate features in source code based on static analysis and model checking. This approach focuses on dynamically configured software in which the activation of specific features is controlled by configuration variables. The main advantages of a static approach to feature location are its execution time performance and applicability to large systems containing hundreds of features. Our methodology is applied to an industrial Flight Management System from the avionics industry. Results show that a static approach to feature mapping is feasible and can locate complex features whose implementation is spread across multiple files and functions.

Speaker Bio: Ettore Merlo obtained his Ph.D. in computer science from McGill University (Montreal) in 1989 and his Laurea degree – summa cum laude – from University of Turin (Italy) in 1983. He was the lead researcher of the software engineering group at Computer Research Institute of Montreal (CRIM) until 1993 when he joined Ecole Polytechnique de Montreal, where he is currently a full professor in the Computer and Software Engineering Department. His research interests are in software analysis, software reengineering, software testing, software security, user interfaces, software maintenance, artificial intelligence and bio-informatics. He has collaborated with several industries and research centers in particular on software reengineering, clone detection, software quality assessment, software evolution analysis, testing, architectural reverse engineering and genetic linkage analysis.

This seminar is intended for a general audience interested in Electrical and Computer
Engineering. All are welcome! Refreshments will be served.

Comments are closed.