RPTU Kaiserslautern, Chair of Cyber-Physical Systems

RPTU Kaiserslautern, Chair of Cyber-Physical Systems's repositories

SysMD

SysMD is a SysML v2/KerML tool. It offers a little entry hurdle by its Notebook-like UI. Unique to SysMD is its integrated solver that does engineering calculations in the model and checks consistency of constraints and requirements.

Language:KotlinApache-2.022 2 1

AADD

This repository holds the Affine Arithmetic Decision Diagrams library

Language:C++NOASSERTION7 3 6

Multiplatform-AADD

This repostory contains the multiplatform version of the AADD library developed by the Cyber Physical Systems Chair of the RPTU Kaiserslautern

Language:Kotlin500

jAADD

This repository holds the Affine Arithmetic Decision Diagrams library written for Java and JVM languages http://cps.cs.uni-kl.de/en/AADD

Language:KotlinNOASSERTION2 3 5

k-moc

A simple modeling/simulation tool in kotlin for demonstration purpose.

Language:Kotlin200

SysMLv2-API

Kotlin Implementation of the SysMLv2 API

Language:KotlinApache-2.0100

VP

Virtual Prototypes of Automotive Applications

Language:C++1 20

VP-Lecture

Material from Lecture "Virtual Prototyping"

Language:C++Apache-2.01 20

DVCON-Europe-Challenge

Repository for the DVCON Europe Challenge.

Language:C++000

OSSRH-51653

000