The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
This paper analyzes a range of incidents involving team-based interaction with safety-critical programmable systems. The incidents were submitted to NASA's Aviation Safety Rep...
This paper presents an analytical model to study how working sets scale with database size and other applications parameters in decision-support systems (DSS). The model uses appl...
The adoption and implementation of interorganizational information systems (IOS) heavily depend upon the trading partner(s) of the focal organization. Power structures have been s...
This paper describes recently developed policy and procedures for safety management during system acquisition within the Australian government's Defence Materiel Organisation...