top of page
Search

Real-time Software Development

  • Writer: Tejas C
    Tejas C
  • Jun 6, 2022
  • 1 min read

Aim - Developed a model using TERRA-CSP, studied ROS-LUNA communication.


Developed a producer-consumer TERRA-CSP model, checked for deadlocks, if any.

Added necessary C++ code to send stream of data from producer to consumer.

Investigated model behavior for processes running in parallel & processing running alternatively.


Developed a TERRA application that uses a timer.

Extended previously-built producer-consumer model with an external timer port.

Developed a basic control loop system consisting of a sequence controller, loop controller & plant using CSP processes in TERRA.

Studied behavior of the control loop system, behavior of different processes, deadlocks, if any.

Added necessary C++ code to log intermediary information results in the control loop system.


Developed a ROS-ROS-LUNA-Bridge-LUNA application, one sending information, other receiving information.

Extended the application by allowing the LUNA part synchronize with an external timer, studied information exchange and deadlocks, if any.

 
 
 

Recent Posts

See All
Open CV - Virtual Advertisement

Virtual advertisements are a recent advancement in sport technology, where a virtual banner is placed in the match using modern computer...

 
 
 
System Validation

Aim - Modelling a dice game in NuSMV, testing using LTL & CTL, bounded software analysis using CIVL, static and run-time verification...

 
 
 

Comments


bottom of page