Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
Evaluating and possibly improving the fault tolerance and error detecting mechanisms is becoming a key issue when designing safety-critical electronic systems. The proposed approach is based on simulation-based fault injection and allows the analysis of the system behavior when faults occur. The paper describes how a microprocessor board employed in an automated light-metro control system has been...
In this paper we propose a systematic approach to mine quantitative association rules-association rules which contain quantitative attributes-using commercial mining tools. To achieve this goal, we first propose an overall working framework that consists of two steps: (1) a pre-processing step which converts quantitative attributes into binary attributes and (2) a post-processing step which reconverts...
Several data processing systems in a telecommunication enterprise rely on batch scheduling. The batch systems usually contain a large amount of data and require complex scheduling process. Using native job launchers like Cron cannot handle these requirements and will likely degrade performance and reliability of the system. In this paper we propose to custom-design a specific job scheduler with dynamic...
Software Testing is one of the indispensable parts of the software development lifecycle and structural testing is one of the most widely used testing paradigms to test various software. Structural testing relies on code path identification, which in turn leads to identification of effective paths. Aim of the current paper is to present a simple and novel algorithm with the help of an ant colony optimization,...
As the ubiquitous society matures, mobile phones are equipped with agents, which support users in selecting the appropriate course of actions, for example, by giving guidance on where to change trains. However, since human society becomes more and more complex and sophisticated, agents capable of understanding the situation of each user (action plan, preferences, location, etc.) and providing support...
The implementation of a verification environment to check the behavior of a device-under-test using SystemC infrastructure is presented in this paper. SystemC is generally adopted in a system-level design methodology because of the capability of architectural model description and hardware/software co-design. The verification system implemented in this paper can explore design space using SystemC...
The flow of universal system-level design methodology consists of system specification, system-level hardware/software partitioning, co-design, co-verification using virtual or physical prototype, and system integration. In this paper, hardware part and software part of a design are described with SystemVerilog and SystemC, respectively after hardware/software partitioning. The functional interaction...
Most of projects' cost exceeds 10% of yearly corporations' turnover, a major factor contributing to this loss is the overrun cost of software testing. A lot of events during software Quality Assurance(QA) cycles, the main execution part of testing process, lead the loss. Therefore, there is a great potential benefit to find a way to predict the loss when the risk events arise or when we know they...
A large portion of software project failures are caused by incomplete and incorrect requirements. Thus, requirement elicitation is a very critical step in the software development lifecycle. Information gathered from customers needs to be interpreted, analyzed and validated. Customers could hardly articulate their requirement accurately which may cause the misunderstanding. Furthermore, inconsistency...
Most reconfigurable processors are not fully controlled by software; they are reconfigured using hardware description languages. By moving the data paths into the processor, the system architect can discard the external control logic, the finite state machines and micro-sequencers. Examples for such a processor are the members of the Stretch family, Software Configurable Processors which have a reconfigurable...
Today, software system development (especially safety critical systems) is a complex task. Any bug in these systems may cause serious and costly problems. In this paper, we propose a formal and automatic approach to refinement of platform independent models to more platform specific ones. Using graph transformation systems as background formalism, we can validate the approach. For each level of abstraction,...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.