uppaal
There are 50 repositories under uppaal topic.
Jack0Chan/PyUPPAAL
PyUPPAAL is a python package basically for reflecting UPPAAL's model editing, verification, and counter-example parsing operations into scripts.
UPPAALModelChecker/uppaal-latex
LaTeX package to typeset Uppaal timed automata specifications
DrHAMDANE/TransformationAADL2timedAutomata
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 process in two steps : the first is aModel2Model transformation which takes an AADLModel and produces the corresponding timed automata model. The second transformation is a Model2Text transformation which takes a timed automata model and generates a text in ta-format code. This code is accepted by the Uppaal toolbox. The goal of this effort is to insure some properties of AADL models using the Uppaal model checker. A case study has been developed to show the feasibility and validity of the proposed approach.
hub-se/PSP-UPPAAL
Property Specification Patterns for UPPAAL
philipholler/RocoCup_Soccer_P6
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.
TCC2021SeniorProject/ModelTranslator
A software program that translates XML-based code into executable python codes.
ZiggyStardustAndTheSpidersFromMars/TARTS
TARTS is a tool to auto generate code for a embedded system by an UPPAAL timed automaton
christoph-ueker/bachelor-thesis
Official repository for the bachelor thesis "Learning UPPAAL Timed Automata from Network Protocol Traces"
san089/Uppaal_Model_Checking
Model Checking For Automated Machine Learning Models
stefanomarrone/performingrail
This repository constitutes the modelling baseline for the WP2 of the PerformingRail EU project.
BTP-CPS/Phase-1
CS498: Bachelors Thesis Project. Title: Shield Synthesis for Cyber Physical Systems.
carlosgeos/pit-stop-model
Formula 1 pit stop modelled with Uppaal/Tiga
davidebasile/FORTE2020
This is the Uppaal Stratego model published at FORTE2020
GarridoY/Our-Compiler
A programming language for Arduino controllers, using UPPAAL for time verification.
ivochan/RecirculatingPalletWarehouse
Recirculating pallet warehouse modeling and simulation by a Petri Net, using PIPE2 Editor, TPN Designer and Uppaal software
lajtmaN/VisuAAL
Visualizing Behavior of Distributed Network Protocols using UPPAAL Simulations
LorenzoProSky/Formal-analysis-of-search-and-rescue-scenarios
Formal Methods for Concurrent and Real-Time Systems a.y. 23/24 - Homework Project
mebeim/fm_project
Formal Methods for Concurrent and Real-Time Systems exam project
mnemocron/TDTS07-TDDI08
TDTS07/TDDI08 System Design and Methodology - Lab Files
mrcaique/booos
Basic Object-Oriented Operating System
MrVideo/UPPAALGlobalClock
A simple global clock example in UPPAAL.
UPPAALModelChecker/docs.uppaal.org
This repo contains the official UPPAAL documentation published on https://docs.uppaal.org
UPPAALModelChecker/UPPAAL-Meta
This is the offcial meta repo for issue reporting, feature request and public roadmap for the development of UPPAAL.
axelitama/Formal-Methods-Project-2023
Final project of the course Formal Methods for Concurrent and Real-Time Systems at Politecnico di Milano
DavidC0rtes/juppaal
Java API for working with UPPAAL model files
giorgiosld/Security-By-Design
This repo contains the lab exercise about the course of Security by Design supplied in the Master Degree (LM-18) at the University of Camerino
IvchenkoIO/Model_Checking_Basic
Model checkign basic mutual exclusion algorithms (Dekker's, Peterson's) using UPPAAL tool
maurofama99/formal-methods-project
Formal Digital Twin of a Lego Mindstorms production plant
UPPAALModelChecker/tracer
Uppaal trace interpreter
ventynet/ventynet
Repository for the model used in the paper "Formal Verification of a Mechcanical Ventilator using UPPAAL" presented in FTSCS'23
william-hazem/Onda_Verde
Projeto de Sistemas a Eventos Discretos para via sinalizada utilizando o conceito de Onda Verde
angelo-casciani/conv_automata
A Conversational Framework for Faithful Multi-Perspective Analysis of Production Processes
DavidC0rtes/ntamorphosis
Prototype CLI tool to perform MBMT between Networks of Timed Automata
LBF38/ensta_landing_system
Verification Project @ ENSTA Bretagne
MrVideo/LampTA
A simple lamp and button NTA made with UPPAAL
zucchi99/UPPAAL-Modeling-Ultrafiltration-Plant
Hybrid Modeling, Simulation, and Sub-Optimal Synthesis of a controller for the Ultrafiltration of Industrial Wastewater