Siri doesn't run on DC/OS. They use mesos (ie. the open source apache foundation project that marathon and later DC/OS are built on top of), but write their own framework(s) that run on top of it.
Source: I worked on the team, although we had talked about this at mesoscon in the past.
