Background: The ever-increasing amount of software in cars today combined with high market competition demands fast adoption of new software solutions in car development projects. One challenge in enabling such a fast adoption is to develop the architecture and models of the automotive software systems in a structured and controlled way. Objective: The main objective of this thesis was to enabl...

Current DSP architectures are designed to enhance the execution of computationally-intensive, kernel-like loops. Their peculiar architectural features are often difficult for high-level language compilers to exploit. Moreover, their tightly-encoded instruction sets usually restrict the exploitation of instruction-level parallelism beyond a few instances. The quality of compiler-generated code i...

Tropos is a framework which offers an approach to guide the development of multi-agent systems (MAS). It relies on the i* notation to describe both requirements and architectural design. However, the use of i* as an architectural description language (ADL) is not suitable, since it presents some limitations to capture all the information required for designing MAS architectures. Recognizing tha...

A brief explanation is given of the language ANISE (Architectural Notions In Service Engineering) that can be used to describe generic services as well as telecommunications services. The ANISE approach embodies a feature calculus that can be used to structure and analyse services. A description is given of the Plain Old Telephone Service using ANISE. This is extended for a number of typical fe...

Introduction In this work, the micro-architecture of the optic nerves/chiasm/tracts were studied, in vivo, with diffusion tensor imaging (DTI) at submillimeter resolution. The optic chiasm is an interesting structure to study with DTI as it has intricate white matter architecture and could provide clinicaly relevant information in a number of conditions, such as optic pathway gliomas, pituitary...

| We describe EXPRESSION, a language supporting architectural design space exploration for embedded Systems-on-Chip (SOC) and automatic generation of a retargetable compiler/simulator toolkit. Key features of our language-driven design methodology include: a mixed behavioral/structural representation supporting a natural speci cation of the architecture; explicit speci cation of the memory subs...

This article presents a set of theoretical reflections and technical demonstrations that constitute a new methodological base for the architectural surveying and representation using computer graphics techniques. The problem we treated relates to three distinct concerns: the surveying of architectural objects, the construction and the semantic enrichment of their geometrical models, and their h...