Software Technologies for Embedded and Ubiquitous Systems 

About: Software Technologies for Embedded and Ubiquitous Systems is an academic conference. The conference publishes majorly in the area(s): Ubiquitous computing & Sensor node. Over the lifetime, 167 publications have been published by the conference receiving 1631 citations.

OTAWA: an open toolbox for adaptive WCET analysis

Abstract: The analysis of worst-case execution times has become mandatory in the design of hard real-time systems: it is absolutely necessary to know an upper bound of the execution time of each task to determine a task schedule that insures that deadlines will all be met.The OTAWA toolbox presented in this paper has been designed to host algorithms resulting from research in the domain of WCET analysis so that they can be combined to compute tight WCET estimates. It features an abstraction layer that decouples the analyses from the target hardware and from the instruction set architecture, as well as a set of functionalities that facilitate the implementation of new approaches.

Model-Integrated Development of Cyber-Physical Systems

Abstract: Cyber-physical systems represent a new class of systems that integrate physics with computation. Their correct design is frequently of great importance as they are applied in safety- or business-critical contexts. This paper introduces a model-integrated development approach that addresses the development needs of such systems through the pervasive use of models. A complete model-based view is proposed that covers all aspects of the hardware and software components, as well as their interactions. Early experiments and work in progress are also reported.

Measurement-based worst-case execution time analysis

Abstract: In the last years the number of electronic control systems has increased significantly. In order to stay competitive more and more functionality is integrated into more and more powerful and complex computer hardware. Due to these advances in control systems engineering new challenges for analyzing the timing behavior of real-time computer systems arise. The two identified main challenges are execution-time modeling of the hardware and the path problem that forbids capturing the worst-case execution time (WCET) by end-to-end measurements due to limits in computational complexity. This work presents the cornerstones of our new measurement-based WCET analysis method that successfully addresses these problems. We clearly identify our research goals and the relevance of our research. Especially, the novel aspects of our approach are emphasized. The conclusion is formed by a brief presentation of an industrial-size case study application.

GENSEN: a topology generator for real wireless sensor networks deployment

Abstract: Network Simulators are important tools in network research. As the selected topology often influences the outcome of the simulation, realistic topologies are required to produce realistic simulation results. The topology generator presented in this document, GenSeN, was created based on the authors' knowledge from several experiences. GenSeN is a tool capable of generating realistic topologies of wireless sensor networks and, additionally, auto-configuring important characteristics of sensor nodes, such as energy parameters. The tool was validated by comparison with real deployment strategies and experiences.

A review on system architectures for sensor fusion applications

Abstract: In the literature there exist many proposed architectures for sensor fusion applications. This paper briefly reviews some of the most common approaches, i. e., the JDL fusion architecture, the Waterfall model, the Intelligence cycle, the Boyd loop, the LAAS architecture, the Omnibus model, Mr. Fusion, the DFuse framework, and the Time-Triggered Sensor Fusion Model, and categorizes them into abstract models, generic and rigid architectures. While an abstract model does not guide the designer in the concrete implementation, the generic architectures provide a generic design but leave open several design decisions regarding operating system, hardware, communication system, or database system. Rigid architectures specify at least some of these aspects and therefore provide existing hardware designs, tools, and source code at the cost of flexibility.