Search
Results
-
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 -
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 -
Modular Performance Analysis of Cyclic Dataflow Graphs
(2009)TIK ReportApplications for parallel and distributed embedded systems are often specified as dataflow graphs with dependency cycles. Examples of corresponding models of computation are marked graphs or synchronous data flow graphs. Performance analysis is often used in the exploration of different implementation alternatives or in order to provide guarantees on the timing behavior. This paper describes a new approach to the modular performance ...Report -
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 -
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