ArtistDesign Noe jpia year 4
Design for Adaptivity Transversal Activity
Download 382.33 Kb.
|
- Navigate this page:
- 4.5.2Hardware setup to demonstrate self-protection and adaptability of embedded Real-Time Systems
- 4.5.3TrueTime
- 4.5.4Other Tools and Platforms
- 4.5.5Multimedia Use Case
- -- Changes wrt Y3 deliverable
4.5Design for Adaptivity Transversal Activity4.5.1SWEET (SWEdish Execution Time tool)Objectives SWEET is a WCET analysis tool. It is an academic prototype: the main objective is to use it as a test bench for methods in WCET analysis, and then mainly flow analysis to produce program flow constraints (upper bounds on # of loop iterations, information about infeasible paths, etc.). Main Results SWEET has been used to develop and test various methods for constraining program flow. It has also been used in industrial case studies. The results indicate that the developed methods do improve on the number of automatically detected program flow constraints, as well as on the precision of the resulting WCET bound. Recently, SWEET has been reengineered to use the “ALF” format for its flow analysis, and it has been provided with backends to generate program flow constraints for the commercial WCET analysis tools aiT and RapiTime from AbsInt GmbH and Rapita Systems Ltd, respectively. Translators to ALF from C, and the PPC and NECV850 binary formats, have been implemented as well. Current work A version of SWEET that performs parametric WCET analysis has been implemented. This version handles arithmetic wraparounds correctly. An alternative C-to-ALF translator, which uses the LLVM compiler framework, has also been implemented. Participating partners:
Maintains and develops SWEET, develops methods for parametric WCET analysis.
LLVM to ALF translator, use of SWEET. Web http://www.mrtc.mdh.se/projects/wcet/sweet.html 4.5.2Hardware setup to demonstrate self-protection and adaptability of embedded Real-Time SystemsObjectives A demonstrator for self-protection and adaptability in real-time systems is being developed. It demonstrates the feasibility and cost of run-time adaptation and protection with respect to performance metrics such as end-to-end latencies. Furthermore, the demonstrator acts as a platform to evaluate performance of the proposed methodologies. Main Results The demonstrator consisting of a timing sensitive control application as well as a second disturbing application (audio streaming) has been completed and is used to show self-protection (audio streaming is denied access to the system) as well as self-configuration using the optimization techniques developed last year (audio streaming is allowed at low priority). The demonstrator has been extended by a memory protection scheme using the available MMU of the PPC603e core, which efficiently isolates the runtime environment from user applications as well as user applications from each other. Participating partners:
Related Publications Moritz Neukirchner, Steffen Stein, Harald Schrom, Johannes Schlatow, Rolf Ernst. Contract-Based Dynamic Task Management for Mixed-Criticality Systems, 6th IEEE International Symposium on Industrial Embedded Systems (SIES), 2011 Moritz Neukirchner, Steffen Stein, Rolf Ernst. The EPOC Architecture – Enabling Evolution under Hard Constraints. In Organic Computing – A Paradigm Shift for Complex Systems, Birkhäuser Science, 2011 4.5.3TrueTimeObjectives To provide a flexible simulation platform for networked embedded real-time systems with a particular focus on control applications. TrueTime implements simulation models for a multi-tasking real-time kernel and data link layer network protocols that execute embedded in the Matlab/Simulink environment. Using TrueTime it is possible to experiment with adaptive resource management and network protocols and investigate how this influence application performance. Current work
Interoperability The TrueTime simulator from ULUND will be part of the META integrated tool chain for model-based development of cyber-physical systems, currently being developed by Vanderbilt University within the DARPA project AVM (Adaptive Vehicle Make). Adaptivity is a cross-cutting property that affects all the stages of embedded system development. The tools and platforms listed in the Adaptivity deliverable all address quite separate parts of embedded system design, so separate that tool interoperability is not a realistic issue.
Web http://www3.control.lth.se/truetime/ 4.5.4Other Tools and PlatformsFault Tolerant Nostrum (KTH) The KTH Network-on-Chip has been developed into a complete fault tolerant platform, based on adaptive routing, that can tolerate transient, intermittent, and permanent faults with a combination of techniques at the link, the network and the transport layer. The cost-performance-robustness trade-off is appealing. With added area cost of around 10% a significant number of faults can be tolerated with low performance and power penalty. Web site: http://www.ict.kth.se/nostrum
SPARTS aims at providing a solid framework to simulate scheduling mechanisms and power management strategies of a generic real-time device. This does not provide an ISA, but rather captures behaviour via abstract parameters, like execution time of a particular job, concrete inter arrival time of a job. Great care was taken to model overheads in the system when it comes to power management and context switches and such. Additionally a focus was set on the difference between worst-case task parameters and concrete parameters of a specific job of that task. http://www.cister.isep.ipp.pt/projects/sparts/
Directory: docs -> Events -> 2012 -> ArtistDesign Y4 Review -> Deliverables -> reference versions docs -> Traditional British values docs -> From Warfighters to Crimefighters: The Origins of Domestic Police Militarization docs -> Borzoi Club of America Register of Merit Program I. What is a Register Of Merit docs -> Protecting the rights of the child in the context of migration docs -> United Nations E/C. 12/Esp/5 docs -> 9th May 1950 the schuman declaration docs -> Getting To Outcomes® in Services for Homeless Veterans 10 Steps for Achieving Accountability reference versions -> Cluster: Hardware Platform and mpsoCs D13- 2)-Y4 reference versions -> Cluster: Modeling and Validation D6- 2)-Y4 Events -> Augmented Reality Games Sources Download 382.33 Kb. Share with your friends:
|