Abstract:
Systems for various critical emergency response situations, such as dealing with large-scale fires in forests, coordinating recovery activities after major natural disasters, handling wide-spread power outages, traffic congestions, accidents, etc., require dynamic system composition under severe time constraints. The service-oriented paradigm provides a solid foundation for rapidly composing services to build highly customized systems to optimally cope with the special operational conditions that are unique to each specific emergency response situation. However, these are highly safety-critical systems where any failures can have potentially catastrophic consequences. Hence, there is an urgent need to develop high-assurance techniques for rapidly composing highly dependable service-oriented systems and certifying the dependability of the integrated system to a high degree of confidence.

 

To meet these requirements, we present an approach that combines aspect-oriented programming with service-oriented architecture to enable rapid dynamic composition and accurate compositional dependability assessment. We also present a method that cope with aspect weaving, making it a trivial task. In our approach, the requirements of a complex system are decomposed into orthogonal aspects to enable rapid composition and accurate compositional dependability assessment. Each aspect can be realized by a service that can evolve independently. Composition of the services is done at the output level instead of the subsystem level. Thus, dependability of the system can be assessed independently among the aspects and composed easily. Our approach can greatly enhance the dependability of critical service-based systems.

 

Biography:
Dr. Farokh B. Bastani received the B.Tech. degree from IIT Bombay and the M.S. and Ph.D. degrees from UC- Berkeley. He is currently the Excellence in Education Chaired Professor at UT-Dallas and is the Director of the UTD site of the NSF Net-Centric Software and Systems Industry/University Cooperative Research Center (NSF NCSS I/UCRC). Dr. Bastani's research interests include various aspects of ultrahigh dependable systems, especially automated software synthesis and testing, embedded real-time process-control and telecommunications systems, and high-assurance systems engineering.

 

Dr. Bastani was the Editor-in-Chief of the IEEE Transactions on Knowledge and Data Engineering (IEEE-TKDE). He is currently an emeritus EIC of IEEE-TKDE and is on the editorial board of the International Journal of Artificial Intelligence Tools. He was the program co-chair of the 1997 IEEE Symposium on Reliable Distributed Systems, 1998 IEEE International Symposium on Software Reliability Engineering, 1999 IEEE Knowledge and Data Engineering Workshop, 1999 International Symposium on Autonomous Decentralized Systems, and the program chair of the 1995 IEEE International Conference on Tools with Artificial Intelligence. He has been on the program and steering committees of several conferences and workshops and on the editorial boards of the IEEE Transactions on Software Engineering, IEEE Transactions on Knowledge and Data Engineering, and the Oxford University Press High Integrity Systems Journal.