Search
Results
-
-
Rupeas: Ruby Powered Event Analysis DSL
(2009)TIK ReportWireless Sensor Networks (WSNs) are unique embedded computation systems for distributed sensing of a dispersed phenomenon. While being a strongly concurrent distributed system, its embedded aspects with severe resource limitations and the wireless communication requires a fusion of technologies and methodologies from very different fields. As WSNs are deployed in remote locations for long-term unattended operation, assurance of correct ...Report -
Combining computational and analytic model descriptions for evaluating embedded real-time systems
(2008)TIK ReportIndustrial embedded real-time systems such as cabin communication systems (CCS) of modern (passenger) aircrafts [EADS:08a], are highly complex. Verification of such complex systems is either hampered by the state space explosion problem, --attached to state-based verification,-- or lacks a high-degree of detail, --due to the usage of some analytic method. For achieving a detailed analysis of system components, but still maintaining ...Report -
Energy-Efficient Bluetooth Networks
(2005)TIK ReportWe investigate system-level energy-saving strategies for sensor nodes that use high-bandwidth Blueto oth radio links. We examine various existing proposals for their suitability for an application scen ario where sensor nodes continuously collect non-time-critical, low-rate data and transmit it to one or more observer nodes. We present a new, custom-tailored energy-saving algorithm which considerabl y increases a node's lifetime in our ...Report -
Approaching Wireless Sensor Networks Using Systematic Testing Strategies
(2008)TIK ReportWireless Sensor Network (WSN) applications today are hard to develop, often resulting in fragile systems with meager performance. We contribute to the coordinated development of WSN applications through the presentation of test and validation methods that allow for gradual refinement throughout the whole development flow. The methods described allow to systematically develop an application or part thereof while continuously and systematically ...Report -
Reliable Mode Changes in Real-Time Systems with Fixed Priority or EDF Scheduling
(2008)TIK ReportMany application domains require adaptive real-time embedded systems that can change their functionality over time. In such systems it is not only necessary to guarantee timing constraints in every operating mode, but also during the transition between different modes. Known approaches that address the problem of timing analysis over mode changes are restricted to fixed priority scheduling policies. In addition, most of them are also ...Report -
Coupling MPARM with DOL
(2009)TIK ReportThis report summarizes the work of coupling the MPARM cycle-accurate multi-processor simulator with the Distributed Operation Layer (DOL) system-level MPSoC development framework. The main contribution of this work is the runtime environment which enables the execution of the DOL applications on top of the MPARM simulator. The runtime environment is automatically generated in a correct-byconstruction manner from the DOL specifications by ...Report -
Timed Automata Templates for Distributed Embedded System Architectures
(2005)TIK ReportNetworks of timed automata can be used to specify and verify distributed embedded systems. This technical report provides timed automata templates for a few basic components of such systems as a first step towards a library of reusable components which shall facilitate the design and analysis of large distributed embedded systems. In particular timed automata templates for common input event streams and for TDMA-scheduling are provided.Report -
Gradient Clock Synchronization in Sensor Networks
(2005)TIK ReportIn this paper, we examine gradient clock synchronization in a system model that is typical for sensor networks: We assume message-delay uncertainties to be negligible, and communication to be infrequent. The gradient property requires the difference between any two network nodes' clocks to be bounded from above by a non-decreasing function of their distance. This means that every node has to be synchronized better to nearby nodes than to ...Report -
FIFO Scheduling and Event Count Curves for Modeling Structured Event Streams in Modular Performance Analysis
(2009)TIK ReportThe growing complexity of distributed embedded real-time systems requires elaborate models and methods in their design process. While simulation does not sufficiently cover corner cases and may have excessive run times for complex systems, analytic methods for system level performance analysis have been established in the past. Their efficiency in computing hard bounds on buffer sizes, end-to-end delays or throughput has proven their ...Report