Search
Results
-
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 -
Modeling Hierarchical Event Streams in System Level Performance Analysis
(2008)TIK ReportThe growing complexity of embedded real-time systems requires elaborate methods in their design process. While simulation does not sufficiently cover corner cases, 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 usefulness. One of the major drawbacks of these methods are the limited system ...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 -
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 -
The System Development Lifecycle - Learning from a Sensornet Review
(2008)TIK ReportWireless Sensor Networks (WSNs) have been promised a bright future and economic potential. Since the vision of ’Smart Dust’, the field has largely progressed: Miniaturization, integration and advances in MEMS technology have significantly stimulated research efforts. While there has been a lot of progress in theoretical work and system optimizations, actual deployments have been non- or underperforming. The realism of the deployments has ...Report -
NoSE: Neighbor Search and Link Estimation for a Fast and Energy Efficient Initialization of WSNs
(2008)TIK ReportWith numerous application-specific low-power protocols being developed over the past years the design space has been widely covered. However, not much attention has been paid to the start up and initialization phase of a low-power protocol stack, e.g. when the actual start of the application is delayed by a long installation and deployment phase. In this paper we present NoSE, an extension to existing protocols that optimizes operation ...Report -
On Set-Based Multiobjective Optimization
(2008)TIK ReportAssuming that evolutionary multiobjective optimization (EMO) mainly deals with set problems, one can identify three core questions in this area of research: (i) how to formalize what type of Pareto set approximation is sought, (ii) how to use this information within an algorithm to efficiently search for a good Pareto set approximation, and (iii) how to compare the Pareto set approximations generated by different optimizers with respect ...Report