Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems
Pages 240 - 251
Abstract
Many special-purpose embedded systems such as automobiles and aircrafts consist of multiple embedded controllers connected through embedded network interconnects. Such network interconnects have particular characteristics and thus have different communication requirements. Accordingly, we need to frequently implement new protocol stacks for embedded systems. Implementing new protocol stacks on embedded systems has significant design space but it has not been explored in detail. In this paper, we aim to explore the design space of network protocol stacks for special-purpose embedded systems. We survey several design choices very carefully so that we can choose the best design for a given network with respect to performance, portability, complexity, and flexibility. More precisely we discuss design alternatives for implementing new network protocol stacks over embedded operating systems, methodologies for verifying the network protocols, and the designs for network gateway. Moreover, we perform case studies for the design alternatives and methodologies discussed in this paper.
References
[1]
MOST Cooperation.: MOST Specification. Rev 3.0 (2008)
[2]
Lee, M.-Y., Chung, S.-M., Jin, H.-W.: Automotive Network Gateway to Control Electronic Units through MOST Network (2009) (under review)
[3]
Lee, S.-H., Jin, H.-W.: Real-Time Communication Support for Embedded Linux over Ethernet. In: International Conference on Embedded Systems and Applications (ESA 2008), pp. 239-245 (2008)
[4]
Lee, S.-H., Jin, H.-W.: Communication Primitives for Real-Time Distributed Synchronization over Small Area Networks. In: IEEE International Symposium on Object/ component/service-oriented Real-Time distributed Computing (ISORC 2009), pp. 206-210 (2009)
[5]
Palmer, J.W., Sabnani, K.: A Survey of Protocol Verification Techniques. In: Military Communications Conference - Communications-Computers, pp. 1.5.1-1.5.5 (1986)
[6]
Peled, D.: Software Reliability Methods. Springer, Heidelberg (2001)
[7]
Wing, J.M.: A specifier's introduction to formal methods. IEEE Computer 23(9) (1990)
[8]
Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)
[9]
SMV, http://w2.cadence.com/webforms/cbl_software/index.aspx
[10]
SPIN, http://spinroot.com/spin/whatispin.html
[11]
UPPAAL, http://www.uppaal.com/
[12]
Meadows, C.: Analysis of the Internet Key Exchange protocol using the NRL Protocol Analyzer. In: SSP 1999, pp. 216-231 (1999)
[13]
Cohen, E.: TAPS: A first-order verifier for cryptographic protocols. In: 13th IEEE Comp. Sec. Found. Workshop, pp. 144-158 (2000)
[14]
Aggarwal, S., Kurshan, R.P., Sabnani, K.: A Calculus for Protocol Specification and Verification. In: Int. Workshop on Protocol Specification, Testing and Verification (1983)
[15]
Sabnani, K., Wolper, P., Lapone, A.: An Algorithmic Procedure for Protocol Verification. In: Globecom (1985)
[16]
Harel, D.: Statecharts: A Visual Formalism for complex systems. Science of Computer Programming 8, 231-274 (1987)
[17]
SDL, http://www.telelogic.com/products/sdl/index.cfm
[18]
Wind River, http://windriver.com
[19]
Labrosse, J.: MicroC/OS-II: The Real-Time Kernel. CMP Books (1998)
[20]
QNX Software Systems, http://www.qnx.com
[21]
Hergenhan, A., Heiser, G.: Operating Systems Technology for Converged ECUs. In: 7th Embedded Security in Cars Conference (2008)
[22]
Obermaisser, R.: Formal Specification of Gateways in Integrated Architectures. In: Brinkschulte, U., Givargis, T., Russo, S. (eds.) SEUS 2008. LNCS, vol. 5287, pp. 34-45. Springer, Heidelberg (2008)
[23]
Yaghmour, K.: Adaptive Domain Environment for Operating Systems (2001), http://www.opersys.com/adeos
[24]
Xenomai, http://www.xenomai.org
- Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems
Recommendations
The Design and Implementation of Embedded Network Protocol Stack in MicroC/OS-II Operating System
ICINIS '11: Proceedings of the 2011 4th International Conference on Intelligent Networks and Intelligent SystemsIn this paper, a networking method is given to embedded equipments which are based on MicroC/OS-II. LPC2200 that based on ARM7TDMI-S is used as the core of hardware platform, MicroC/OS-II embedded real-time operating system and LwIP(Light Weight IP) are ...
A fair non-repudiation protocol
SP '96: Proceedings of the 1996 IEEE Symposium on Security and PrivacyAbstract: A fair non-repudiation protocol should not give the sender of a message an advantage over the receiver, or vice versa. We present a fair non-repudiation protocol that requires a trusted third party but attempts to minimize its involvement in ...
An novel three-party authenticated key exchange protocol using one-time key
Three-party authenticated key exchange protocol (3PAKE) is an important cryptographic technique for secure communication which allows two parties to agree a new secure session key with the help of a trusted server. In this paper, we propose a new three-...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 11 November 2009
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 08 Feb 2025