This repository contains three AnimUML model variants of a simple vulnerable device driver:

• with a simple valid device that generates a valid message
• with a simple invalid device that generates an invalid message
• with a generic device that can generate all possible byte sequences

Each model is expressed in JSON as part of an hyperlink to a public AnimUML server, and can be opened by clicking on its hyperlink. Once opened in AnimUML, each model can be animated, and exported to: PlantUML, pretty-printed AnimUML JSON, or tUML. These models can also be used with other AnimUML servers installed from the AnimUML repository by modifying the host part of their respective hyperlinks.

They have been presented in the following research paper:

@inproceedings{PasquierSecureMDE2020,
	title = {{Tool Support for Embedded Operating System Security: an Experience Feedback}},
	author = {Matthias Pasquier and Fr{\'{e}}d{\'{e}}ric Jouault and Matthias Brun and Julien P{\'{e}}rochon},
	booktitle = {Proceedings of the Second International Workshop on Security for and by Model-Driven Engineering (SecureMDE '20)},
	address   = {Montreal, Canada},
	month = oct,
	year = 2020,
	note = {To appear},
}