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.
Automatic Custom Architecture Generator (ACAgen) is a C-to-Hardware toolset that aims to facilitate and automate the design and development of complex and heterogeneous embedded systems. Framework and algorithms to analyze the initial C code to be exploited in the hardware generation process are needed. Indeed, in the process of Custom Instruction integration within reconfigurable SoC, the initial...
This paper introduces a generic solution for gradually moving from a model of an embedded system to include embedded hardware and software components into the simulation of the model. Our technique enables combined execution (co-execution) of system components models expressed in the VDM-RT formalism with actual hardware/software realizations through the application of Hardware In the Loop (HIL) simulation...
The use of a managed, type-safe languages such as Java in realtime and embedded systems can offer productivity and, in particular, safety and dependability benefits over the dominating unsafe languages at reasonable costs. A JVM that has dynamic memory-management needs to provide an implicit memory-management strategy, that is, for example, a garbage collector (GC) or stack allocation provided by...
Small devices are running software ever more complex. In this scenario, which has been expanding with trends such Internet of Things (IoT) and Ubiquitous computing, becomes even more significant the process of debugging. The use of high-level language virtual machines (VM) on embedded systems can avoid issues on the portability, safety and memory management. However, it presents challenges for debugging...
The discussion on how to effectively program embedded systems has often in the past revolved around issues like the ideal instruction set architecture (ISA) or the best operating system. Much of this has been motivated by the inherently resource-constrained nature of embedded devices that mandates efficiency as the primary design principle.
Computer architects and researchers in the real-time domain start to investigate processors and architectures optimized for real-time systems. Optimized for real-time systems means time predictable, i.e., architectures where it is possible to statically derive a tight bound of the worst-case execution time. To compare different approaches we would like to quantify time predictability. That means we...
Due to continuous evolution of Systems-on-Chip (SoC), the complexity of their design and development has augmented exponentially. To deal with the ever-growing complexity of such embedded systems, we introduce, in this paper, an object-oriented approach to rapid SoC design using auto-generation of hardware custom instructions to simplify and accelerate the SoC design process. In our approach, a Data...
This paper proposes Anvil J, a novel technology developed to assist the development of software for predictable, embedded applications. In particular, the work focuses on the complexities of programming for heterogeneous embedded systems in an industrial context, in which the need for predictability is an important requirement. Anvil J converts architecturally-neutral Java code into a set of target-specific...
Access to hardware devices is an important requirement to be fulfilled by Java implementations targeting embedded systems because the interaction between the embedded system and the environment where it is inserted on is performed by these devices.In this paper we introduce a method for abstracting hardware devices to embedded Java applications. We have evaluated our method in terms of performance,...
In this paper, we introduce the implementation ofthe Sporadic Server algorithm at the user level in Real TimeJava. That is, we do not modify the specification of the JavaVirtual Machine (JVM) so our proposal runs without problemson every JVM with support for real-time scheduling. The paperin- cludes an experimental evaluation of the aperiodic handlingmechanism using as benchmark the one developed...
This article designs of a cross-platform streaming media player based on J2ME (Java 2 Micro Edition) platform in the embedded system, introduces the jitter buffer and the disorder treatment strategy. To improve the capability of realtime playing, the player uses hardware decoding. With the JNI (Java Native Interface) technology, the implementation, connecting with the local codes, is convenient.
Type-safe high-level languages such as Java have not yet found their way into the domain of deeply embedded systems, even though numerous attempts have been made to make these languages cost attractive. One major challenge that remains is the huge existing code base in many industries. Completely reengineering this code base is not viable for cost and time reasons. We present an approach that allows...
Virtual prototypes are simulators used in the consumer electronics industry. Transaction-level Modeling (TLM) is a widely used technique for designing such virtual prototypes. In particular, they allow for early development of embedded software. The SystemC modeling language is the current industry standard for developing virtual prototypes. Our experience suggests that writing TLM models exclusively...
This paper presents a novel, high performance and low cost execution architecture for the system level GALS programming language SystemJ, which extends Java with synchronous reactive features present in Esterel and asynchronous constructs of CSP (Communicating Sequential Processes). The new architecture is based on JOP (Java Optimized Processor), which is a hardware implementation of the Java Virtual...
This paper presents a significantly improved strategy for accelerating the method calls in the REALJava coprocessor. The hardware assisted virtual machine architecture is described shortly to provide context for the method call acceleration. The strategy is implemented in an FPGA prototype. It allows measurements of real life performance increase, and validates the whole co-processor concept. The...
Today's embedded systems have to fulfill sophisticated security requirements. They have a deep impact into the system's design. Security can only be achieved if security requirements are considered during the system-wide design and development process. In this concept work we propose a hardware/software codesign approach that addresses functional security requirements during all design and development...
Programming Wireless Sensor Networks (WSN) involves learning very different programming paradigms from those commonly used in the development of computer systems. Due to the lack of advantages obtained from the last generation high level programming languages, the growth of WSNs is significantly impeded. Programming WSN nodes requires knowledge of specific hardware which depends on the WSN architecture...
The design of modern embedded systems becomes more complex every day, due to the increasing amount of components and distinct functionalities incorporated into a single system. To address this situation, projects' abstraction level is continuously raised. In addition, techniques to speed up the code production process have emerged. These new trends lead to an important issue: the development of a...
Java is dominating in object-oriented computing. However, Java relies on Java Virtual Machine to process Java bytecodes, such that it imposes large overhead on the embedded system. In addition, as security is always a major concern in most of the networked computer systems, embedded systems should provide security features to defend against attacks. Many viruses use the security loopholes to trigger...
This research targets formal modeling of embedded systems capable of self-management. In our approach, we use the ASSL (Autonomic System Specification Language) framework as a development environment, where self-management features of embedded systems are formally specified and an implementation is automatically generated. ASSL exposes a rich set of specification constructs that help developers specify...
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.