- No file added yet -

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

dataset

posted on 2018-11-19, 18:03 authored by Ivan RuchkinIvan Ruchkin, Joshua SunshineJoshua Sunshine, Grant Iraci, Bradley SchmerlBradley Schmerl, David GarlanDavid 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

2018-07-02

Usage metrics

Keywords

cyber-physical systems model software architectures integration model checking SMT

Licence

CC BY 4.0

Exports

RefWorks

BibTeX

Ref. manager

Endnote

DataCite

NLM