TTCP JSA-AG4 HOST NATION DAY AT THE SVRC
The Software Verification Research Centre hosted the 2000 meeting of the TTCP Action Group JSA-AG4 on 2-5 May. The Action Group comes under the umbrella of the Joint Systems and Analysis (JSA) Group of The Technical Cooperation Program (TTCP) and considers technical and standards issues arising in the development and evaluation of Safety Critical Computer-Based Systems. Its members are drawn from the UK, USA and Australian Defence R&D community. Tony Cant from Australia's Defence Science and Technology Organisation (DSTO) chairs the Action Group. The SVRC's Peter Lindsay is a member of the Action Group.
Members of the TTCP Action Group JSA-AG4 on Safety Critical Systems
Each year one day of the Action Group meeting is thrown open to a wider audience, as a showcase for the host nation's projects in the area. This year's `Host Nation Day' was held on 3 May, and was attended by 28 participants. After a welcome from SVRC Director John Staples and an introduction by Tony Cant, the following presentations were made:
- Overview of the DefSafe Project - Peter Lindsay, SVRC
- Safety Aspects of the new Nulka Flight Control Unit - Mal Crozier, BAE Systems
- The Role of Operators in Safety - Andrew Hussey, SVRC
- Hardware Reliability & Safety Standards - Brenton Atchison, SVRC
- Design Oriented Verification and Evaluation (DOVE) Tool - Brendan Mahony, Trusted Computer Systems Group, DSTO
- Advances in Real-Time Software Engineering - Colin Fidge, SVRC
- COLLINS Submarine Safety - Commander John Quinn, Executive Director, SUBSAFE Program, Royal Australian Navy
- Safety Aspects of the Air 5333 Project - Squadron Leader Mike Scott, Royal Australian Air Force
- Visual Indicator for Stonefish Exercise Mine (VISEM) - Andrew Rae, SVRC
- Visual Alerting and Cueing System (VACS) - Russell Scott, Army Engineering Agency
- Back to DefSafe home page
- Back to SVRC home page