SysMD is a SysML v2/KerML tool with an intuitive, notebook-style interface that makes getting started easy. What truly sets SysMD apart is its integrated solver, enabling engineering calculations directly within the model while automatically ensuring consistency across constraints and requirements.

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

Repository for the DVCON Europe Challenge.

This repository holds the Affine Arithmetic Decision Diagrams library

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

Kotlin Implementation of the SysMLv2 API

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

Virtual Prototypes of Automotive Applications

Material from Lecture "Virtual Prototyping"