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.
This project aims at the design of new instrumentation techniques for studying the electrical properties of the cell as a means of better understanding the cellular transport processes. The approach is to integrate the concept of a lock-in amplifier on a single-electrode platform. Switching sinusoidal excitations can be used to assess small but measurable changes of cell capacitance, which can be...
The paper describes the hardware implementation and optimization of algorithms that process tree-like data structures which are needed for numerous practical applications in such areas as databases, embedded systems, and networks requiring priority management. The emphasis is done on applications that involve fast processing of new incoming data items, such as resorting. Parallelism is achieved by...
Aiding by some function provided with PROTEUS, such as schematic editor, circuit simulation, digital and analog circuit analysis and simulating capabilities of the ATmega microcontroller. This paper has realized code debugging, circuit design and verification, and functional debugging of intelligent closestool based on ATmega128. Through the use of EDA software to change the traditional design and...
Ensuring functional correctness of hardware and software is a bottleneck in every design process of Embedded Systems. This paper proposes an approach to formally verify low-level software in conjunction with the hardware. The proposed approach is based on Interval Property Checking (IPC) that has proved successful on large industrial hardware designs. In this paper, IPC is extended by a specific abstraction...
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...
Demands on development process of embedded systems are increasing. To address these demands we can for example use different agile methodologies. Agile methodologies often try to eliminate different development risks as early as possible in development cycle. Solution can be a working model or prototype of at least critical system parts. Functional languages are very attractive from this perspective...
The paper presents Deeds, an educational tool for digital design. Deeds covers combinational and sequential logic networks, finite state machines, microcomputer assembly programming and interfacing. It provides quasi-professional simulation features with an extremely simple user interface. Deeds can be seen as a learning environment based on three simulators integrated together, associated with a...
The embedded system software field becomes one of the most competitive areas due to the increase of the progress of embedded system technology. This paper concerns some of the challenges that face the embedded software developer. Hardware modeling (Virtual Device) of DC/AC power inverter using Unified Modeling Language (UML) and C++ language to verify the controlling software is proposed. Embedded...
With the continuing rise in the complexity of embedded systems, there is an emerging need for a higher level modeling environment that facilitates efficient handling of this complexity. The aim here is to produce such a high-level environment using model- driven development (MDD) techniques that map a high-level abstract description of an electronic embedded system into its low-level implementation...
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.