KEYNOTE SPEAKER

High-Assurance Embedded Net-Centric Systems

Prof. Farokh Bastani
Unviersity of Texas at Dallas, USA

Abstract

Applications of real-time embedded net-centric systems range from defense systems to emergency response systems, biomedical systems, transportation systems, etc. These are highly safety-critical and/or mission-critical systems where any failures can have potentially catastrophic consequences. Hence, there is an urgent need to develop methods of achieving highly dependable systems and high-confidence trustworthiness certification for these large-scale complex distributed systems.
To meet these requirements, we present an integrated trustworthiness assessment method based on a combination of formal, statistical, and AI reasoning techniques to develop and certify highly dependable embedded systems for critical applications. These can be integrated into an environment to expedite the development of high quality embedded systems along with architectures that support accurate high-confidence component-based dependability assessment and certification of the integrated system. To cope with adverse operational conditions, the approach also includes non-intrusive run-time embedded system monitors to dynamically detect anomalous operational conditions and enable proactive recovery and repair actions to ensure dependable system operation in spite of some hardware/software failures.

Biography of the Keynote Speaker

Dr. Farokh B. Bastani received the B.Tech. degree in Electrical Engineering from the Indian Institute of Technology, Bombay, and the M.S. and Ph.D. degrees in Computer Science from the University of California, Berkeley. He is currently a Professor of Computer Science at the University of Texas at 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, the International Journal of Knowledge and Information Systems, and the Springer-Verlag series on Knowledge and Information Management. 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.