Issues

• Proposal: ELISA Tools WG pilot for SRAC safety-relevance assertions

  elisa-tech/tsc#100 · Filter by author devashridatta-dotcom opened on Sep 27, 2026

• NEW Initiative Proposal: Extending Runtime Verification (RV) Monitors with More Languages

  proposed initiativeunder review
  elisa-tech/tsc#99 · Filter by author minyu66 opened on Aug 4, 2026
  9

• NEW Initiative Proposal: MachineLinux

  proposed initiativeunder review
  elisa-tech/tsc#98 · Filter by author minyu66 opened on Aug 4, 2026
  1

• NEW Initiative Proposal: Software Quality Standards comparison for OSS best practices

  proposed initiativeunder review
  elisa-tech/tsc#97 · Filter by author minyu66 opened on Aug 4, 2026
  1

• NEW Initiative Proposal: Maintain ELISA example system

  proposed initiativeunder review
  elisa-tech/tsc#96 · Filter by author minyu66 opened on Aug 4, 2026
  1

• NEW Initiative Proposal: User-Defined Runtime Verification (RV) Monitors in the Linux Kernel

  proposed initiativeunder review
  elisa-tech/tsc#95 · Filter by author minyu66 opened on Aug 4, 2026
  3

• NEW Initiative Proposal: Configuring the Linux Scheduler to Meet the Latency Requirements of ADAS/AD Workloads

  proposed initiativeunder review
  elisa-tech/tsc#94 · Filter by author kestewart opened on Jul 29, 2026
  2

• project configuration guide

  elisa-tech/tsc#92 · Filter by author matthew-l-weber opened on Mar 4, 2026
  3

• Document development and CI process for end user integration

  elisa-tech/tsc#80 · Filter by author pahmann opened on Jun 26, 2024

• Define design elements

  help wanted
  elisa-tech/tsc#78 · Filter by author pahmann opened on Jun 26, 2024

• Discussion in the OSEP WG that we have a guide on how to review change management

  elisa-tech/tsc#77 · Filter by author pahmann opened on Mar 6, 2024
  2

• Handling updates and changes in safety-critical systems

  enhancement
  elisa-tech/tsc#5 · Filter by author bulwahn opened on Jul 4, 2019 · backlog
  2