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.
- AUTOSAR GbR. Requirements on Operating System, Release 4.2.1 edition, July 2015.Google Scholar
- 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 ScholarDigital Library
- 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 ScholarCross Ref
- International Organization for Standardization - ISO. ISO 26262 - Road vehicles - Functional safety, 2 edition, April 2011.Google Scholar
- 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 Scholar
- 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 Scholar
- The International Electrotechnical Commission - IEC. IEC 61508 - Functional safety of electrical/electronic/programmable electronic safety-related systems, 2 edition, April 2010.Google Scholar
- 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 ScholarCross Ref
Recommendations
Leveled-commitment contracting: a backtracking instrument for multiagent systems
In (automated) negotiation systems for self-interested agents, contracts have traditionally been binding. They do not accommodate future events. Contingency contracts address this but are often impractical. As an alternative, we propose leveled-...
Leveled‐Commitment Contracting: A Backtracking Instrument for Multiagent Systems
In (automated) negotiation systems for self‐interested agents, contracts have traditionally been binding. They do not accommodate future events. Contingency contracts address this but are often impractical. As an alternative, we propose leveled‐commitment ...
The 4W framework for B2B e-contracting
Contracts are fundamental to the engagement of companies in commercial relations. B2B electronic contracting aims to improve the efficiency and effectiveness of the contracting process and to provide new opportunities for the contracting parties. ...
Comments