Eli: a complete, flexible compiler construction system
Communications of the ACM
Protocol verification made simple: a tutorial
Computer Networks and ISDN Systems - Special issue on protocol specification, testing and verification
The IEEE 802.11 Handbook: A Designer's Companion
The IEEE 802.11 Handbook: A Designer's Companion
Protocol Design: Redefining the State of the Art
IEEE Software
Fundamentals of wireless communication
Fundamentals of wireless communication
Performance analysis of coded cooperation diversity in wireless networks: Research Articles
Wireless Communications & Mobile Computing
Implementing MAC protocols for cooperative relaying: a compiler-assisted approach
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
Compilers: Principles, Techniques, & Tools with Gradiance
Compilers: Principles, Techniques, & Tools with Gradiance
Coded cooperation in wireless communications: space-time transmission and iterative decoding
IEEE Transactions on Signal Processing
Cooperative diversity in wireless networks: Efficient protocols and outage behavior
IEEE Transactions on Information Theory
Outage analysis of coded cooperation
IEEE Transactions on Information Theory
Hi-index | 0.00 |
Letting users cooperate is a promising approach to improve reliability and throughput in wireless networks, but it has not yet made the transition into practice. Unlike conventional wireless communication, cooperation distributes each single transmission among multiple users and channels. Consequently, a Medium Access Control (MAC) protocol developer has to cope with various new, heavily distributed protocol functions that are tedious to implement and to debug. To untie this complex development process, we propose to automate its most error-prone parts: Implementation of MAC automata, analysis, and code generation. To do so, we formalize cooperative MAC protocols by a new, easy-to-use specification language and propose a compiler for which we construct various backends to automatically analyze validity and performance of the specification and to translate the specified protocols into program code for simulators and even Software-Defined Radio (SDR) prototypes. All this provides a lightweight, heavily automated development process that quickly turns a cooperative MAC protocol specification into a practical implementation.