Architectural and Compositional Concepts of Environmentally Safe Urban Arrangement

Compositional Verification of Architectural Models

This paper describes a design flow and supporting tools to significantly improve the design and verification of complex cyber-physical systems. We focus on system architecture models composed from libraries of components and complexity-reducing design patterns having formally verified properties. This allows new system designs to be developed rapidly using patterns that have been shown to reduc...

Visual Concepts and Compositional Voting

It is very attractive to formulate vision in terms of pattern theory [26], where patterns are defined hierarchically by compositions of elementary building blocks. But applying pattern theory to real world images is currently less successful than discriminative methods such as deep networks. Deep networks, however, are black-boxes which are hard to interpret and can easily be fooled by adding o...

Safe Architectural Design Principles

This report discusses architectures for safety-critical sysems. The report summarises the existing literature in the area as well as the guidance provided by existing safetycritical system development standards. We discuss the three constituent functions of fault tolerant architectures: error detection, damage assessment and confinement and error recovery. We also consider methods for fault pre...

Safety and Security of Urban Areas through Innovative Architectural and Structural Concepts

NextGRID Architectural Concepts

This paper outlines the conceptual model of the NextGRID architecture. This conceptual model consists of a set of architectural principles and a simple decomposition of the architecture in order to facilitate common understanding of the architecture and its development.