The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In this session, the first paper presents a contribution which can be used to easily create customized portfolio solvers. Specifically, the metaSMT framework is extended with a SMT-LlB2 parser and a TCP server/client architecture, which allows for deciding SMT instances simultaneously with multiple solvers. The second paper makes a structured presentation of different parallel SystemC simulation approaches...
The WiP session aims to present innovative ideas which are - though not fully mature - able to inspire new ideas and to stimulate controversial discussions. The first paper proposes an API for annotating and monitoring power and energy in system level design models. It addresses heterogeneous designs and claims to be very flexible and thus applicable to various SLDL (e.g. SpecC or SystemC). The second...
SystemC has been proven as a strong technology for heterogeneous system modelling, efficient simulation, static and dynamic analysis, and model transformation fostering the needs for design validation and design space exploration. The first paper in this session describes a SystemC-based framework for modeling communication at different layers using SystemC AMS and TLM extensions, demonstrated by...
This session addresses predictability in the behavior of embedded systems in several ways. The first paper proposes a SystemC based modeling and simulation framework for time-triggered safety-critical embedded systems. The second one presents a methodology to model analog faults on the behavioral level to evaluate safety goal violations in automotive systems. Finally, the third paper presents a SystemC-based...
This session of three papers addresses the various forms of consistency checking in model based engineering. Within model based engineering, systems are modelled from different views. A different formalism is often used for each perspective, and those models then need to be internally consistent in order for a correct and effectively realizable design. The first paper covers the incremental refinement...
This session investigates different parallel architectures including GPUs, manycore SoCs, and manycore virtual platforms. Topics such as distributed simulation, task and communication migration as well as code synthesis are explored on these parallel architectures.
This session explores different aspects of power, which need to be modeled to enable a power-aware design of today's highly complex embedded systems. The first paper presents a new power-aware methodology for early specification, design-space exploration and verification of the designs' power properties using so-called Power Contracts. The latter provides a formal link between the bottom-up power...
No part of the work may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, microfilming, recording or otherwise, without written permission from the Publisher, with the exception of any material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the...
This session considers various approaches to the formalization of requirements specifications. Natural language properties can be automatically translated into formal language properties in certain circumstances. The relationships between requirements can be formalized in graphical notation. The success of temporal property languages in the hardware domain inspires the application of similar ideas...
System Level Description Languages (SLDL) emerged a decade ago for high-level System-on-Chip (SoC) design and efficient design space exploration. Initially performance and area constraints were the major concerns. Nowadays the shrinking of transistor size has brought power and temperature to top of the list of designer concerns. Although SLDLs are welldefined for functional and timing modeling, the...
The paper proposes a concept that aims at putting the design of embedded systems at a new, higher level of abstraction. Until now, there is a gap of several weeks of modeling efforts between an initial block diagram sketched on a blackboard and first executable models for e.g. architecture exploration and virtual prototyping. Being able to simulate during or short after initial discussions would be...
The Forum on specification & Design Languages (FDL) is a well-established international forum devoted to the dissemination of research results, practical experiences, and new ideas in the application of specification, design, and verification languages to the design, modeling, and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems. Modeling...
Various problems from artificial intelligence and formal methods are solved utilizing Satisfiability Modulo The- ories (SMT) solvers. Selecting the best SMT solver for a specific application, however, is a daunting task. In this paper, we present the novel metaSMT TCP server and client architecture which can be used to solve SMT instances expressed in SMT-LIB2 by multiple solver processes in parallel...
Data races are one of the most common problems in concurrent programs. As SystemC standard allows nondeterministic scheduling of processes, this leads to data races. Hence, different executions of the same concurrent program may lead to unexpected results due to race conditions. We develop a hybrid dynamic data race detection algorithm for SystemC/TLM designs that adopts the well-studied dynamic race...
Modeling languages such as SysML provide various description means for a precise specification of the desired system. As a system model typically uses multiple diagram types focusing on different aspects, it is crucial to keep them consistent to each other. In this paper, we propose a verification methodology which ensures the consistency between activity diagrams as blueprints for the implementation...
The design of wireless embedded systems needs their efficient and realistic simulation to verify that requirements are met. The reproduction of communication behavior is crucial to assess the performance of hardware and software components, e.g., dependability and energy consumption. This work presents and discusses different levels of abstraction for the simulation of the communication behavior....
Power densities and thermal hotspots are a major concern for the dependability of future multi-processor systemon- chip. They can lead to transient faults affecting the functionality in the short term and can cause permanent damage of a device. The dependability problem can be tackled on different layers such as technology hardening or application awareness. This work is based on an approach that...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.