This paper reports on further research undertaken regarding systems modelling as applied to critical infrastructure systems and networks and builds upon the initial modelling research of Pye and Warren (2006a). We discuss system characteristics, inter-relationships, dynamics and modelling of similar systems and why modelling of a critical infrastructure is important. In overview we compare four...

Purpose – The purpose of this research is to help knowledge managers systematically grasp ‘‘knowledge about management knowledge’’ and get a ‘‘deep and full’’ understanding of the nature, scope and methodologies of knowledge management. Design/methodology/approach – Through presenting a variety of perspectives on knowledge, management, and knowledge management, the article explores the essence ...

Nowadays physicians are confronted with high-dimensional data generated by clinical information systems. The proper extraction and interpretation of the information contained in such massive data sets, which are often observed with high sampling frequencies, can hardly be done by experience only. This yields new perspectives of data recording and also sets a new challenge for statistical method...

With conventional methods of performing verification and validation heavily reliant on testing performed late in the software production process the late detection of errors adds substantially to project costs and delays in delivery, and introduces significant risks. This paper presents a method of software development aimed at "correctness by construction", which greatly attenuates these probl...

Predictability is crucial in critical applications and systems. Therefore, we examine sources of uncertainty for each of the four phases that span a project lifecycle, from initial problem capture, to system implementation, when conducted according to proof-based system engineering principles. We explore the concept of coverage applied to problems, solutions, assumptions, along with a generic p...

We give a short overview over the challenges and some solutions for using compo-nentware for building critical systems. The high quality development of critical systems (be it dependable, security-critical, real-time, or performance-critical systems) is difficult. Many critical systems are developed, fielded, and used that do not satisfy their criticality requirements, sometimes with spectacula...

Introduction Embedded systems are like normal desktop systems in that they have functional requirements, that is, functions that the system is expected to perform, such as moving the robot arms. One of the ways embedded systems differ from desktop systems is that they also have significant quality of service (QoS) requirements as well. In real-time embedded systems, for example, timeliness and ...

We study a class of attractive spin systems. We prove that for these processes, the system dies out when the parameters are on the critical surface. We also prove that the supercritical process survives with positive probability in a suuciently thick space-timèslab'.