TY - GEN
T1 - An interface algebra for estimating worst-case traversal times in component networks
AU - Stoimenov, Nikolay
AU - Chakraborty, Samarjit
AU - Thiele, Lothar
N1 - Funding Information:
The work is partially supported by NCCR-MICS, a center supported by the Swiss National Science Foundation under grant number 5005-67322, and by the DFG through the SFB/TR28 “Cognitive Automobiles”.
PY - 2010
Y1 - 2010
N2 - Interface-based design relies on the idea that different components of a system may be developed independently and a system designer can connect them together only if their interfaces match, without knowing the details of their internals. In this paper we propose an interface algebra for analyzing networks of embedded systems components. The goal is to be able to compute worst-case traversal times and verify their compliance to provided deadlines in such component networks in an incremental manner, i.e., as and when new components are added or removed from the network. We lay the basic groundwork for this algebra and show its utility through an illustrative example.
AB - Interface-based design relies on the idea that different components of a system may be developed independently and a system designer can connect them together only if their interfaces match, without knowing the details of their internals. In this paper we propose an interface algebra for analyzing networks of embedded systems components. The goal is to be able to compute worst-case traversal times and verify their compliance to provided deadlines in such component networks in an incremental manner, i.e., as and when new components are added or removed from the network. We lay the basic groundwork for this algebra and show its utility through an illustrative example.
UR - http://www.scopus.com/inward/record.url?scp=78650277575&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-16558-0_18
DO - 10.1007/978-3-642-16558-0_18
M3 - Conference contribution
AN - SCOPUS:78650277575
SN - 3642165575
SN - 9783642165573
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 198
EP - 213
BT - Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Proceedings
T2 - 4th International Symposium on Leveraging Applications, ISoLA 2010
Y2 - 18 October 2010 through 21 October 2010
ER -