Programmers understand a piece of software by building simplified mental models of it. Aspects of these models lend themselves naturally to formalization - e.g., structural relationships can be partly captured by modu...
详细信息
ISBN:
(纸本)3540330933
Programmers understand a piece of software by building simplified mental models of it. Aspects of these models lend themselves naturally to formalization - e.g., structural relationships can be partly captured by module dependency graphs. Automated support for generating and analyzing such structural models has proven useful. For event-driven systems, behavioral models, which capture temporal and causal relationships between events, are important and deserve similar methodological and tool support. In this paper, we describe such a technique. Our method supports building and elaboration of behavioral models, as well as maintaining such models as systems evolve. The method is based on model-checking and witness generation, using strategies to create goal-driven simulation traces. We illustrate it on a two-lift/three-floor elevator system, and describe our tool, Sawblade, which provides automated support for the method.
Integration frameworks for building softwareengineering environments provide at least data, control and presentation integration facilities, together with integration devices which afford access to these facilities b...
详细信息
The potential benefits of evolving legacy systems to COTS-based component architectures are well documented These include rapid, non-intrusive modernization through the use of COTS software components, and significant...
详细信息
ISBN:
(纸本)9780769527857
The potential benefits of evolving legacy systems to COTS-based component architectures are well documented These include rapid, non-intrusive modernization through the use of COTS software components, and significantly reduced post maintenance costs. However, the hype has not translated to a corresponding increase in the migration of legacy systems to COTS-based architectures. There are two main reasons for this. First, many legacy systems provide adequate core functionality. For this type of legacy system, replacement may not be the most cost-effective solution. Secondly, there is a general lack of scalable methods and tools that support COTS-based evolution of legacy systems. This paper describes our experience in using a component-based method to evolve a legacy system.
Described is a laboratory which is being equipped and developed to provide softwareengineering/computer science majors with important hardware, instrumentation, and interfacing knowledge that many such majors do not ...
详细信息
Described is a laboratory which is being equipped and developed to provide softwareengineering/computer science majors with important hardware, instrumentation, and interfacing knowledge that many such majors do not gain during their undergraduate education. It is hoped that the experience that students will It is hoped that the experience that students will gain from this laboratory will prepare them for becoming members of computersystems development teams consisting of both hardware and software engineers. Each softwareengineering team member will be familiar with the hardware engineer's craft, thus allowing for effective, efficient working teams.
Aiming at the problem of image fusion method based on sparse representation being easy to lose image details,a fusion method based on double sparse representation in wavelet domain is ***,training images are transform...
详细信息
ISBN:
(纸本)9781467349970
Aiming at the problem of image fusion method based on sparse representation being easy to lose image details,a fusion method based on double sparse representation in wavelet domain is ***,training images are transformed into the wavelet domain and learning dictionary for each sub-band *** the double sparse representation coefficients for source images can be acquired by the learned dictionary and the coefficients being combined with the choose-max fusion ***,the fusion image is reconstructed by the inverse wavelet *** computer simulation results show that the proposed method performs very well in fusion both noiseless and noisy situations,and outperform conventional methods in terms of visual effect and quantitative fusion evaluation indexes.
many areas are currently experiencing rapid growth, requiring reliable and fault-tolerant software in general and, in particular, management systems. The most effective today is multiversion programming, one of the ap...
详细信息
ISBN:
(纸本)9781538620854
many areas are currently experiencing rapid growth, requiring reliable and fault-tolerant software in general and, in particular, management systems. The most effective today is multiversion programming, one of the approaches to improve the reliability of software by introducing redundancy. With this approach, there arises the problem of choosing the right variant from the collection by the answer of multiple versions, which is solved by various decision algorithms, most often based on voting. The reliability of this solution greatly affects the reliability of the redundant system as a whole. The article considers existing decision-making algorithms in multiversion execution environments and suggests own modifications of existing voting algorithms and t / (n-1) algorithm. A software implementation of the simulation environment that implements simulations of versions with specified characteristics and proposed modified algorithms is considered. The results of the simulation are considered, the dependence of the reliability indicators of the system on its input parameters is shown, a comparative analysis of various decision algorithms is made on the basis of simulation results. The obtained results show the effectiveness of the proposed modifications of the voting algorithms by an agreed majority and the specificity of the t / (n-1) decision algorithm, which makes sense to apply not in all systems. Most importantly, the simulation results show the possibility of creating a reliable system from not reliable software components, which is very important, especially for areas where there are currently no highly reliable algorithms or software components.
Model-View-Controller (MVC) is an established architectural design pattern for developing interactive, object-oriented applications. Numerous MVC-based application development approaches have been proposed in the lite...
详细信息
ISBN:
(纸本)9781467380133
Model-View-Controller (MVC) is an established architectural design pattern for developing interactive, object-oriented applications. Numerous MVC-based application development approaches have been proposed in the literature, the more recent of which incorporate the domain-oriented design approach. From the architectural design view point, however, domain-oriented design has only been applied at the component level. It has not been used to model the architecture itself. In this paper, we propose a novel tree-based, domain-oriented architecture to fill this gap. Our architecture models an application as a set of modules, each of which is a structured class whose parts are of three M-V-C classes. The controller is a class template whose template parameter is bound to the domain class of the module. Complex modules are designed using containment tree that is defined directly on top of the domain class design model. The architecture has been implemented in a Java-based software framework which is being used in various software development projects.
systems with tightly interacting computational (cyber) units and physical systems are generally referred to as cyber-physical systems. They involve an interplay between embedded systems, control theory, real-time syst...
详细信息
ISBN:
(纸本)9781467322973;9781467322966
systems with tightly interacting computational (cyber) units and physical systems are generally referred to as cyber-physical systems. They involve an interplay between embedded systems, control theory, real-time systems and softwareengineering. A very good example of cyber-physical systems design arises in the context of automotive architectures and software. Modern high-end cars have 50-100 processors or electronic control units (ECUs) that communicate over a network of buses such as CAN and FlexRay. In such complex settings, traditional control-theoretic approaches - where control engineers are only concerned with high-level plant and controller models - start breaking down. This is because implementation-level realities such as message delay, jitter, and task execution times are not adequately considered when designing the controller. Hence, it is becoming necessary to adopt a more holistic, cyber-physical systems design approach where the semantic gap between high-level control models and their actual implementations on multiprocessor automotive platforms is quantified and consciously closed. In this paper we give several examples on how this may be done and the current research challenges in this area that are being faced by the academia and the industry.
This paper reports on progress in the construction of an integrated tool environment for the migration of character-based panels of mainframe applications into graphical user interfaces. It presents our approach for s...
详细信息
ISBN:
(纸本)0818678933
This paper reports on progress in the construction of an integrated tool environment for the migration of character-based panels of mainframe applications into graphical user interfaces. It presents our approach for static analysis of character-based panels that is based on the identification of dialog entities in panels using generalized descriptions of panel areas and describes a tool supporting the identification process. The goal of our approach is to increase the level of automation in the migration process compared to existing migration tools.
暂无评论