Turning compositionality into composability
Abstract
Compositional theories and technologies facilitate the decomposition of a complex system into components, as well as their integration via interfaces. Component interfaces hide the internal details of the components, thereby reducing integration complexity. A system is said to be composable if the properties established and validated for components in isolation hold once the components are integrated to form the system. This brings us the question: "Is compositionality related to composability?" This paper answers this question in the affirmative; it considers a previously known interface for compositionality and shows that it can be used for composability. It also presents a run-time policing mechanism for this interface.
References
[1]
L. Abeni and G. Buttazzo. Integrating multimedia applications in hard real-time systems. In RTSS, 1988.
[2]
L. Almeida and P. Pedreiras. Scheduling within temporal partitions: response-time analysis and server design. In EMSOFT, 2004.
[3]
B. Andersson. A pseudo-medium-wide 8-competitive interface for two-level compositional real-time scheduling of constrained-deadline sporadic tasks on a uniprocessor. In CRTS, 2009.
[4]
B. Andersson. A preliminary idea for an 8-competitive, log2 DMAX + log2 log2 (1/U) asymptotic-space, interface generation algorithm for two-level hierarchical scheduling of constrained-deadline sporadic tasks on a uniprocessor. In CRTS, 2010.
[5]
S. K. Baruah, L. E. Rosier, and R. R. Howell. Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor. In Real-Time Systems, pages 301--324, 1990.
[6]
M. Behnam, T. Nolte, M. Asberg, and R. J. Bril. Overrun and skipping in hierarchically scheduled real-time systems. In RTCSA, 2009.
[7]
M. Behnam, I. Shin, T. Nolte, and M. Nolin. SIRAP: a synchronization protocol for hierarchical resource sharing in real-time open systems. In EMSOFT, 2007.
[8]
R. I. Davis and A. Burns. Resource sharing in hierarchical fixed priority pre-emptive systems. In RTSS, 2006.
[9]
Z. Deng and J. W.-S. Liu. Scheduling real-time applications in an open environment. In RTSS, 1997.
[10]
F. Dewan and N. Fisher. Efficient admission control for enforcing arbitrary real-time demand-curve interfaces. In RTSS, 2012.
[11]
X. Feng and A. K. Mok. A model of hierarchical real-time virtual resources. In RTSS, 2002.
[12]
P. Kumar, J.-J. Chen, and L. Thiele. Demand bound server: Generalized resource reservation for hard real-time systems. In EMSOFT, 2011.
[13]
J. P. Lehoczky, L. Sha, and J. K. Strosnider. Enhanced aperiodic responsiveness in hard real-time environments. In RTSS, 1987.
[14]
G. Lipari and S. K. Baruah. A hierarchical extension to the constant bandwidth server framework. In RTAS, 2001.
[15]
I. Shin and I. Lee. Periodic resource model for compositional real-time guarantees. In RTSS, 2003.
Index Terms
- Turning compositionality into composability
Recommendations
Checking component composability
SC'06: Proceedings of the 5th international conference on Software CompositionComponent-Based Software Engineering (CBSE) is one of the approaches to master the development of large scale software. In this setting, the verification concern is still a challenge. The current work addresses the composability of components and their ...
Evaluating the average-case performance penalty of bandwidth-like interfaces
Special Issue on 8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2015)Many solutions for composability and compositionality rely on specifying the interface for a component using bandwidth. Some previous works specify period (P) and budget (Q) as an interface for a component. Q/P provides us with a bandwidth (the share of ...
Compositionality of Security Protocols: A Research Agenda
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the verification of security protocols have been developed. However, their ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
June 2016
64 pages
Copyright © 2016 Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 02 August 2016
Published in SIGBED Volume 13, Issue 3
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
- Department of Defense
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 139Total Downloads
- Downloads (Last 12 months)43
- Downloads (Last 6 weeks)12
Reflects downloads up to 14 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in