Skip to content

MEM4CSD

Model-based Engineering Methods for Complex Systems Design

  • Home
  • RAMSES
    • Installation and Use with OSATE
    • Setting up a RAMSES Development Environment
    • Generate Code from an Example
    • Sources and Bug tracking
  • RDAL
    • Installation
      • RDALTE for Embedded Systems Development
      • RDALTE for Domain-Specific Languages Development
  • AADL-BA-FrontEnd
    • Presentation
    • Example wizard documentation
    • Bug Tracking
  • SEFA
    • Installation
    • Reference Example
    • Sources and Bug Tracking
  • ACMoM
    • Setup Guide
    • Case studies
  • OSATE-DIM
    • Installation
    • Features
      • Scenarios
      • Supported View Updates
      • User Preferences
    • Rules
    • Case Studies
      • Tests
    • Sources and Bug Tracking
  • AADL-to-SystemC
  • Training Schools
    • CPS-IoT Summer School 2025
      • Tutorial 1: Modeling and Calibrating a Cruise Control System using OpenModelica
      • Tutorial 2: Modeling and Verifying the Behavior of a Cruise Control System using Statecharts
      • Tutorial 3: Modeling and Synthesizing a Cruise Control System with AADL using RAMSES
    • CPS-IoT Summer School 2024
      • Tutorial 1a: Modeling a Cruise Control System using OpenModelica
      • Tutorial 1b: Verifying the Cruise Control System using UPPAAL
      • Tutorial 2: Modeling and Synthesizing a Cruise Control System with AADL using RAMSES
    • CPS-IoT Summer School 2023
    • CPS-IoT Summer School 2022
    • MPM4CPS Training School 2018

AADL-BA-FrontEnd: Bug Tracking

How to Report a Bug

Create a new ticket on https://github.com/osate/osate2/issues.

 

  • Home
  • RAMSES
    • Installation and Use with OSATE
    • Setting up a RAMSES Development Environment
    • Generate Code from an Example
    • Sources and Bug tracking
  • RDAL
    • Installation
      • RDALTE for Embedded Systems Development
      • RDALTE for Domain-Specific Languages Development
  • AADL-BA-FrontEnd
    • Presentation
    • Example wizard documentation
    • Bug Tracking
  • SEFA
    • Installation
    • Reference Example
    • Sources and Bug Tracking
  • ACMoM
    • Setup Guide
    • Case studies
  • OSATE-DIM
    • Installation
    • Features
      • Scenarios
      • Supported View Updates
      • User Preferences
    • Rules
    • Case Studies
      • Tests
    • Sources and Bug Tracking
  • AADL-to-SystemC
  • Training Schools
    • CPS-IoT Summer School 2025
      • Tutorial 1: Modeling and Calibrating a Cruise Control System using OpenModelica
      • Tutorial 2: Modeling and Verifying the Behavior of a Cruise Control System using Statecharts
      • Tutorial 3: Modeling and Synthesizing a Cruise Control System with AADL using RAMSES
    • CPS-IoT Summer School 2024
      • Tutorial 1a: Modeling a Cruise Control System using OpenModelica
      • Tutorial 1b: Verifying the Cruise Control System using UPPAAL
      • Tutorial 2: Modeling and Synthesizing a Cruise Control System with AADL using RAMSES
    • CPS-IoT Summer School 2023
    • CPS-IoT Summer School 2022
    • MPM4CPS Training School 2018
MEM4CSD Proudly powered by WordPress