Home // SENSORCOMM 2013, The Seventh International Conference on Sensor Technologies and Applications // View article


A Formal Method for the Evaluation of Component-based Embedded Systems: Application to Technical Choices for CSTBox Toolkit

Authors:
Daniel Cheung-Foo-Wo
Eric Pascual

Keywords: soft real-time constraints; OSGi; D-Bus; sensor network data processing measurement;

Abstract:
When designing applications for sensor or actuator network management, deployed networks of equipments often use an underlying component-oriented approach, such as OSGi (formerly Open Services Gateway Initiative, now OSGi Alliance), which provides flexibility in terms of software development and maintenance. It also leads to combining sensors and actuators from different manufacturers using different protocols, libraries, and communication media. To make the interface between components compatible, additional software layers are implemented on top of heterogeneous libraries and protocols. Our intention in this paper is to confront our OSGi applied software solution coping with these heterogeneity and flexibility to contextual timing constraints in order to propose solutions in terms of OSGi extensions and generalization. We formally describe the performance function of the connectors of our toolkit called CSTBox (CSTB Sensing Telemonitoring Box) faced to soft real-time constraints derived from real-world deployments of European projects in domains such as ambient assisted living for the elderly and energy use in offices according to a simple classification of underlying middleware in terms of performance. Running applications, result analyzes, and timing measurements are performed on the SOC (System on Chip) card Raspberry Pi hardware for low-consumption and other embedded systems like routers and gateways.

Pages: 157 to 160

Copyright: Copyright (c) IARIA, 2013

Publication date: August 25, 2013

Published in: conference

ISSN: 2308-4405

ISBN: 978-1-61208-296-7

Location: Barcelona, Spain

Dates: from August 25, 2013 to August 31, 2013