Resource allocation contracts for open analytic runtime models

Min Young Nam, Dionisio De Niz, Lutz Wrage, Lui Raymond Sha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Open Analytic Runtime (OAR) Models embed analysis algorithms into runtime architectural models, thus integrating the model and its analytic interpretations. Such an integration is critical for Cyber-Physical Systems (CPS) when model parts are independently developed by different teams as it is the case in multi-tier industries, e.g. avionics and automotive. Analysis algorithms play a central role augmenting the designer's capacity to automatically verify properties of interest in systems at the scale and complexity required by these industries. Unfortunately, the verification results are valid only if the assumptions of the different analysis algorithms (analytic assumptions) are consistent with each other. This paper presents our work on the automatic verification of one important class of analytic assumptions in OAR models: resource allocation assumptions. These assumptions are modeled as Resource Allocation (RA) contracts. RA contract constructs include not only the typical assumes and guarantees but also runtime facts and impli- cations. Finally, we automatically determine the correct sequence of execution of the analysis algorithms based on the contract input/output dependencies described in our models. Together these characteristics enable the automatic assumption verification that preserves the scalability of analytic models. We illustrate our approach using an example model with analysis algorithms for security, schedulability, and energy efficiency.

Original languageEnglish (US)
Title of host publicationEmbedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th ACM International Conference on Embedded Software, EMSOFT'11
Pages13-22
Number of pages10
DOIs
StatePublished - Nov 9 2011
EventEmbedded Systems Week 2011, ESWEEK 2011 - 9th ACM International Conference on Embedded Software, EMSOFT'11 - Taipei, Taiwan, Province of China
Duration: Oct 9 2011Oct 14 2011

Publication series

NameEmbedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th ACM International Conference on Embedded Software, EMSOFT'11

Other

OtherEmbedded Systems Week 2011, ESWEEK 2011 - 9th ACM International Conference on Embedded Software, EMSOFT'11
Country/TerritoryTaiwan, Province of China
CityTaipei
Period10/9/1110/14/11

Keywords

  • Aadl
  • Assumption
  • Cyber-physical systems
  • Design by contract
  • Management
  • Resource allocation

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'Resource allocation contracts for open analytic runtime models'. Together they form a unique fingerprint.

Cite this