Electrical power systems for distributing electrical power in aircraft are described. One such electrical power system comprises: an electrical power source configured to output a number R≥2 of dc power channels, each dc power channel having a respective index r=(1, . . . , R); and a group of N dc load channels connected to the R dc power channels by a switching arrangement, wherein each dc load channel has a respective index n=(1, . . . , N) and R