Melola Discovery

← Melola Discovery

Open access Jurnal SINTA 2

Pemodelan dan Verifikasi Formal Protokol EE-OLSR dengan UPPAAL CORA

IJCCS (Indonesian Journal of Computing and Cybernetics Systems) · Vol. 10 No. 1 (2016) · pp. 93–102

DOI
10.22146/ijccs.11192
ISSN
2460-7258, 1978-1520
Published
2016-01-31
Publisher
IndoCEISS in colaboration with Universitas Gadjah Mada, Indonesia.
Language
eng
License
creativecommons.org/licenses/by-sa/4.0

Abstract

Information and Communication Technology systems is a most important part of society. These systems are becoming more and more complex and are massively encroaching on daily life via the Internet and all kinds of embedded systems. Communication protocols are one of the ICT systems used by Internet users. OLSR protocol is a wireless network communication protocol with proactive, and based on link-state algorithm. EE-OLSR protocol is a variant of OLSR that is able to prolong the network lifetime without losses of performance.Protocol verification process generally be done by simulation and testing. However, these processes unable to verify there are no subtle error or design flaw in protocol. Model Checking is an algorithmic method runs in fully automatic to verify a system. UPPAAL is a model checker tool to model, verify, and simulate a system in Timed Automata.UPPAAL CORA is model checker tool to verify EE-OLSR protocol modelled in Linearly Priced Timed Automata, if the protocol satisfy the energy efficient property formulated by formal specification language in Weighted Computation Tree Logic syntax. Model Checking Technique to verify the protocols results in the protocol is satisfy the energy efficient property only when the packet transmission traffic happens.

Keywords

Collaboration network of the authors

19 authors · 27 co-authorship links · 6 across different organisations

Hover or tap a name to highlight its co-authors. Double-click to open the author's page.

  • Universitas Gadjah Mada
  • Udayana University
  • Universitas Muhammadiyah Pontianak
  • Universitas Halu Oleo
  • Affiliation unknown
  • Different organisations
  • Same organisation
  • Affiliation unknown
  • Thicker line = more joint articles · bigger circle = more articles
Show as table
Co-authorOrganisationJoint articles
Gede Saindra SantyadiAffiliation unknown1
Anindita SuryarasmiUniversitas Gadjah Mada1
Ika Oktavia SuzantiUniversitas Gadjah Mada1
La SurimiUniversitas Halu Oleo1
Agus HalidUniversitas Gadjah Mada1
Yoga Dwitya PramuditaUniversitas Gadjah Mada1
I Nym Saputra Wahyu WijayaAffiliation unknown1
Afiahayati AfiahayatiUniversitas Gadjah Mada1
Muhammad IhsanAffiliation unknown1
Muhammad Asghar NazalUniversitas Gadjah Mada1
Mardhani RiasetiawanUniversitas Gadjah Mada1
Alda Cendekia SiregarUniversitas Muhammadiyah Pontianak1
Angga Prima SyahputraUniversitas Muhammadiyah Pontianak1
Ni Made Ary Esta Dewi WirastutiUdayana University1
I Dewa Made Bayu Atmaja DarmawanUdayana University1
LinawatiAffiliation unknown1
Gede SukadarmikaUdayana University1

Affiliations come from OpenAlex; journal OAI-PMH metadata carries none. Authors without an OpenAlex ID are matched by name, which can merge or split people.

Metadata source: OAI-PMH (metadata jurnal) https://journal.ugm.ac.id/ijccs/oai, first harvested 26 Okt 2026, last seen 26 Okt 2026.
Original metadata (oai_dc) 
<oai_dc:dc xmlns="http://www.openarchives.org/OAI/2.0/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/  http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
	<dc:title xml:lang="en-US">Pemodelan dan Verifikasi Formal Protokol EE-OLSR dengan UPPAAL CORA</dc:title>
	<dc:creator>Saleh Insani, Rachmat Wahid</dc:creator>
	<dc:creator>Pulungan, Reza</dc:creator>
	<dc:subject xml:lang="en-US"></dc:subject>
	<dc:subject xml:lang="en-US">modeling, verification, EE-OLSR, UPPAAL CORA</dc:subject>
	<dc:description xml:lang="en-US">Information and Communication Technology systems is a most important part of society.  These systems are becoming more and more complex and are massively encroaching on daily life via the Internet and all kinds of embedded systems. Communication protocols are one of the ICT systems used by Internet users. OLSR protocol is a wireless network communication protocol with proactive, and based on link-state algorithm. EE-OLSR protocol is a variant of OLSR that is able to prolong the network lifetime without losses of performance.Protocol verification process generally be done by simulation and testing. However, these processes unable to verify there are no subtle error or design flaw in protocol. Model Checking is an algorithmic method runs in fully automatic to verify a system. UPPAAL is a model checker tool to model, verify, and simulate a system in Timed Automata.UPPAAL CORA is model checker tool to verify EE-OLSR protocol modelled in Linearly Priced Timed Automata, if the protocol satisfy the energy efficient property formulated by formal specification language in Weighted Computation Tree Logic syntax. Model Checking Technique to verify the protocols results in the protocol is satisfy the energy efficient property only when the packet transmission traffic happens.</dc:description>
	<dc:publisher xml:lang="en-US">IndoCEISS in colaboration with Universitas Gadjah Mada, Indonesia.</dc:publisher>
	<dc:contributor xml:lang="en-US">IndoCEISS</dc:contributor>
	<dc:date>2016-01-31</dc:date>
	<dc:type>info:eu-repo/semantics/article</dc:type>
	<dc:type>info:eu-repo/semantics/publishedVersion</dc:type>
	<dc:type xml:lang="en-US"></dc:type>
	<dc:format>application/pdf</dc:format>
	<dc:identifier>https://journal.ugm.ac.id/ijccs/article/view/11192</dc:identifier>
	<dc:identifier>10.22146/ijccs.11192</dc:identifier>
	<dc:source xml:lang="en-US">IJCCS (Indonesian Journal of Computing and Cybernetics Systems); Vol 10, No 1 (2016): January; 93-102</dc:source>
	<dc:source>2460-7258</dc:source>
	<dc:source>1978-1520</dc:source>
	<dc:language>eng</dc:language>
	<dc:relation>https://journal.ugm.ac.id/ijccs/article/view/11192/8432</dc:relation>
	<dc:rights xml:lang="en-US">Copyright (c) 2016 IJCCS - Indonesian Journal of Computing and Cybernetics Systems</dc:rights>
	<dc:rights xml:lang="en-US">http://creativecommons.org/licenses/by-sa/4.0</dc:rights>
</oai_dc:dc>