Integrating communication protocol selection with partitioning in hardware/software codesign

This paper presents a codesign approach which incorpo-rates communication protocol selection as a design param-eter within hardware/software partitioning. The presented approach takes into account data transfer rates depending on communication protocol types and configurations, and different operating frequencies of system components, i.e. CPUs, ASICs, and busses. It also takes into account the tim-ing and area influences of drivers and driver calls needed to perform the communication. The approach is illustrated by a number of design space exploration experiments which use models of the PCI and USB communication protocols. 1

Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems

We introduce SysML-Sec, a SysML-based Model-Driven Engineering environment aimed at fostering the collaboration between system designers and security experts at all methodological stages of the development of an embedded system. A central issue in the design of an embedded system is the definition of the hardware/software partitioning of the architecture of the system, which should take place as early as possible. SysML-Sec aims to extend the relevance of this analysis through the integration of security requirements and threats. In particular, we propose an agile methodology whose aim is to assess early on the impact of the security requirements and of the security mechanisms designed to satisfy them over the safety of the system. Security concerns are captured in a component-centric manner through existing SysML diagrams with only minimal extensions. After the requirements captured are derived into security and cryptographic mechanisms, security properties can be formally verified over this design. To perform the latter, model transformation techniques are implemented in the SysML-Sec toolchain in order to derive a ProVerif specification from the SysML models. An automotive firmware flashing procedure serves as a guiding example throughout our presentation.Comment: In Proceedings GraMSec 2014, arXiv:1404.163

Context-of-use and the design of user-product interactions: exploring causal relationships

Nine causal relationships that explain the cause and effect relationships between aspects of human experience, context-of-use and particular aspects of product usability have been previously identified in a study that focussed on investigating the aspects of human experience that influence people’s understanding of a product’s use. This paper reports on a work-in-progress – a pilot study experiment with practising designers - that aims to further explore these causal relationships and to investigate how they can be employed in the conceptualisation stage of a design task that emphasises product usability. Data collection includes sketches and annotations produced during the design task, retrospective verbal reports of the designers’ interpretation of their initial design concepts, and opinions about the use of causal relationships during the design process. Indicative outcomes of the pilot study illustrate that awareness of causal relationships can assist designers in generating novel ways to enhance product usability. Keywords: Context-Of-Use, Human Experience, User-Product Interaction, Product Usability, Product Design</p

Making Exhibitions, Brokering Meaning: Designing new connections across communities of practice

New media museum exhibits often see designers representing the research of expert content providers. Despite perceptions that such exhibits provide museum visitors with a greater depth and range of experience, differences in knowledge and practice between designers and content providers can see content development become an unruly, competitive process in which audience experience, digital mediation, visualisation techniques and meaning become contested territory. Drawing on Etienne Wenger’s theory of “communities of practice”, this paper argues that designers’ advocacy for audiences and distance from exhibition content well positions them to broker interdisciplinary goal setting so that exhibitions observe the representational objectives of content providers and meet the needs and preferences of museum visitors. A wide range of design literature already discusses the pragmatic benefits and ethical importance of user-centered design, while the literature on co-design suggests that designed outcomes are more successful if the design process considers the interests of all stakeholders. These discussions can be compelling, but the inherent challenges in engaging others’ perspectives and knowledge in the design process are less acknowledged, Wenger’s ideas on the social dynamics of group enterprise offering designers valuable insights into the actuality of negotiating designed outcomes with non-designer stakeholders. The paper has two main aspects. The first outlines the theory of communities of practice, focusing on the brokering of knowledge and practice between disciplines. This discussion frames an analysis of the design process for two museum exhibitions. Representing an original application of Wenger’s ideas, the discussion recognises the unique role of the designed artifact in brokering information visualization processes, transcending the actions and intentions of individual stakeholders. While accepting there are successful examples of interdisciplinary exchange in various areas of design, the interpretation of examples via Wenger contributes useful principles to the theorisation of co-design with non-designer stakeholders. Keywords: Information visualization; New media museum exhibits; Multidisciplinary projects; Communities of Practice; Brokering; User-centered design; Co-Design; Etienne Wenger</p

SystemC Model Generation for Realistic Simulation of Networked Embedded Systems

Verification and design-space exploration of today's embedded systems require the simulation of heterogeneous aspects of the system, i.e., software, hardware, communications. This work shows the use of SystemC to simulate a model-driven specification of the behavior of a networked embedded system together with a complete network scenario consisting of the radio channel, the IEEE 802.15.4 protocol for wireless personal area networks and concurrent traffic sharing the medium. The paper describes the main issues addressed to generate SystemC modules from Matlab/Stateflow descriptions and to integrate them in a complete network scenario. Simulation results on a healthcare wireless sensor network show the validity of the approach