Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userHost Migration specification in SDN networks
توصيف عملية هجرة المضيفات في الشبكات المعرفة بالبرمجة SDN
1291
0 34
0
(
0
)
Created by
Shamra Editor
Ask ChatGPT about the research
نقدم في هذا البحث نموذجاً صورياً لتوصيف عملية هجرة المضيفات في SDN بحيث يتم التأكد من خاصية الوصولية (Reachability ) لمرزم و عدم تغييرها بعد الانتقال و تحقيق التعديلات المطلوبة لكي يتم الحفاظ على نفس الخصائص. تم تصميم النموذج بواسطة لغة التوصيف الصوري TLA+ و التحقق منه من خلال أداة فحص النماذج TLC المترافقة معه, حيث تميز النموذج بعدد قليل للحالات لتحقيق المطلوب.
In this paper we introduce a specification model for the host migration process in Software Defined Network, and for verifying the reachability property for packets that do not change after the migration, and achieve the required modifications to meet the same properties. The model is designed by TLA+ language and verified by TLC which is correlated with it. The model is implemented by few states to meet the required property.
Artificial intelligence review:
Research summary
تتناول هذه الورقة البحثية توصيف عملية هجرة المضيفات في الشبكات المعرفة بالبرمجة (SDN) باستخدام نموذج صوري يعتمد على لغة TLA+ للتحقق من خاصية الوصولية للرزم بعد الانتقال. يتمثل الهدف الرئيسي في ضمان عدم تغيير خصائص الشبكة بعد انتقال المضيف، وتقديم التعديلات اللازمة للحفاظ على نفس الخصائص. تم تصميم النموذج والتحقق منه باستخدام أداة فحص النماذج TLC، حيث أظهر النموذج فعالية في تحقيق المطلوب بعدد قليل من الحالات. تعتمد الشبكات المعرفة بالبرمجة على فصل مسارات التحكم عن مسارات توجيه البيانات، مما يسهل إدارة الشبكات وتطويرها. يتم استخدام بروتوكول OpenFlow للتواصل بين طبقة التحكم وطبقة توجيه البيانات، مما يجعله مناسباً لمراكز البيانات وشبكات الحرم الجامعي. تتناول الورقة أيضاً الدراسات السابقة في مجال التوصيف الصوري وخصائص الشبكات وتغير الطوبولوجيا، وتقدم خوارزمية ChangeFT لحساب القواعد المناسبة التي يجب إضافتها ضمن جداول التدفق لضمان تحقيق السياسات المطلوبة بعد انتقال المضيف. تم اختبار النموذج بواسطة أداة TLC، وأظهرت النتائج فعالية النموذج في تحقيق خاصية الوصولية بعد الانتقال بزمن استجابة صغير وعدد قليل من الحالات.
Critical review
دراسة نقدية: تعتبر هذه الورقة البحثية خطوة مهمة في مجال الشبكات المعرفة بالبرمجة، حيث تقدم نموذجاً صوريًا دقيقًا يساهم في تحسين إدارة الشبكات وضمان استمرارية خصائصها بعد هجرة المضيفات. ومع ذلك، يمكن الإشارة إلى بعض النقاط التي قد تحتاج إلى مزيد من البحث والتطوير. أولاً، النموذج يعتمد بشكل كبير على بروتوكول OpenFlow، مما قد يحد من تطبيقه في بيئات شبكية تستخدم بروتوكولات أخرى. ثانياً، على الرغم من فعالية خوارزمية ChangeFT في تحقيق الوصولية، إلا أن الورقة لم تتناول بشكل كافٍ تأثير التعديلات على أداء الشبكة بشكل عام، مثل التأخير وزمن الاستجابة في حالات الشبكات الكبيرة والمعقدة. أخيراً، يمكن أن يكون هناك حاجة لمزيد من الدراسات العملية لتأكيد نتائج النموذج في بيئات حقيقية ومتنوعة.
Questions related to the research
-
ما هو الهدف الرئيسي من البحث؟
الهدف الرئيسي هو دراسة تأثير عملية انتقال المضيف من مبدل لمبدل على خاصية الوصولية، والتأكد من عدم تغير هذه الخاصية بعد الانتقال.
-
ما هي الأدوات المستخدمة في التحقق من النموذج؟
تم استخدام لغة التوصيف الصوري TLA+ وأداة فحص النماذج TLC للتحقق من النموذج.
-
ما هي الخوارزمية المقترحة في البحث؟
الخوارزمية المقترحة هي ChangeFT، والتي تهدف إلى حساب القواعد المناسبة التي يجب إضافتها ضمن جداول التدفق لضمان تحقيق السياسات المطلوبة بعد انتقال المضيف.
-
ما هي النتائج التي توصل إليها البحث؟
أظهرت النتائج فعالية النموذج في تحقيق خاصية الوصولية بعد الانتقال بزمن استجابة صغير وعدد قليل من الحالات، مما يساهم في تحسين إدارة الشبكات المعرفة بالبرمجة.
References used
AL-SHAER,E., MARRERO,W., EL-ATAWY,E., ELBADAWI,K., 2009- Network configuration in a box: towards end-to-end verification of network reachability and security. ICNP-17th IEEE International Conference , PP:123– 132
CHURCHED, A, ZHOU, W, CAESAR, M. &GODFREY,P., 2012- “Overflow: Verifying network-wide invariants in real time,” ACM SIGCOMM Computer Communication Review, vol. 42, no. 4, PP:467–472
HP business white paper, 2013- prepare for software defined networking , build the foundation for SDN with OpenFlow. URL: hp.com/networking/openflow
rate research
Read More
In this paper the network specification by logic algebra is presented then
the packets are classified into reachable packets and dropped packets
according to the current state of the network and flow tables of switches.
The model specification is
written by TLA+ language which is built on
First Order Logic (FOL), and the specification is checked by TLC.
This model will help the programmers to detect the network in proactive
verification and prove that this configuration meets the global policy of
the network.
The mapping of Layer 3 (IP) to Layer 2 (MAC) addresses is a key service in IP networks, and is achieved via the Address Resolution Protocol (ARP) protocol in IPv4. Due to its stateless nature and lake of authentication, ARP is an easy goal to spoofin
g attacks, which can enable Denial of Service (DoS) or Man-in-the-Middle (MIM) attacks. In this search, we discuss the problem of ARP spoofing in the context of Software Defined Networks (SDNs). We studied important parameters such as throughput, delay and the availability of the network. Results showed that ARP spoofing attacks was able to make a negative effects on network performance
Software defined networks SDN is one of the most influential types of networks in information and communication technology compared to all traditional network technologies where there are many challenges, SDN is one of the most promising solutions fo
r the Internet in the future and provides a strong network infrastructure with high specifications and low cost, and represents the future of the next generation of network engineering due to the easy division of networks, programming, monitoring, control and management through a central control, and the separation of control plane from the data-forwarding plane in SDN networks facilitates the process of managing and developing networks, as this technology is currently used in data centers and wireless networks, and is a solution to many of the problems faced by traditional networks. SDN networks are characterized by sufficient dynamism to deal with the different conditions of the network, and the controller is one of its most important components and is considered the smartest component in the network, and given the importance of choosing the appropriate controller according to the different parameters and conditions of the SDN network,in this research we conducted an analysis of the characteristics of Software defined Networks, The analysis relied on comparing SDN networks with the presence of a single OpenDaylight controller (ODL) and the presence of several controllers ODL, OpenDaylight controller was chosen as one of the famous controllers and it is distinguished from others as an open source and contains a distributed datastore and is designed to suit the data center environment, Taking into account the OpenFlow protocol supported on the southern interface by this controller, the research includes simulations of software defined networks topologies using the Mininet emulator, and various scenarios and parameters such as data rate, packet delay, and throughput were analyzed by the D-ITG tool.
ASON\GMPLS based optical network technology has shown high reliability recently, but the issue of unified control of optical networks has become an urgent necessity to cover problems caused by separate control between different optical network layers
. The attempt to implement GMPLS-based standardized control of Internet Protocol / Dense Wavelength Division Multiplexing (IP/DWDM) networks has yielded satisfactory results but reflected significant complexity when operating in real time. On the other hand, the OpenFlow control level is offered as a promising solution to be a uniform control level for such networks, but it is not yet effective enough to control optical switch nodes. Therefore, as an intermediate step towards a unified UCP level entirely based on the OpenFlow protocol, the logical thinking for the time being is to introduce an OpenFlow/GMPLS interoperability control level that uses GMPLS to control the optical layer and the dynamic coordination between the IP layer and the optical layers. This research presents a practical application of interoperability solutions (parallel, overlapping, and integrated) for GMPLS and OpenFlow control levels applied to the ASON optical network installed in the southern region of Syria. The results have shown that the integrated solution for uniform control is superior to parallel and overlapping solutions in terms of the overall path provision latency (OPPL), at the expense of the high complexity of the design and processing of the load within the controller.
Software Defined Networks (SDN) is the qualitative movement in the field of networks due to that fact that it separates the control elements from the routing elements, and the function of the routing elements was limited to the implementation of the
decisions that are sent to it by the controller through the OpenFlow Protocol (OF) which is mainly used in SDN. We explain in this paper the benefit of the new concept which is presented by SDN and it makes network management easier, so instead of writing the rules on each device, we program the application in the controller, and the infrastructure devices run the received commands from the controller. In order to achieve the best performance of this technology, a Quality of Service (QoS) must be applied within it, where it includes several criteria, the most important are the used bandwidth, delay, packet loss and jitter. The most important of these criteria is the bandwidth, because by improving this standard, we can improve the rest of the other criteria. Therefore, in this paper, we provide the necessary improvement on the RYUcontroller to use the best bandwidth, which improves the quality of service in SDN.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
