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 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

CPS-IoT Summer School 2024

Adaptive Cruise Control System (ACCS) Case Study

Tutorial 1a – Modeling a Cruise Control System using OpenModelica

Tutorial 1b – Verifying the Safety Requirement in the Cruise Control System with UPPAAL

Tutorial 2 – Modeling and Synthesizing a Cruise Control System with AADL using RAMSES

  • 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 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