Due to the increasing complexity of distributed embedded systems, the development process demands early substantiation of design decisions for the targeted system. Virtual prototypes enable an early validation of hardware/software systems and they have proven to be very beneficial for target software development. However, these prototypes often do not include models for inter-device communication aspects of distributed systems. Especially the use of wireless communication has a significant impact on the overall system behavior and performance. This paper introduces a SystemC model of an essential part of IEEE 802.11 Wireless LAN communication, the Enhanced Distributed Channel Access (EDCA) protocol. In comparison to widely used network simulations, the modeling with SystemC promises an easier integration into existing virtual prototypes. EDCA is the main part of the lower medium access layer (MAC) of IEEE 802.11 and interfaces to the physical-layer communication as well as to non-time-critical higher MAC-layer functions. We conducted experiments with an additional simple physical communication channel model to compare our solution in terms of precision and performance to the well-established network simulator ns-3. We show that our model differs by $\approx 0.3 \%$ of retransmitted frames and an accompanied difference of the overall simulated transmission time of $\approx 0.45 \%$. It meets the overall expectations for the stochastic EDCA protocol. Moreover, the presented model has a significantly better simulation performance with $3 \cdot 10^{-5}$ s wall-clock time per frame, which is at least two orders of magnitude better than with the compared ns-3 simulation.