A synthesis of logic and biology in the design of dependable systems

The technologies of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, have advanced in recent years. Much of this development can be attributed to the application of advances in formal logic and its application to fault forecasting and verification of systems. In parallel, work on bio-inspired technologies has shown potential for the evolutionary design of engineering systems via automated exploration of potentially large design spaces. We have not yet seen the emergence of a design paradigm that combines effectively and throughout the design lifecycle these two techniques which are schematically founded on the two pillars of formal logic and biology. Such a design paradigm would apply these techniques synergistically and systematically from the early stages of design to enable optimal refinement of new designs which can be driven effectively by dependability requirements. The paper sketches such a model-centric paradigm for the design of dependable systems that brings these technologies together to realise their combined potential benefits

PoseAgent: Budget-Constrained 6D Object Pose Estimation via Reinforcement Learning

State-of-the-art computer vision algorithms often achieve efficiency by making discrete choices about which hypotheses to explore next. This allows allocation of computational resources to promising candidates, however, such decisions are non-differentiable. As a result, these algorithms are hard to train in an end-to-end fashion. In this work we propose to learn an efficient algorithm for the task of 6D object pose estimation. Our system optimizes the parameters of an existing state-of-the art pose estimation system using reinforcement learning, where the pose estimation system now becomes the stochastic policy, parametrized by a CNN. Additionally, we present an efficient training algorithm that dramatically reduces computation time. We show empirically that our learned pose estimation procedure makes better use of limited resources and improves upon the state-of-the-art on a challenging dataset. Our approach enables differentiable end-to-end training of complex algorithmic pipelines and learns to make optimal use of a given computational budget

Modelling iteration in engineering design

This paper examines design iteration and its modelling in the simulation of New Product Development (NPD) processes. A framework comprising six perspectives of iteration is proposed and it is argued that the importance of each perspective depends upon domain-specific factors. Key challenges of modelling iteration in process simulation frameworks such as the Design Structure Matrix are discussed, and we argue that no single model or framework can fully capture the iterative dynamics of an NPD process. To conclude, we propose that consideration of iteration and its representation could help identify the most appropriate modelling framework for a given process and modelling objective, thereby improving the fidelity of design process simulation models and increasing their utility

Dynamics of trimming the content of face representations for categorization in the brain

To understand visual cognition, it is imperative to determine when, how and with what information the human brain categorizes the visual input. Visual categorization consistently involves at least an early and a late stage: the occipito-temporal N170 event related potential related to stimulus encoding and the parietal P300 involved in perceptual decisions. Here we sought to understand how the brain globally transforms its representations of face categories from their early encoding to the later decision stage over the 400 ms time window encompassing the N170 and P300 brain events. We applied classification image techniques to the behavioral and electroencephalographic data of three observers who categorized seven facial expressions of emotion and report two main findings: (1) Over the 400 ms time course, processing of facial features initially spreads bilaterally across the left and right occipito-temporal regions to dynamically converge onto the centro-parietal region; (2) Concurrently, information processing gradually shifts from encoding common face features across all spatial scales (e.g. the eyes) to representing only the finer scales of the diagnostic features that are richer in useful information for behavior (e.g. the wide opened eyes in 'fear'; the detailed mouth in 'happy'). Our findings suggest that the brain refines its diagnostic representations of visual categories over the first 400 ms of processing by trimming a thorough encoding of features over the N170, to leave only the detailed information important for perceptual decisions over the P300

Pervasiveness and efficacy in regulatory governance – neo-liberalism as ideology and practice in European telecommunications reorganisation

Telecommunications provides one of the most well-developed examples of the growth of neo-liberalism. The sector is interesting since the contrast between its pre neoliberal and post neo-liberal characteristics is particularly stark. This paper explores the impacts of neo-liberalism in European telecommunications, placing particular focus on the EU institutional context. It considers the conseqences of neo-liberalism as ideology, on the one hand, and practice, on the other. It finds that, ideologically, neoliberalism has become deeply pervasive in European telecommunications and for its advocates can be regarded as a highly successful project spanning almost 30 years. In terms of practice, the paper argues that the pursuit of neo-liberalism has been less successful. In particular, competition has proven complex and difficult to create and there are concerns over the ability of the neo-liberal model to provide sufficient investment to deliver new Next Generation Networks. However, these deficiencies tend to be under-played due to the ideological and rhetorical success of the neo-liberal project in telecommunications.

Early aspects: aspect-oriented requirements engineering and architecture design

This paper reports on the third Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design Workshop, which has been held in Lancaster, UK, on March 21, 2004. The workshop included a presentation session and working sessions in which the particular topics on early aspects were discussed. The primary goal of the workshop was to focus on challenges to defining methodical software development processes for aspects from early on in the software life cycle and explore the potential of proposed methods and techniques to scale up to industrial applications