Faculty Publications
Permanent URI for this communityhttps://idr.nitk.ac.in/handle/123456789/18736
Publications by NITK Faculty
Browse
2 results
Search Results
Item Teaching EARS to undergrads in the pandemic - Industry academia experience(Institute of Electrical and Electronics Engineers Inc., 2020) Nair, G.V.; Jeppu, Y.; Tahiliani, M.P.The COVID-19 pandemic is rampant in India and this has changed the way the students and teachers interact with each other during a course. An added complexity is the introduction of the Industry Academia participation in terms of Adjunct Faculties. Teaching formal methods to undergraduate students has been difficult and these are well captured in the academic community. The necessity of good requirements writing which can be validated using formal methods is a need of the hour for the industry. Requirements error contribute to 70% of the errors in safety critical projects. A course on Formal Methods is offered at the National Institute of Technology Karnataka, Surathkal as an undergraduate elective. This has 54 students registered and the course is offered online by an adjunct faculty from the industry. The experiences of capturing and writing good requirements using the EARS (Easy Approach to Requirements Syntax) is highlighted in this paper. A survey of before and after the class and an exercise on EARS notations are brought out. The lessons learnt and the efficacy of the teaching is brought out as a three perspective: student, academia and industry. © 2020 IEEE.Item CoCoA++: Delay gradient based congestion control for Internet of Things(Elsevier B.V., 2019) Rathod, V.; Jeppu, N.; Sastry, S.; Singala, S.; Tahiliani, M.P.In this paper, we propose a new congestion control algorithm called CoCoA++ to address the issue of network congestion in Internet of Things (IoT). Unlike the existing congestion control mechanisms that operate on instantaneous Round Trip Time (RTT) measurements in IoT, we use delay gradients to get a better measure of network congestion, and implement a probabilistic backoff to deal with congestion. We integrate the delay gradients and the probability backoff factor with Constrained Application Protocol (CoAP). The proposed algorithm is implemented and evaluated using the Cooja network simulator provided by Contiki OS. Subsequently, it is deployed and evaluated in a real testbed by using the FIT/IoT-LAB. We observe that delay gradients give a more accurate measure of congestion and the Retransmission Time Out (RTO) is reduced significantly, thereby leading to less delays and high packet sending rates. CoCoA++ being a minor improvement over the existing algorithm is easy to deploy. © 2019 Elsevier B.V.