Dear All, 

You are all cordially invited to attend this week’s two seminars by our CCSE graduate students and one by Dr. Musab AlTurki from the ICS department. The seminars take place October 29 at 2:30 pm in Building 22: Room 119. This week’s seminars are:

Seminar 1

Title: An Introduction to Rewriting Logic and the Maude Tool

Abstract: This talk introduces rewriting logic and its implementation in the Maude tool. We describe Generalized Rewrite Theories, which are the specification units in rewriting logic, and their implementations as modules in Maude, with several examples. We then give an overview of the formal analysis tools built into Maude, including simulation, checking violations of invariants by searching, and linear temporal logic model checking, in addition to other formal tools that are built on top of Maude by reflection. This is followed by an overview of important extensions to rewriting logic and the corresponding extensions in Maude. The talk concludes with a description of some selected applications from the literature.

Speaker: Dr. Musab A. AlTurki

Bio: Dr. Musab A. AlTurki is an assistant professor in the Information and Computer Science department at King Fahd University of Petroleum and Minerals, Dhahran, Saudi Arabia. He received his PhD degree in computer science from the University of Illinois at Urbana-Champaign in 2011. His research interests are in applications of formal methods to program analysis and verification, specification and design of distributed and concurrent programming languages and systems, and to analysis of security properties of systems. He is a recipient of the prestigious King Abdullah Scholar Award for scientific excellence in 2008.

Seminar 2

Title: Hydrogen Sulfide (H2S) Gas Safety System for Oil Drilling Sites using Wireless Sensor Network

Abstract: The application of wireless sensor networks in the Oil and Gas industry is still grey. This is attributed to the notion that they are not reliable for such applications. This talk  focuses on the application of wireless sensor networks in the Oil and Gas industry (particularly in the Oil fields). We report how wireless sensor nodes were used in conjunction with industrial-grade hazardous gas  sensors to create a Wireless Gas Safety and Monitoring System (WG-SMS), which is capable of sensing presence of poisonous gases and alerting those in danger in case of any gas leakage.

Speaker: Mr. Mohammed Al-Shaboti

Bio: Eng. Mohammed Al-Shaboti, currently, is a MS student in Computer Network department of Computer Engineering at King Fahd University of Petroleum and Minerals, Dhahran, Saudi Arabia. He received his B.Sc. in Information Technology from Taiz University, Taiz, Yemen, where he employed as a teaching assistant. His research interests are in wireless sensor network, Ad-hoc network, robotic networks and network programming.

Seminar 3

Title: VANET Routing Compare Using Fading Model With SUMO and NS3

Abstract: Vehicular ad-hoc network is a new emerging type of mobile ad-hoc network. It has its special property like high motion and more topology change, so we need to deal with these specific issues related to VANET. Routing protocols are being affected more by the topology change and the motion of vehicles. Proactive and reactive routing protocols have been studied under VANET scenarios. In this talk, we are going to present a comparison between AODV and OLSR routing protocols. We are using SUMO tool for generating mobility scenario to take in consideration the reality of mobility model. Also because of the fact that fading models improve the accuracy of the power calculated, we are using Nakagami model beside TwoRayGround model. The result shows that AODV outperforms OLSR after specific threshold, but the difference is not high, so we calculate the confidence interval that shows no protocol outperform the other. The network simulation scenario is implemented using NS3.

Speaker: Mr. Gamal Sallam

Bio: Gamal Sallam is currently a master student at computer engineering department majored in computer networks, King Fahd University of petroleum and minerals. He holds a Bachelor of Science degree in Information Technology from Cairo University, 2011. His research interests are focusing on Vehicular ad-hoc networks, wireless sensor and actuator networks

Regards,

Dr. Mohamed El-Attar

Associate Professor :: Software Engineering

Information and Computer Science Department

King Fahd University of Petroleum and Minerals

Kingdom of Saudi Arabia