ASSERT project kicked off

BSSE is part of the ASSERT project to which contribute 29 European companies and research institutes under leadership of ESA (European Space Agency). It has been started on 01.09.2004 and shall be executed over a period of 3 years.

ASSERT (Automated & Proof Based Software & System Engineering for Real-Time applications) is executed within the 6th Frame Programme of the European Union (project no. FP6-IST-004033).

BSSE is part of the MA3S pilot project (Multi-domain Advanced Available Automated Systems) which is headed by EADS-ST (space transportation, F). The other partners in the MA3S project are: Astrium (Toulouse), EADS-Bremen (D), EADS-CRC (Munich,D), Dassault (F), MBDA (F).