[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.5555/2499634.2499655acmotherconferencesArticle/Chapter ViewAbstractPublication PagesspringsimConference Proceedingsconference-collections
research-article

GAMETE: general adaptable metric execution tool and environment (WIP)

Published: 07 April 2013 Publication History

Abstract

In this paper we introduce the General Adaptable Metric Execution Tool and Environment (GAMETE) to aid the design, measurement, and analysis of cyber-physical systems (CPSs). GAMETE is a general and extensible environment for evaluating and computing metrics associated with the performance and complexity of CPS designs. GAMETE supports a wide array of metrics that it generates over simulation and experimental output data from CPSs. Key features of GAMETE are its 1) execution environment to host the simulations of CPS models, 2) unified data representation to host simulation and experimental data from CPSs, 3) dynamic metric library that supports the semi-automated evaluation of a wide range of metrics, and 4) standards-based integration with design toolchains. The contribution of this paper is the presentation of a reference architecture for batch metric computation and a case-study where GAMETE helped to quantitatively evaluate the performance of a CPS.

References

[1]
Mark V. Arena, Obaid Younossi, et al., Why Has the Cost of Fixed-Wing Aircraft Risen?, Report No. MG696, RAND Corporation (2008)
[2]
Ravi Akella, Han Tang, Bruce M. McMillin, Analysis of information flow security in cyber--physical systems, International Journal of Critical Infrastructure Protection, Volume 3, Issues 3-4, December 2010, Pages 157--173
[3]
Antoniou, Grigoris, and Frank Van Harmelen. A semantic web primer. MIT press, 2004.
[4]
Siobhán Clarke, Extending standard UML with model composition semantics, Science of Computer Programming, Volume 44, Issue 1, July 2002, Pages 71--100
[5]
Franck Fleurey, Benoit Baudry, Robert France and Sudipto Ghosh, A Generic Approach for Automatic Model Composition. Models in Software Engineering, Lecture Notes in Computer Science, 2008, Volume 5002/2008, 7--15
[6]
France, R.; Fleurey, F.; Reddy, R.; Baudry, B.; Ghosh, S.;, "Providing Support for Model Composition in Metamodels," Enterprise Distributed Object Computing Conference, 2007. EDOC 2007. 11th IEEE International, vol., no., pp.253, 15--19 Oct. 2007
[7]
Paul G. Kaminski et al., Pre-Milestone A and Early-Phase Systems Engineering, National Research Council (2008)
[8]
Lajolo, M.; Rebaudengo, M.; Reorda, M. S.; Violante, M.; Lavagno, L.;, "Evaluating system dependability in a co-design framework," Design, Automation and Test in Europe Conference and Exhibition 2000. Proceedings, vol., no., pp.586--590, 2000
[9]
Ledeczi, A.; Nordstrom, G.; Karsai, G.; Volgyesi, P.; Maroti, M.;, "On metamodel composition," Control Applications, 2001. (CCA '01). Proceedings of the 2001 IEEE International Conference on, vol., no., pp.756--760, 2001
[10]
Lee, E. A.;, "Cyber Physical Systems: Design Challenges," Object Oriented Real-Time Distributed Computing (ISORC), 2008 11th IEEE International Symposium on, vol., no., pp.363--369, 5-7 May 2008
[11]
Jing Lin; Sedigh, S.; Miller, A.;, "A General Framework for Quantitative Modeling of Dependability in Cyber-Physical Systems: A Proposal for Doctoral Research," Computer Software and Applications Conference, 2009. COMPSAC '09. 33rd Annual IEEE International, vol.1, no., pp.668--671, 20-24 July 2009
[12]
Seth Lloyd, "Measures of Complexity: A Nonexhaustive List," IEEE Control Systems Magazine, Vol. 24, No. 4 (August 2001)
[13]
OMG. "MDA Specifications" Retrieved on 1/25/2013 from http://www.omg.org/mda/specs.htm
[14]
Kurt Rohloff, Partha Pal, Michael Atighetchi, Richard Schantz, Kishor Trivedi and Christos Cassandras. "Approaches to Modeling and Simulation for Dynamic, Distributed Cyber-Physical Systems." Workshop on Grand Challenges in Modeling, Simulation, and Analysis for Homeland Security (MSAHS-2010), March 2010.
[15]
Stott, D. T.; Floering, B.; Burke, D.; Kalbarczpk, Z.; Iyer, R. K.;, "NFTAPE: a framework for assessing dependability in distributed systems with lightweight fault injectors," Computer Performance and Dependability Symposium, 2000. IPDS 2000. Proceedings. IEEE International, vol., no., pp.91--100, 2000
[16]
Yan Sun; McMillin, B.; Xiaoqing Liu; Cape, D.;, "Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid," Quality Software, 2007. QSIC '07. Seventh International Conference on, vol., no., pp.363--369, 11-12 Oct. 2007

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences
DEVS 13: Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
April 2013
253 pages
ISBN:9781627480321

Sponsors

  • SCS: Society for Modeling and Simulation International

In-Cooperation

Publisher

Society for Computer Simulation International

San Diego, CA, United States

Publication History

Published: 07 April 2013

Check for updates

Author Tags

  1. complexity metrics
  2. performance metrics
  3. simulation-based verification and validation

Qualifiers

  • Research-article

Conference

SpringSim '13
Sponsor:
  • SCS
SpringSim '13: 2013 Spring Simulation Multiconference
April 7 - 10, 2013
California, San Diego

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 46
    Total Downloads
  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 06 Dec 2024

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media