The Space Research Centre at the University of Leicester works with NASA and the European Space Agency, supplying instrumentation and other hardware for space missions. The centre uses NX and Teamcenter from Siemens PLM Software to develop its products, uniting all phases of projects, from design through analysis and manufacturing.
Three scientists all named Mohammed, M. Zulkermine, M. Raihan, M. Uddin presented "Towards Model-Based Automatic Testing of Attack Scenarios." I kept wondering why they didn't mention the Achilles system, which is the de-facto standard for such testing.
The first paper in the Aerospace session was a discussion of the COMPASS approach: correctness, modeling and perfomability of aerospace systems. Marco Bozzano discussed the SLIM formal modeling language that is potentially of use modeling such things as error behavior in aerospace systems. He described a model of a...