Survivability is the ability of a system to continue operating despite the presence of abnormal events such as failures and intrusions. Ensuring system survivability has increased in importance as critical infrastructures have become heavily dependent on computers.  In this talk I will present a systematic method for performing survivability analysis of networked systems.  An architect injects failure and  intrusion events into a system model and then visualizes the effects of the injected events in the form of scenario graphs.  Our method enables further global analyses, such as reliability, latency, and cost-benefit analyses, where mathematical techniques used in different domains are combined in a systematic manner.  In particular, we draw on symbolic model checking, constrained Markov Decision Processes, and Bayesian networks to effect our method.   I will illustrate the method on an abstract model of the United States Payment System. This work is done jointly with Somesh Jha.

BIOGRAPHY
Dr. Jeannette M. Wing is a full Professor of Computer Science at Carnegie Mellon University.  She is the Associate Dean for Academic Affairs for the School of Computer Science and the Associate Department Head for the Computer Science Ph.D. Program.  She received her S.B. and S.M. degrees in Electrical Engineering and Computer Science in 1979 and her Ph.D. degree in Computer Science in 1983, all from the Massachusetts Institute of Technology (MIT). She is a ACM Fellow.

Professor Wing's general research interests are in the areas of formal methods, concurrent and distributed systems, and programming languages. She is interested in developing new techniques and tools to analyze complex software systems.  Her current focus is on applying these techniques and tools to reason about security and survivability.

___________________________________________________________________

Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of services and constraints, and the assignment of  responsibilities for the resulting requirements to agents such as humans, devices, and software. Getting high-quality requirements is difficult and critical. Recent surveys have confirmed the growing recognition of RE as an area of primary concern in software engineering research and practice.

The talk will first briefly introduce RE by discussing its main motivations, objectives, activities, and challenges. The role of rich models as a common interface to all RE processes will be emphasized. We will then review various techniques available to date for system modeling, from semi-formal to formal, with the aim of showing their relative strengths and weaknesses when applied during the RE stage of the software lifecycle, notably, their limited scope, their lack of abstraction, their poor separation of concerns, and their lack of methodological guidance.

The talk will then discuss a number of recent efforts to overcome such problems through RE-specific techniques for goal-oriented elaboration of requirements, multiparadigm modeling and specification, the handling of non-functional requirements, the management of conflicting requirements, and the handling of abnormal agent behaviors.
 

BIOGRAPHY
Axel van Lamsweerde is Full Professor of Computing Science at the University of Louvain, Belgium. He received the M.S. degree in Mathematics from that university, and the Ph. D. degree in Computing Science from the University of Brussels. From 1970 to 1980, he was Research Associate with the Philips Research Laboratory in Brussels where he worked on proof methods for parallel programs and on knowledge-based approaches to automatic programming. He was then Professor of Software Engineering at the Universities of Namur and Brussels before joining UCL in 1990. He is co-founder of the CEDITI technology transfer institute partially funded by the European Union. He has also been a research fellow at the University of Oregon and the Computer Science Laboratory of SRI International, Menlo Park, CA.

Professor van Lamsweerde's professional interests are in technical approaches to requirements engineering and, more generally, in lightweight formal methods for reasoning about software engineering products and processes. Professor van Lamsweerde is an ACM fellow. He was program chair of the Third European Software Engineering Conference (ESEC'91), program co-chair of the Seventh IEEE Workshop on Software Specification and Design (IWSSD-7), and program co-chair of the ACM-IEEE Sixteenth International Conference on Software Engineering (ICSE-16). He is member of the Editorial Boards of the Automated Software Engineering Journal and the Requirements Engineering Journal. Since 1995, he is Editor-in-Chief of the ACM Transactions on Software
Engineering and Methodology (TOSEM).

___________________________________________________________________
 
 

It is important at times to view how we actually achieve the results  we desire in our software systems. The current emphasis on software evolution and its impact on development and users is no exception. This talk focuses on the past and present of software and systems evolution as seen through several high-profile examples. The talk also provides information about what we know, what resources we have to work with, and what we can hope or expect to achieve, as well as sources we can consult for insight and advice.

BIOGRAPHY Gene F. Hoffnagle has been involved with software systems architecture, application development, and the software process since joining IBM in  1967. His early experiences included the U.S. air traffic control system and several years of study with the late Dr. Harlan D. Mills on software engineering and information systems architecture. Later, he created the foundation and architecture for the precursor to IBM's AD/Cycle software development system. Most recently, he was the director of IBM Technical Journals, editor of the IBM Systems Journal, and editor of the IBM Journal of Research and Development. He is now  the research and technology strategist for the IBM Centers for Advanced Studies.

Mr. Hoffnagle holds a Bachelor of Science degree in Mathematics from Case Institute of Technology (now part of Case Western Reserve University) and a Masters of Science degree in Computer Science from Johns Hopkins University. He is a member of the IEEE and the IEEE Computer Society's Board of Governors, the ACM, and the Council of Editors of Learned Journals, and is the immediate past chairman of the IEEE Computer Society's Technical Council on Software Engineering.

__________________________________________________________________