Safecomp Day 2-- Verification, Validation and Test-- and Fault Tolerance

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.

Safecomp 2009 Day Two-- The Aerospace domain

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...