Home

The research lab has moved to UC Irvine and this site is no longer maintained. Our new homepage is at: http://seal.ics.uci.edu/

Software Design and Analysis Laboratory (SDAlab) is broadly engaged in research to automate the software engineering activities, thereby improving the developer productivity as well as the quality of the resulting software. The group is led by Dr. Sam Malek, an Associate Professor in the Department of Computer Sciences at George Mason University.

The underlying theme and long-term goal of this research lab is the development of techniques and tools that aid with the construction, analysis, and maintenance of large-scale dependable software systems. The inher­ent complexity of large-scale software systems has always posed a significant challenge to soft­ware practitioners. On top of this, emerging non-conventional computing domains (e.g., autonomic, embedded, pervasive, and mobile systems) present developers with a formidable set of new challenges. The overarching hypothesis guiding this research lab is that it is possible to reduce the complexity of engineering dependable software by automating the cumbersome manual software engineering activities.

In that context, the members of the lab to date have investigated a wide range of issues, which can be roughly categorized into three research thrusts:

(I) Software Architecture and Design — representations of a system's implementation, enabling developers to abstract away the unnecessary details and focus on the system’s building blocks and properties.

(II) Autonomic Computing — an increasingly important class of systems capable of automatically adjusting their behavior at runtime to deal with changes in the system’s requirements and its execution environment.

(III) Mobile and Smartphone Computing — collectively refers to emerging forms of computing, including mobile, cyber-physical, and pervasive systems, that call for new software engineering techniques and tools to deal with increasingly difficult challenges, such as security and energy.