Auflistung P200 - ARCS 2012 Workshops nach Erscheinungsdatum
1 - 10 von 43
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragRun-time dynamic data type transformations(ARCS 2012 Workshops, 2012) Papadopoulos, Lazaros; Bartzas, Alexandros; Soudris, DimitriosIn the last years, complex applications from various domains are implemented in embedded devices. These applications make extended use of the dynamic memory to store dynamically allocated data structures. The implementation of these data structures affects the performance and the memory usage of the embedded system. A methodology for selecting the appropriate data structures at design time is the Dynamic Data Type Refinement (DDTR) methodology. In this paper we present an extension to this approach, by presenting a methodology for adapting the dynamic data structure implementations to the requirements of the embedded system at runtime. By implementing the proposed methodology to a set of various applications from different domains, we achieve a dynamic memory size reduction up to 32%.
- KonferenzbeitragTwo-way-compiler: additional data saving for generating the original source code of a binary program(ARCS 2012 Workshops, 2012) Obermann, Dennis; Börcsök, JosefThe Two-Way-Compiler is an approach to show the equivalence between implemented source code and the generated binary program for safetyrelated software. A compiler which translates a source code into a binary program and restores the original source code out of the generated binary program exactly, like a decompiler, is described. Data that are required to build the original source code back again are especially examined in this paper. Some data are contained in the binary itself and other data lost during compilation. The lost data have to be collected and stored in the binary. With these additional data the decompiler can restore the binary program to the original source code.
- KonferenzbeitragQoS-based testing and selection of semantic services(ARCS 2012 Workshops, 2012) Schaefer, Jan; Kroeger, Reinhold; Meixler, Simone; Brinkschulte, UweThe importance of context-awareness is constantly increasing. Users want systems to react dynamically to their current context (e.g. their location). For emerging home service platforms, this represents a key element, as it allows systems to increase the users' comfort tremendously by acting on sensed and deducted situations. As such systems feature a lot of dynamic interaction between services, it has to be ensured that service selections and bindings simply work. This paper proposes an approach for QoS-based testing and selection of semantic services, which employs a service tester that uses genetic algorithms to check and monitor QoS properties. These properties are used to complete the semantic descriptions of services running on the platform, which are managed by a semantic service registry.
- Editiertes BuchARCS 2012 Workshops(2012)
- KonferenzbeitragThe spectral relation between the cube-connected cycles and the shuffle-exchange network(ARCS 2012 Workshops, 2012) Riess, Christian; Strehl, Volker; Wanka, RolfWe investigate the relation between the spectral sets (i. e., the sets of eigenvalues, disregarding multiplicities) of two d-dimensional networks popular in parallel computing: the Cube-Connected Cycles network CCC(d) and the Shuffle-Exchange network SE(d). We completely characterize their spectral sets. Additionally, it turns out that for any odd d, the SE(d)-eigenvalues set is precisely the same as the CCC(d)- eigenvalues set. For any even d, however, the SE(d)-eigenvalues form a proper subset of the set of CCC(d)-eigenvalues.
- KonferenzbeitragModel-based testing of autonomous systems based on coloured Petri nets(ARCS 2012 Workshops, 2012) Lill, Raimar; Saglietti, FrancescaThe use of autonomous systems, including cooperating agents, is indispensable in certain fields of application. Nevertheless, the verification of autonomous systems still represents a challenge due to lack of suitable modelling languages and verification techniques. To address these difficulties, different modelling languages allowing concurrency are compared. Coloured Petri Nets (CPNs) are further analysed and illustrated by means of an example modelling autonomous systems. Finally, some existing structural coverage concepts for Petri Nets are presented and extended by further criteria tailored to the characteristics of CPNs.
- KonferenzbeitragEvaluating run-time resource management policies for multi-core embedded platforms with the EMME evaluation framework(ARCS 2012 Workshops, 2012) Mariani, Giovanni; Palermo, Gianluca; Zaccaria, Vittorio; Silvano, CristinaToady's embedded computing electronic products are based on multi-core platforms and they are capable to concurrently execute different applications. For these products it is of paramount importance that a Run-time Resource Management (RRM) system integrated in the Operating System (OS) arbiters about resource allocation to the active applications. The RRM should take decisions at run-time to maximize platform performance and minimizing non-functional costs such as power consumption or memory requirements. However, embedded system design covers a broad range of applications and the customer requirements are very different depending on the target device. In general there is not an unique RRM that best fits in all possible embedded scenarios. This paper presents the EMME Evaluation Framework, an open source tool that provides a methodology and the accompanying infrastructure to quickly explore the effects of different RRM systems for a target use case scenario. The tool aims at the analysis of different figures of merit of the system being designed such as the applications' response time, system throughput and power consumption. Different RRM modules are released with the framework. These modules implement different RRM policies that define how to allocate computing resources to the active applications while fitting in a power budget that is assumed assigned by other layers of the OS.
- KonferenzbeitragFast scenario-based design space exploration using feature selection(ARCS 2012 Workshops, 2012) Stralen, Peter van; Pimentel, AndyThis paper presents a novel approach to efficiently perform early system level design space exploration (DSE) of MultiProcessor System-on-Chip (MPSoC) based embedded systems. By modeling dynamic multi-application workloads using application scenarios, optimal designs can be quickly identified using a combination of a scenario-based DSE and a feature selection algorithm. The feature selection algorithm identifies a representative subset of scenarios, which is used to predict the fitness of the MPSoC design instances in the genetic algorithm of the scenario-based DSE. Results show that our scenario-based DSE provides a tradeoff between the speed and accuracy of the early DSE.
- KonferenzbeitragResilient data encoding for fault-prone signal transmission in parallelized signed-digit based arithmetic(ARCS 2012 Workshops, 2012) Neuhäuser, David; Zehendner, EberhardWhen arithmetic components are parallelized, fault-prone interconnections can tamper results significantly. Constantly progressing technology scaling leads to a steady increase of errors caused by faulty transmission. Resilient data encoding schemes can be used to offset these negative effects. Focusing on parallel signed-digit based arithmetic frequently used in high-speed systems, we propose suitable data encodings that reduce error rates by 25%. Data encoding should be driven by the occurrence probabilities of digits. We develop a methodology to obtain these probabilities, show an example fault-tolerant encoding, and discuss its impact on communicating parallel arithmetic circuits in an example error scenario.
- KonferenzbeitragA network perspective on software modularity(ARCS 2012 Workshops, 2012) Zanetti, Marcelo Serrano; Schweitzer, FrankModularity is a desirable characteristic for software systems. In this article we propose to use a quantitative method from complex network sciences to estimate the coherence between the modularity of the dependency network of large open source JAVA projects and their decomposition in terms of JAVA packages. The results presented in this article indicate that our methodology offers a promising and reasonable quantitative approach with potential impact on software engineering processes.