skip to main content
research-article

Contracting challenges for system design and integration

Published:22 November 2017Publication History
Skip Abstract Section

Abstract

In this paper we highlight challenges of the applicability of contracting (based on assumptions and guarantees) for cyber-physical systems design. We illustrate in an example the limitations of an entirely composability-centered contracting approach. An alternative approach is subsequently proposed and applied to the presented example to illustrate that it is capable of handling the limitations demonstrated for the composable approach.

References

  1. AUTOSAR GbR. Requirements on Operating System, Release 4.2.1 edition, July 2015.Google ScholarGoogle Scholar
  2. M. G. Harbour, J. J. G. Garcia, J. C. P. Gutierrez, and J. M. D. Moyano. MAST: Modeling and analysis suite for real time applications. In Real-Time Systems, 13th Euromicro Conference on, 2001., pages 125--134, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter, and R. Ernst. System Level Performance Analysis - the SymTA/S Approach. In IEE Proceedings Computers and Digital Techniques, 2005.Google ScholarGoogle ScholarCross RefCross Ref
  4. International Organization for Standardization - ISO. ISO 26262 - Road vehicles - Functional safety, 2 edition, April 2011.Google ScholarGoogle Scholar
  5. A. Reschka, M. Nolte, T. Stolte, J. Schlatow, R. Ernst, and M. Maurer. Specifying a middleware for distributed embedded vehicle control systems. In Vehicular Electronics and Safety (ICVES'14), Dec. 2014.Google ScholarGoogle Scholar
  6. J. Schlatow and R. Ernst. Response-Time Analysis for Task Chains in Communicating Threads. In 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 1--10, Apr. 2016.Google ScholarGoogle Scholar
  7. The International Electrotechnical Commission - IEC. IEC 61508 - Functional safety of electrical/electronic/programmable electronic safety-related systems, 2 edition, April 2010.Google ScholarGoogle Scholar
  8. L. Thiele, S. Chakraborty, and M. Naedele. Real-time calculus for scheduling hard real-time systems. In The 2000 IEEE International Symposium on Circuits and Systems, 2000. Proceedings. ISCAS 2000 Geneva, volume 4, pages 101--104 vol.4, 2000.Google ScholarGoogle ScholarCross RefCross Ref

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in

Full Access

  • Published in

    cover image ACM SIGBED Review
    ACM SIGBED Review  Volume 14, Issue 3
    October 2017
    55 pages
    EISSN:1551-3688
    DOI:10.1145/3166227
    Issue’s Table of Contents

    Copyright © 2017 Authors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 22 November 2017

    Check for updates

    Qualifiers

    • research-article
  • Article Metrics

    • Downloads (Last 12 months)1
    • Downloads (Last 6 weeks)0

    Other Metrics

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader