model checker, Software, static analysis, validation, verification

Embedded software testing, validation and verification

Embedded softwares, unlike general softwares, are highly dependent on the hardware they are developed for, and thus it became essential to create a hardware-based or hardware-like environment simultaneously with the software for effective testing. Where simulators and emulators can, up to some extent, provide a hardware-like environment for testing embedded softwares, they can not always be relied upon while testing for safety-critical applications like flight control system. It is this, high dependency on hardware, which makes testing,…

Continue Reading

BTP, memristor

CMOS-Memristor hybrid circuit for Edge detection using NI Multisim and MATLAB

Hello, In this post we will have a look at the following: Setting up 180nm/100nm MOSFET Models in Multisim Setting up memristor model in NI MULTISIM A CMOS-Memristor hybrid circuit for edge detection Using MATLAB for image analysis NI Multisim is a great tool for simulation of both analog and digital circuits. One reason i like it over LTSpice or PSpice is the ease with which one can simulate mixed signal circuitry. Using Multisim along with MATLAB,…

Continue Reading


Using cellular technology within different IOT scenarios(Part-2)

This blog post is essentially a summary of my presentation(which can be found here) on application and deployment of 5G within IoT scenarios. which revolves around the following publication: In this part of post(previous part : link) we will have a look at: Various Radio Access Technologies within 5G Various Radio Access Networks used in 5G + IoT scenario 5G IOT architectures: OneM2M and SmartM2M So, as mentioned in previous post,RAT is the underlying physical connection…

Continue Reading

IOT, Software, Wireless

Using cellular technology within different IOT scenarios(Part-1)

This blog post is essentially a summary of my presentation(which can be found here) on application and deployment of 5G within IoT scenarios. which revolves around the following publication: Content Some basic terminologies Types of IOTs and their requirements MTC Technical requirements IOT communication technologies and their key performance indicator IOT enablers : What all features do we want in 4G-E and 5G for IOT?(Part-2) 5G IOT architectures- SmartM2M and OneM2M (Part-2) Keywords 3GPP – 3rd…

Continue Reading

BTP, Hardware, memristor

Memristors: Models, Window functions and their SPICE Simulations

This post mainly covers different famous memristor models, window functions along with their SPICE simulations(done on LTSPICE). Window function are used to add non-linearity at the boundaries while Models are used establish a linear/non-linear relationship between the rate of state change and the stimulus (current/voltage). Content: Models Linear Non-linear Threshold Macro-model Window functions Properties of window functions Types of window functions: Struckov Benderli Joglekar Biolek Prodomakis Jinxiang SPICE simulations Memristor Models Linear Ion drift Model (Ideal Model)…

Continue Reading

BTP, Hardware, memristor

Memristors : Motivation, Theory and Feasibility

Memristors, the fourth missing element after Inductance, Resistance and capacitance is nowadays a very hot topic of research among the electronics community. A large number of papers on it’s models, applications and feasibility are now available. In this post i’ll try to cover most of it’s background research: Content:- Introduction What are memristors? Characteristics of a memristor Transistor vs memristor Polarity of a memristor and an analogy Memristor links to chaos theory?[TBD] Motivation well-known problems with present…

Continue Reading

File system, RTEMS, RTOS, Software

Setting up YAFFS2 and JFFS2 on RTEMS with flash simulated on a RAM-disk

Hi all, In this post we’ll look forward towards setting up flash file systems namely JFFS2 and YAFFS2 on RTEMS with flash simulated on a RAM-disk. For file system benchmarking purpose, we didn’t actually use them on a real flash(as to eliminate the effect of flash driver’s performance) but implementing them on a real flash won’t be very different from the process given in the later sections of this post. So, let’s begin with JFFS2 first: JFFS2…

Continue Reading

GSoC, RTEMS, Software

GSoC 2018: Final Report

This is the final report of the work done under GSoC’18 with the RTEMS community. I’ll begin with a short summary of all the work done during this summer and will then move towards the corresponding code and documentation developed throughout the timeline.   Porting SDIO driver to RTEMS and benchmarking Student:- Udit kumar Agarwal Mentors:- Christian Mauderer , Punit Vara Original proposal link: Here Weekly updates:- Project tickets:-  ticket#3429 , ticket#3430 , ticket#3428 Github Repository:–…

Continue Reading

ARM, Benchmark, File system, FIO, GSoC, RTEMS, Software

Benchmarking RTEMS Filesystems using FIO

Hi, In this post we will explore FIO’s RTEMS port and how it can be used to benchmark RTEMS filesystems and drivers. First, let’s have a quick look at all the RTEMS filesystems: RTEMS FILESYSTEMS RTEMS supports mainly two types of filesystems : Network and Physical fs. Benchmarking support for networking filesystems isn’t yet available. However, nearly every other physical filesystem can be benchmarked and contrasted. Heap based file systems are those which uses malloc() for file…

Continue Reading

CAM, GSoC, mmccam, RTEMS, SDIO

RTEMS SDIO driver: Current progress

Hi, this post mainly concerns with the current progress of SDIO driver’s implementation on RTEMS. In a nutshell, driver is able to detect, initialize the type of card. However, the part concerned with registering the partitions of the card as RTEMS disks is still buggy. So, I’ll discuss some of the bugs which were previously resolved and the ones that are still left. Starting with a very short introduction of how MMCCAM driver is being interfaced with…

Continue Reading