Titlebook: Interactive Systems. Design Specification, and Verification; 12th International W Stephen W. Gilroy,Michael D. Harrison Conference proceedi

羽毛長(zhǎng)成

Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interinformation from incident investigations to inform the development of safety-cases that can, in turn, be used to inform a formal system model, represented using Petri nets and the ICO formalism. The foundations of the approach are first detailed and then exemplified using a fatal mining accident case study.

系列

顯示

preservative

Test of the ICARE Platform Fusion Mechanismons, we want to ensure the correctness of its fusion mechanism. Therefore, we validated it using a test architecture based on Java technologies. This paper presents our validation approach, its results, its advantages and its limits.

conceal

劇毒

coagulation

DiCoT: A Methodology for Applying Distributed Cognition to the Design of Teamworking Systemsuted Cognition perspective. The approach has been developed and tested within a large, busy ambulance control centre. It supports reasoning about both existing system design and possible future designs.

手銬

Meander

松雞