如何使用C语言和51单片机设计一个具有8个LED灯的交通信号灯系统？该系统应按照实际交通规则运作，即红灯亮10秒，绿灯亮10秒，黄灯亮3秒，保证车辆和行人安全通过。请提供详细的程序和可能的硬件连接说明。

设计一个基于51单片机的交通信号灯系统，你需要以下几个步骤：

**硬件连接：**
1. 将51单片机连接到8个LED灯上。通常，每个LED灯对应单片机的一个IO口，例如P0~P7，其中低电平点亮LED。将红色LED连接到第一个IO口，绿色LED连接到第二个IO口，以此类推，直到第八个IO口为黄色LED。

2. 使用一个外部计数器或者单片机内部定时器（如TMOD、TH0/TL0）来控制灯的亮灭时间。红灯和绿灯可以分别设置两个独立的定时器。

**软件部分：**
1. **主循环：**
- 初始化定时器：先清零计数初值寄存器，然后设置合适的溢出中断次数，比如红灯10秒，则设为10 * (定时周期 / fosc)（fosc为单片机主频）。
- 设置中断服务函数：为定时器溢出中断设置中断处理程序，用于切换灯光颜色。

2. **中断服务函数：**
- 红灯亮10秒：
- 清零当前颜色标志（如变量red_light），并启动下一个颜色的定时器（如绿灯）。
- 让当前颜色的LED亮起，如果是红灯则高电平关闭，LED熄灭。
- 黄灯亮3秒：
- 当红灯定时器结束时，如果红灯已关闭，进入黄灯模式，并设置相应的时间。
- 亮起黄灯，其他所有灯熄灭。
- 绿灯亮10秒：
- 黄灯结束后，设置绿灯定时器并开始绿灯显示。
- 亮起绿灯，其他灯熄灭。

3. **代码示例（仅作参考，具体实现依赖于所使用的51单片机型号）：**

#include <reg52.h>

sbit red Led=P0^0; // 红色LED
sbit green Led=P0^1; // 绿色LED
sbit yellow Led=P0^2; // 黄色LED

unsigned char timer_count = 0;
unsigned char red_time = 10; // 红灯时间(秒)
unsigned char green_time = 10; // 绿灯时间(秒)
unsigned char yellow_time = 3; // 黄灯时间(秒)

void interrupt Timer0() interrupt 1 {
    if (timer_count >= red_time) { // 红灯结束
        red = !red; // 关闭红灯
        timer_count = 0; // 重置计数
        if (!yellow_light) { // 切换到绿灯
            start_green_timer();
        } else {
            start_yellow_timer(); // 黄灯继续
        }
    } else {
        timer_count++;
        switch_light(); // 根据当前计数值改变颜色
    }
}

void main() {
    // 初始化定时器
    TMOD = 0x01; // 设定工作模式为定时器模式1
    TH0 = (65536 - ((long) red_time * prescaler) >> 8); // 计算红灯时间的延时
    TL0 = (65536 - ((long) red_time * prescaler)) & 0xFF;

    TR0 = 1; // 开启定时器
    while(1);
}

在这个示例中，`prescaler`是一个预处理宏，用于调整计时精度以适应你的单片机时钟频率。注意，具体的实现细节需要根据实际情况和所用的51单片机型号进行微调。