An architectural approach to autonomics and self-management of automotive embedded electronic systems

Embedded electronic systems in vehicles are of rapidly increasing commercial importance for the automotive industry. While current vehicular embedded systems are extremely limited and static, a more dynamic configurable system would greatly simplify the integration work and increase quality of vehicular systems. This brings in features like separation of concerns, customised software configuration for individual vehicles, seamless connectivity, and plug-and-play capability. Furthermore, such a system can also contribute to increased dependability and resource optimization due to its inherent ability to adjust itself dynamically to changes in software, hardware resources, and environment condition. This paper describes the architectural approach to achieving the goals of dynamically self-configuring automotive embedded electronic systems by the EU research project DySCAS. The architecture solution outlined in this paper captures the application and operational contexts, expected features, middleware services, functions and behaviours, as well as the basic mechanisms and technologies. The paper also covers the architecture conceptualization by presenting the rationale, concerning the architecture structuring, control principles, and deployment concept. In this paper, we also present the adopted architecture V&V strategy and discuss some open issues in regards to the industrial acceptance.

Giovanni Battista Montano as Architectural Draughtsman: Recording the Past and Designing the Future

Giovanni Battista Montano (1534-1621), who was born in Milan and trained as a woodcarver, relocated permanently to Rome in the early 1570s where his interest in sculpting was replaced by intense study of the city’s antique monuments and ruins. Although Montano carried out several sculptural and architectural projects during his time in Rome, it is his surviving corpus of drawings that testifies to his passion of exploring ancient architecture through the medium of drawing. While Montano was not famous during his lifetime, a large body of his intriguing designs became celebrated and widely circulated after his death thanks to the 1624 publication of Montano’s designs by his loyal pupil, Giovanni Battista Soria. Montano’s lifelong work differs from virtually all of his predecessors and contemporaries in its “fantastical” and ornamental nature. This thesis explores Montano’s artistic training as it relates to his later interest in imaginatively reconstructing antique buildings, along with his disregard for archaeological or historical accuracy. The subject matter upon which Montano focused is discussed, along with his objective in creating a large corpus of half-historical, half-invented drawings. His drawing techniques are explored with specific reference to the largest group of extant Montano drawings, today housed in Sir John Soane’s Museum, London, England, and also in reference to three original Montano drawings in the Centre Canadien d’Architecture/Canadian Centre for Architecture, Montréal. Also explored is the legacy and impact of Montano’s drawings and the later publications of his designs on the works of Roman Baroque architects, specifically Borromini and Bernini. This thesis ultimately attempts to understand the impact of the intellectual and artistic environment surrounding Montano in late sixteenth and early seventeenth century Rome, his drawing techniques, his choice of subject matter, and the reception that his unique works received from contemporary artists and intellectuals, along with those of the following generation.

BSP -Style Computation: A Semantic Investigation

A BSP (Bulk Synchronous Parallelism) computation is characterized by the generation of asynchronous messages in packages during independent execution of a number of processes and their subsequent delivery at synchronization points. Bundling messages together represents a significant departure from the traditional ‘one communication at a time’ approach. In this paper the semantic consequences of communication packaging are explored. In particular, the BSP communication structure is identified with a general form of substitution—predicate substitution. Predicate substitution provides a means of reasoning about the synchronized delivery of asynchronous communications when the immediate programming context does not explicitly refer to the variables that are to be updated (unlike traditional operations, such as the assignment $x := e$, where the names of the updated variables can be extracted from the context). Proofs of implementations of Newton's root finding method and prefix sum are used to illustrate the practical application of the proposed approach.