This paper presents a simulation environment, which is a C++/SystemC based integrated framework for functional verification of designed components or electronic architectures and enhances the existing computer archite...
详细信息
This paper presents a simulation environment, which is a C++/SystemC based integrated framework for functional verification of designed components or electronic architectures and enhances the existing computer architecture simulation tool named sefca. As the VHDL sources are converted to SystemC it is sufficient for verification engineers to have a fundamental knowledge of C++ and the SystemC library. The testbench framework uses the same graphical user interface (GUI) based on the wxPython library, which was presented in the sefca tool. Verification of the design is supported by the SystemC verification library (SCV). Inter-Process-Communication is used to send the stimuli for simulation input from the GUI to the simulation process and the simulation results back to the online viewer in the GUI. With these enhancements sefca becomes a universal tool for testing the software and the hardware part of a new design at the same time. Working on the transaction level model (TLM) the proposed methodology offers a high performance and a high level of abstraction.
Software-Engineering is very important today. In industry (specifically by software critical system) it is important to produce high reliable software, i.e. software with low proportion of faults. To produce such reli...
详细信息
Software-Engineering is very important today. In industry (specifically by software critical system) it is important to produce high reliable software, i.e. software with low proportion of faults. To produce such reliable software, a long handling process is required, and because this process consumes a large amount of time and resources to achieve the desired reliability goals it is useful to use Software Reliability Stochastic Models to predict the required software testing time. In this paper a new approach to reflecting the residual number of critical failures in software-systems is introduced. There are currently very few processes enabling us to predict the reliability of the critical failures or the critical failure rate for critical systems. Furthermore, we will focus on distinguishing the critical failures in the software. We will thus distinguish both critical as well as non-critical failures in the Software. Therefore it is important to divide the process into two classes, detection- and correction class. To develop an approach it is necessary to determine corresponding distribution functions and model assumptions.
Data obtained from the scientific experiments are heterogeneous and distributed. They are stored in different file formats so it is difficult to be integrated, analyzed, processed and visualised. Scientific experiment...
详细信息
Data obtained from the scientific experiments are heterogeneous and distributed. They are stored in different file formats so it is difficult to be integrated, analyzed, processed and visualised. Scientific experiments require effective and efficient data management. In this paper an approach to convert raw data obtained from scientific experiments into relational database using XML based description is proposed. The approach is tested and verified by database and web service implementations. The implemented web service provides authorized access to the experimental data. In order to provide a secure data transmission and data access the database is encrypted through an asymmetric 128-bit encrypting method implementation based on public and private key. A number of experiments using specific scientific data obtained from various experimental instruments are conducted to illustrate the usage of the proposed approach.
New technique for computer system Trojan diagnosis in monitor mode which uses fuzzy logic and allows improving reliability and efficiency is developed.
New technique for computer system Trojan diagnosis in monitor mode which uses fuzzy logic and allows improving reliability and efficiency is developed.
When dealing with complex systems design and application the notion of ontologies helps the process of application integration. To solve the problems with discover, interpret and reuse data we have to recognize ontolo...
详细信息
When dealing with complex systems design and application the notion of ontologies helps the process of application integration. To solve the problems with discover, interpret and reuse data we have to recognize ontology as a concept that formalizes the management and integration of information, services and processes. In this paper we present our work towards the development and evaluation of scientific data ontology that helps the system integration architect achieve interoperability between different systems.
In the standard IEC 61508 miscellaneous architectures for safety related systems are introduced. Depending on the required safety, reliability and availability levels several architectures such as 1oo2-, 2oo2-, 1oo3-,...
详细信息
In the standard IEC 61508 miscellaneous architectures for safety related systems are introduced. Depending on the required safety, reliability and availability levels several architectures such as 1oo2-, 2oo2-, 1oo3-, and 2oo3-architectures can be selected. In this paper, the concept and calculation of a novel architecture is presented. The 1oo4-architecture (one out of four) represents an advanced safety architecture, which is 3-failure safe. This means that at least one of the four channels have to work correctly in order to trigger the safety function. In order to classify the quality of the proposed architecture for safety related systems the PFD-value is calculated. Additionally, the Markov-model for a 1oo4-architecture is introduced and the MTTF-value for this architecture is calculated. The results are high safety and high reliability.
This paper is concerned with the design procedures of an automated testing tool, developed in Matlab ® /Simulink ® environment, that performs software verification during runtime on a PLC (Programmable Logi...
详细信息
This paper is concerned with the design procedures of an automated testing tool, developed in Matlab ® /Simulink ® environment, that performs software verification during runtime on a PLC (Programmable Logic Controller) or so called HiL test (Hardware-in-the-Loop) for model-based development of control applications. In addition to checking the “semantic” or “functional” correctness of the automatically generated C++ - Code with RTW (Real Time Workshop ® ) for algorithms designed and developed in Simulink ® on hardware targets, the tool compares results obtained from the HiL test with the results of the MiL test (Model-in-the-Loop) performed in early stage of development for the same developed application. The main purpose behind this work is to develop reliable software that fulfil system requirements and to test its behaviour during realtime hardware simulation, in order to achieve the validation step which represents the terminating - step of almost all projects.
A data security and validation framework of a SOA based system for management, storage, processing and visualization of data obtained from scientific experiments is proposed in this paper. The framework covers the thr...
详细信息
A data security and validation framework of a SOA based system for management, storage, processing and visualization of data obtained from scientific experiments is proposed in this paper. The framework covers the three levels of data security: authorized user access, data encryption and data validation. To ensure authorized user access three access levels are provided: ownership, distribution rights and read rights. To ensure the data encryption an asymmetric 128-bit encrypting method based on public and private key is implemented. A universal approach for complete data validation has been suggested and implemented as web service. Data validation service allows validating the input data processed by each of the modules in the system. A declarative language defining the data validation and their interpretation based on XML standard is specified, by which precise rules in XML format are established and simultaneously with a library that supports this grammar is performed. In the language structures are included elements describing the data, rules and logic, which have to satisfy the input data. The actual definition is supported by a definition repository XML file and allows adding additional field types or complex validation logic as needed and easy modification of the validation rules.
The purpose of the automatic conversion of scientific data into canonical format is to provide a link between raw representation of data and database schemas. On the basis of these concepts Web services are developed ...
详细信息
The purpose of the automatic conversion of scientific data into canonical format is to provide a link between raw representation of data and database schemas. On the basis of these concepts Web services are developed for automatic XML description. They describe structurally and semantically scientific data and the conversion of the raw data layout description into canonical form based on data semantics. The canonical form looks like a relational data model where efficient methods for storage and retrieval of scientific data have been used. This paper describes the implementation of the converter compiler of raw scientific data layout description into canonical format. Using canonical XML form we have achieved better standardization of the input for data manipulation and visualization routines and minimization of their number.
Determination of quality in software engineering requires several activities such as testing, verification, inspection and software fault prediction. One objective in software quality estimation research is to predict...
详细信息
Determination of quality in software engineering requires several activities such as testing, verification, inspection and software fault prediction. One objective in software quality estimation research is to predict the fault-prone modules before the next release of software. There are many software fault prediction models that use machine learning algorithms. However, ensemble learning algorithms are infrequently used in software quality prediction systems. The aim of this study is to develop a random subspaces classifier ensemble framework to improve software fault detection ability of miscellaneous machine learning algorithms.
暂无评论