20140501_AnContrACTIVEstudy_ModelsCodeData_Ruchkin_v1-0.zip (44.27 MB)

Supplementary Materials for a Case Study of Analysis Contracts with the ACTIVE tool

dataset

posted on 2018-11-16, 21:33 authored by Ivan RuchkinIvan Ruchkin, Dionisio De NizDionisio De Niz, Sagar ChakiSagar Chaki, David GarlanDavid Garlan

This archive contains the source code of the ACTIVE tool, and models/data from a case study of analysis contracts in two domains: thread scheduling, and battery design.

Funding

DoD FA8721-05-C-0003

History

Date

2014-10-14

Usage metrics

Keywords

cyber-physical systems analysis verification virtual integration real-time scheduling battery systems model checking thermal runaway analysis contracts

Licence

CC BY 4.0