20180130_RobotIPLstudy_ModelsCodeData_Ruchkin_v1-0.zip (54.71 MB)

Supplementary Materials for a Case Study of a Power-aware Mobile Robot with the Integration Property Language

Download (54.71 MB)
dataset
posted on 19.11.2018, 18:03 by Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley Schmerl, David Garlan
This archive contains the models and views for a case study of integrating power and planning models in a power-aware mobile robot. It also contains an implementation of the Integration Property Language as a plugin for the OSATE2/Eclipse environment.

Funding

DARPA/AFRL FA8750-16-2-0042

History

Publisher Statement

Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley Schmerl, David Garlan. IPL: An Integration Property Language for Multi-Model Cyber-Physical Systems. In Proceedings of the 22nd International Symposium on Formal Methods (FM). Oxford, UK, 2018.

Date

02/07/2018

Licence

Exports