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.
The development of cyber-physical systems (CPSs) is a multi-disciplinary process. A model-based approach during the design of a system is important for making design decisions during the exploration of alternatives. However, all disciplines use different modelling tools and techniques, which makes the integration of these models difficult and time-consuming. The use of the High Level Architecture...
Modern software for the development of augmented and virtual reality applications is designed with the aim to simplify its usability in order to provide services to a wider user base. The main purpose of our work is the implementation of a new approach for the simplification of the replacement and the reconfiguration of a simulation framework's subsystems. After a reconfiguration it is necessary to...
Security in software applications is frequently an afterthought. Even if developers are aware of security policies and software vulnerabilities, they possess little knowledge of how to implement security polices while developing applications. In addition, the lack of support for tools and security automation makes it more challenging to incorporate security policies. In this paper we have proposed...
We present our Abstraction Layer Object-Oriented Architecture (ALOOA) and its application to Motion Control. This layer provides a higher level of abstraction than that provided by the well-known PLCOpen library. In fact, the proposed approach uses OO features (i.e. methods, inheritance, and polymorphism) which allow us to define a generic device of motion control, whose hardware-dependent implementation...
Framework is a way of reusing the design of whole system or part of it, which is considered as the most effective way now in software engineering. The trend of automatic test system (ATS) software is becoming more and more complex. In response to this trend and to improve the efficiency of its software development, combined with the technology related to software engineering and automatic test technology,...
Analysis of formally specified Component Based Software (CBS) provides a concrete way to represent the requirements from both system and user. A CASE tool makes a development more powerful and gives a graphical effect by which a user can easily visualize the fact. Powerful CASE tools for CBS are useful to improve the developer productivity and ensure the syntactical correctness of the CBS model for...
For estimating software, system size is the main parameter of the system development effort. It affects substantially on accurate estimation of effort of development. The Predictive Object Point (POPs) input gives an estimate of the size of the software for which the estimation is required. POPs are a metric suitable for estimating the size of object oriented software, based on the behaviors that...
This paper presents object-oriented design of library meant for modeling and simulating Timed Colored Petri Net models. The approach is prepared to integrate TCPN models with crucial parts of larger applications implemented in object-oriented languages. The formal models can be tightly joined with applications allowing the latter to interpret states of the formal model in their domain of responsibility...
Considered the traditional methods of construction enterprise information systems architecture. The basic drawbacks of existing methods. Proposed architecture is based on design patterns and unit of storage. The results of a tool that automates the use of the proposed technology for the integrated development environment.
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...
With the development of electronics, the design of hardware becomes more and more complicated, which increase the difficulty of validation accordingly. Hardware and software design cooperatively on simulation and verification, which not only solve the problems of Hardware Model on higher levels, but it also has become a popular design method. The effectiveness of programming languages on system-level...
With the research and development of information integration platform in smart grid, the configuration for dynamic modeling database and some advanced features also made new demands. In comparing the existing cross-platform GUI development tools the pros and cons, the proposed configuration using Qt to develop software, and briefly describes the features of Qt and Qt-based development approach. It...
Generated test cases are good at systematically exploring paths and conditions in software. However, generated test cases often do not make sense. We adapt test case generation to follow patterns of common object usage, as mined from code examples. Our experiments show that generated tests thus (a) reuse familiar usage patterns, making them easier to understand and (b) focus on common usage, thus...
In view of university multi-school district coexisting and many libraries distributed in the different school district, system hardware cost is high, the load of system maintenance is big, the extendibility of system is bad, so we develop library management system's modeling research based on the Web. In the modeling process, we use the UML standard modeling technology to construct system's structure...
MEG (Mu to Electron Gamma) is an experiment dedicated to search for the μ+ → e+γ decay that is strongly suppressed in the Standard Model. MEG is a small-size experiment (≈ 50-60 physicists at any time) with a life span of about 10 years. The limited human resource available, in particular in the core offline group, emphasized the importance of reusing software and exploiting already existing expertise...
The component-based approach to software design and development is being focused on. By analyzing the main ideas of this approach, their currently existing implementations, their limitations and promising lines of development we suggest a new component architecture which extends capabilities of existing component technologies. The main principles for building such architecture are described.
In order to realize the full potential of software reuse, effective search techniques are indeed essential. In this paper, we propose a semantic-based approach for retrieving relevant components from a reuse repository. This approach utilizes an ontology model that includes a source-code ontology, a component ontology, and a domain-specific ontology. Due to the indexing and knowledge population mechanisms...
Software asset repository, a treasure house of knowledge in software industry, is a primary infrastructure of Asset-Based Software Engineering. Now asset repositories are usually built into isolated islands and are browsable or searchable only by people, which has substantially reduced their functionality and greatly hindered the reuse in practice. Based on service-oriented approach, we proposed a...
Software asset repository is a primary infrastructure of Asset-Based Software Engineering. Now asset repositories are usually built into isolated islands and are browsable or searchable only by people, which has substantially reduced their functionality and greatly hindered the reuse in practice. Based on service-oriented approach, we proposed a lightweight open framework for sharing reusable assets...
This paper addresses the need to increase the effectiveness and productivity of independent verification and validation (IV & V) of complex system-of-systems software via software reuse. It builds upon our previous work on reusing the system reference model (SRM) artifacts in the IV & V of system-of-systems software and presents a framework for organizing the reusable artifacts according to...
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.