top of page
Search
  • Writer's pictureTejas C

Real-time Software Development

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.

3 views0 comments

Recent Posts

See All

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