SW5 Rapport

Basic Object-Oriented Operating System

Visualizing Behavior of Distributed Network Protocols using UPPAAL Simulations

Formula 1 pit stop modelled with Uppaal/Tiga

Model Checking For Automated Machine Learning Models

This is a course project for INSE 6250. It is focused on developing a model and checking the correctness with any model checker tools.

Modelling and analysis of real-time systems

The project set out to showcase real time strategy generation using UPPAAL Stratego for a highly dynamic environment like robocup. This project was created as a bachelors project at Aalborg University. Alongside the program a paper was created and can found in this project.

TARTS is a tool to auto generate code for a embedded system by an UPPAAL timed automaton

A Python implementation of a random generator for Uppaal models.

This is the Uppaal Stratego model published at FORTE2020

A programming language for Arduino controllers, using UPPAAL for time verification.

This is the offcial meta repo for issue reporting, feature request and public roadmap for the development of UPPAAL.

A model verification project on OctoMap with using UPPAAL tool

Formal Methods for Concurrent and Real-Time Systems exam project

SvScA is a simulator for specifying and verifying the automotive air conditioning system linked directly with the UPPAAL model checker. © Mr. mohamed elkamel HAMDANE & Mr Yahyaoui mehdi & Mlle Zouaoui imene & Mlle Rima maroua. 2016

We propose in this work an approach for the verification of the AADL (Architecture and Analysis Design Language) description. This approach is based in Model Driven Engineering (MDE) and assisted by a toolchain. Indeed, we define a source meta-model for AADL and a target meta-model for the timed automata formalism; we define a transformation proces…

Modelling a Mirai-like botnet using networks of timed automata in UPPAAL

Property Specification Patterns for UPPAAL

Official repository for the bachelor thesis "Learning UPPAAL Timed Automata from Network Protocol Traces"