22 skills found
Jack0Chan / PyUPPAALPyUPPAAL is a python package basically for reflecting UPPAAL's model editing, verification, and counter-example parsing operations into scripts.
UPPAALModelChecker / UtapUppaal Timed Automata Parser
UPPAALModelChecker / Uppaal LatexLaTeX package to typeset Uppaal timed automata specifications
DEIS-Tools / Uppaal ModelsUppaal Model Repository
Baoyx007 / Aadl2uppaalA Tool-Chain for Quantitative Evaluation of Uncertainty-Aware Hybrid AADL Designs
DEIS-Tools / H UppaalNo description available
ksluckow / JuppaalJava API for working with UPPAAL model files
DrHAMDANE / TransformationAADL2timedAutomataWe 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.
mateuskl / UppaalUPPAAL examples
uppaal-emf / UppaalEMF-based tooling for the UPPAAL model checker
UPPAALModelChecker / UDBMUppaal DBM library
utwente-fmt / UrPalUPPAAL Sanity Checker
bencaldwell / PyuppaalPython library for manipulating UPPAAL xml files. Can currently import, export and layout models.
DEIS-Tools / StrategoutilUtility functions to interface UPPAAL Stratego with python
tbrk / UrpalUrpal is your pal for Uppaal.
arieleiz / UPPAAL2CGenerate C code from an UPPAAL model
koluacik / Uppaal PyUPPAAL wrapper for Python
Arthur-Milchior / MigthyLCompile MITL formula to Timed-automata for UPPAAL
philipholler / RocoCup Soccer P6The 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.
hub-se / PSP UPPAALProperty Specification Patterns for UPPAAL
