Server-side video editing

This is what I need to do on a server.

Let's say that I have 3 video files: video1.avi 2 minutes -> 640x320 video2.avi 1 minute -> 640x320 video3.avi 1 minute -> 640x320

I need to create video4.avi, that will be 2 minutes long and 1280x320, Containing the videos side by side (horizontally).I need video2 and video3 to be at the right side of video 1. Video3 should start after video video2 ends.

• I need to do this at the server side.
• Be able to compose video/audio without overlapping.
• Be able开发者_如何学运维 to add several small video clips to the right side of the longer video.
• This should be a command line tool.

What can I use to accomplish this?

First thing I thought was FFMPEG and Image Magick. Export the audio with FFMPEg and compose the video frames (exported by FFMPEG) into single images. I know I can generate a video file from frames and audio, but I don't know if it's possible to sync the audio files and compose them (video1's and videos2's audio should be mixed, play simultaneously).

Any ideas?

You can use gstreamer. It has bindings for many languages and easy to experiment with without actually writing code, using gst-launch and friends. See this page for a few examples.