Develop a runtime verification tool in Go or Rust

Develop a runtime verification tool in Go or Rust

Runtime verification is a computing system analysis and execution approach based on extracting information from a running system and using it to detect and possibly react to observed behaviors satisfying or violating certain properties. Reelay is a header-only C++ library for system-level verification and testing of real-time systems. Reelay implements state-of-the-art runtime verification techniques to construct runtime monitors that check temporal behaviors of the system against system-level requirements. Hence, Reelay can be used to enhance rigorous systems engineering practices by formalizing and automating the assessment phase. See https://doganulus.github.io/reelay/ for more information.

The goal of this project is to implement Reelay’s algorithm in programming languages Go or Rust.

The correct functionality will be graded with CC. For AA, your project must also include:

- Automated code linting/formatting
- Automated builds and packaging
- Automated testing and code coverage (95% coverage at least)
- Performance testing
- Fuzz testing
- CI setup
- Documentation including design choices

Project Advisor: 

Doğan Ulus

Project Status: 

Project Year: 

2023
  • Spring

Contact us

Department of Computer Engineering, Boğaziçi University,
34342 Bebek, Istanbul, Turkey

  • Phone: +90 212 359 45 23/24
  • Fax: +90 212 2872461
 

Connect with us

We're on Social Networks. Follow us & get in touch.