Professor, Department of Electrical and Computer Engineering
Richmond, VA, UNITED STATES
Dr. Abdelwahed is a professor in the Department of Electrical and Computer Engineering
Served as associate director for the Distribute Analytics and Security Institute at Mississippi State University (MSU). Established the first NSF funded I/UCRC Center, the Center for Autonomic Computing at MSU. Initiated novel research on model-based design of autonomic computing systems. Developed a diagnosis and prognosis system for a major avionic company. Led the development of a fault management tool suite licensed to NASA.
More than $11.5 Million awarded in research grants covering 20 major projects ($9.6 Million at Mississippi State University and $1.9 Million at Vanderbilt University). These projects were funded by industrial research institutes, foundations, and government agencies incluing NSF, NASA, Boeing, ONR, DARPA, ERDC, Northrop-Grumman, Microsoft, and Qatar Foundation.
Peer-reviewed journal papers: 30 published/accepted, 6 under review, and 5 in preparation. Other publications: 8 book chapters, more than 100 peer-reviewed conf. papers, 10 tech. reports, 7 posters, and 14 presentations.
Graduated 8 PhD students and 5 Masters (thesis) students. Currently advising 5 Doctoral and 3 Masters students . Advised two award winning senior design teams at MSU. Advised several undergraduate and graduate research interns. Participated as graduate committee member for more than 50 Masters and Doctoral students.
Faculty Research Award at MSU, 2016. StatePride Faculty award for two consecutive years 2010 and 2011. Bagley College of Engineering Hearin Faculty Excellence award, 2010. Collaborative research won ACM SIGBED Frank Anger best research award, 2007. Nominated for best paper award, IEEE Real-Time Systems Symposium, 2004. Three invited papers. 12 invited talks. Graduation research project won second place in an international scientificc creativity contest.
Collaborated with numerous industrial research centers and government labs including; Boeing, BBN, Raytheon, IBM Research, NEC Labs, Google, US Army Engineer Research and Development Center (ERDC), Pacific Northwest National Lab, Oak Ridge National Lab, and NASA. National and international collaboration with prominent universities and research institutes.
Co-chaired two international conferences. Vice chair of the cyber-security track in the ACM CAC 2013. Editorial board member of three International Journals. Program committee member of numerous conferences and workshops. Served on NSF, NASA, ASEE, NSERC (Canada), and DoE review panels.
PhD, Electrical and Computer Engineering
Check the following link for details.view more
Richmond Times-Dispatch print
Leaders of the Department of Electrical and Computer Engineering and Department of Computer Science were featured in a front-page story about cybersecurity in the Richmond Times-Dispatch.view more
This project aims to develop and validate a model-based control framework for enabling self-managing and self-healing capabilities in cyber-physical systems. The central idea is to integrate the monitoring and control processes within a common model-based framework that will continually optimize system behavior in response to both changes within the system as well as to external changes in the operating environment. The developed control structure have been applied to two major systems, namely, the advanced life support system developed for future space mission by NASA and the new generation of the Navy electric ship designs. This research is funded by ONR, NASA and NSF.
This project aims to develop the theoretical foundation and demonstrate technologies for model-driven engineering of self-managing distributed computing systems. A lookahead control policy is developed for managing the performance and resource requirement of a wide class of computation systems operating in uncertain environment. This research is currently supported by NSF, ERDC, and Microsoft.
In this work, a security management technology is being developed by integrating system control, optimization, and security analysis tasks into a common model-based framework that can apply early-prevention mechanisms and react to cyber-attacks by employing optimal responses that are evaluated by risk assessment techniques. In this approach relevant security features are observed by online monitors and analyzed for early detection of threats. The corresponding cyber-security alerts are then sent to a controller whenever the system monitored features are deviated from the normal regions. An intrusion detection system that employs both signature and anomaly-based techniques to detect both known and unknown attacks will be utilized in our approach for early detection of cyber threats. The system will also employs real-time learning to capture and analyze signatures of unknown attacks. This research is funded by ERDC and QF.
In this work, a new generation of intrusion detection systems (IDS) was developed to detect anomalous user behaviors based on sequences of user audits. The proposed approach can tolerate small mutations in the sequences of users patterns with small changes in the representation of user behaviors. We have also developed a Hierarchical Autonomous Cloud based IDS (HA-CIDS) to efficiently deal with common traditional and cloud security threats. HA-CIDS capabilities include the prediction of ongoing and future attacks by tracking the attack graph tree. The developed solution have been praised for its accuracy in several comparative studies of cloud IDS. This research was conducted in collaboration with the University of Pisa and is funded by ERDC and QF.
This project aims to develop and validate a fault-adaptive control framework to manage computing systems operating in a data center setting. The main aim is to integrate control, diagnosis, and fault recovery processes within a common model-based framework, which will continually optimize or tune system behavior in response to both changes within the system as well as to external changes user requests and operating settings. This research has been funded by QF.
An open-source project aimed to automatically generate formal models from the design specification of embedded systems. The developed tool enables design-time analysis of timed properties, and can effectively be applied to compose, predict, and verify the event-driven behavior of component-based DRE systems. This tool has been applied to verify correctness and dependability aspects of the Boeing Bold Stroke architecture, which is being used in a variety of mission-critical avionics applications on a component middleware platform that has been developed using Real-time CORBA. This research has been supported by DARPA
In order to handle the ever-growing size, complexity, and heterogeneity of the mathematical problems resulted from the power system expansion and evaluation, and conduct rapid and accurate power system analyses especially with the aid of advanced computing techniques, the project team envisions a new concept of “Smart Partitioning” as an innovative decomposition method to enhance the analysis of large-scale and complex power systems by leveraging high performance parallel computing (HPC) platform. The proposed research will systematically explore the applications of the smart partitioning concept in terms of problem modeling, solution algorithms and computational implementation to transform how steady state and dynamic large-scale power system analyses are efficiently performed on HPC platform.
The pervasive use of industrial control systems with SCADA subsystems in critical energy infrastructures and the increased connectivity of these systems to corporate networks has exposed them to new security threats and made them a prime target for cyber-attacks due to the profound and catastrophic impacts they can cause to the economy and the society. Despite ongoing efforts to secure and protect them, these critical infrastructure components remain vulnerable to these attacks. Recent intensified sophisticated attacks on these systems have stressed the importance of methodologies and tools to assess and manage ICT security risks in real-time. With respect to the current state of the art, this project proposes a model-based approach to develop a quantitative and automated methodology for assessing and managing security risks of both the overall industrial control system and of its SCADA subsystems. The proposed approach is characterized by the integration of proactive and reactive security mechanisms to automate risk assessment and management.
This course introduces students to the research, design and analysis of cyber-physical systems -- the tight integration of computing, control and communication. The main focus is on understanding existing and emerging models of CPSs, as well as physical processes in terms of differential equations and computational models for discrete time systems, such as extended finite-state machines and hybrid automata. State-charts are introduced and combined with the physical models for analysis of embedded systems. Linear temporal logic is introduced and applied to specify the desired system behavior. Tools for analytical study and verification of the satisfaction of linear temporal logic formulae are presented and discussed in numerous applications. Dependability attributes such as safety, reliability and cyber-security are discussed in the context of high integrity CPS.
This course focuses on the design of modern digital systems. Topics covered include: Introduction to modeling, simulation, synthesis, and FPGA design techniques using VHDL. This will include interfacing an embedded processor to hardware resources within an FPGA; microprocessor peripherals and interfacing; embedded system hardware and software design issues.
This course covers a wide range of advanced topics related to distributed computing systems research. The goal of the semester will be to introduce the student to the topic at a level advanced enough that you could immediately pursue graduate-level research in the field by reading (and understanding) research papers and exploring new ideas. We will cover the basic role of operating systems, such as address spaces, and multi-threading. The class will also cover both fundamental and advanced concepts in communication, client-server model, code migration, naming, locating entities, synchronization, replication and consistency, fault tolerance, and security issues in distributed computing systems.
Several notations and methods have been developed to help the designer specify clear and unambiguous system requirements, verify that the requirements are consistent and correct, and verify that the refined design meets its specification. However, these methods are time-consuming and error-prone, and can be applied more effectively if there are tools to check their correctness. The goal of the course is to emphasize formal notations and methods that have tool support. We will cover the basis of underlying theory for the tools.
The class will review fundamental structures in modern microprocessor and computer system architecture design. Topics will include computer organization, instruction set design, memory system design, pipelining, and other techniques to exploit parallelism. We will also cover system level topics such as storage subsystems and basics of multiprocessor systems. The class will also address quantitative evaluation of design alternatives while considering design metrics such as performance and power dissipation.