An algorithm is presented which has the purpose of allowing the search of a non-homogeneous database which contains engineering design information and other data relevant to the engineering design process. The purpose...
详细信息
An algorithm is presented which has the purpose of allowing the search of a non-homogeneous database which contains engineering design information and other data relevant to the engineering design process. The purpose of this work is to develop a system which improves the design process by providing a quick access mechanism to heterogeneous complex knowledge. The algorithm is based on a new type of fuzzy query (i.e. iterative, ranked retrieval) from an exclusive, partitional, spatial database. A prototype system which implements a small database and this retrieval from a PLOP hashing database is described, and an example is presented which demonstrates its application.
Integration testing is an important part of the testing process, but few integration testing techniques have been systematically studied or defined. This paper presents an integration testing technique based on coupli...
详细信息
Integration testing is an important part of the testing process, but few integration testing techniques have been systematically studied or defined. This paper presents an integration testing technique based on couplings between software components. The coupling-based testing technique is described, and coverage criteria for three types of 12 coupling levels are defined. This technique can be used to support integration testing of software components, and satisfies part of the FAA's requirements for structural coverage analysis of software.
作者:
Wijs, AntonFokkink, WanCWI
Department of Software Engineering P.O.Box 94079 1090 GB Amsterdam Netherlands Vrije Universiteit Amsterdam
Department of Computer Science De Boelelaan 1081a 1081 HV Amsterdam Netherlands
In this paper we first give short overviews of the modelling languages timed χ (χt) and μCRL. Then we present a general translation scheme to translate χt specifications to μCRL specifications. As χt targets per...
详细信息
The emergence of large-scale distributed platforms, such as cloud and fog environments, as well as the increasing complexity of the workloads processed on such resources, have made imperative the utilization of effect...
详细信息
ISBN:
(纸本)9781728165448
The emergence of large-scale distributed platforms, such as cloud and fog environments, as well as the increasing complexity of the workloads processed on such resources, have made imperative the utilization of effective scheduling techniques. In this paper, we study and analyze multi-criteria scheduling of complex workloads on distributed resources. The workloads consist of multiple-task applications with different characteristics. Simulation is employed in order to evaluate the system performance. The simulation results reveal that the performance of the utilized scheduling techniques is depended on the employed routing strategies and the variability of the processor service times.
Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of dependability, such as predictability, ava...
详细信息
ISBN:
(纸本)9780769543796
Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of dependability, such as predictability, availability, and security. In component-based systems, these challenges are exacerbated since the tradeoffs must faithfully be reflected within the complex metadata descriptors used to compose, deploy and configure the system. The benefits of design-time approaches to address these problems are well-understood. Existing model-driven design-time tools for developing dependable systems, however, focus largely on only one dependability attribute at a time and lack of extensibility results in rigid and hard to maintain tool support. This paper describes MoPED (Model-based Provisioning Engine for Dependability), which is a model-driven framework that unifies reasoning about predictability, availability, and security requirements for developing dependable component-based DRE systems. We evaluate the capabilities of MoPED using a representative case study and show how it alleviates complexities in the design of dependable systems and reduces manual efforts in the deployment phase by an order of magnitude.
To address complex issues associated with the practical applications of brain-computer interface systems, we have developed a novel biorobotic system. We combine neurophysiological recordings in trained rats chronical...
详细信息
ISBN:
(纸本)0780375793
To address complex issues associated with the practical applications of brain-computer interface systems, we have developed a novel biorobotic system. We combine neurophysiological recordings in trained rats chronically implanted with multi-electrode arrays in sensory cortex with a mobile robot to create what we call the RABOT (rat-robot). The RABOT is a unique system that lends itself well to novel experiments in behavioral neuroscience and neural engineering. 6 rats were implanted with multi-electrode arrays in auditory cortex and placed inside a modified 12" round robot with 2-wheel differential drive locomotion controllable via on-board response levers. In preliminary evaluation, RABOTs were passively moved along a 16 ft track while a 2 Hz, free-field click stimulus was delivered at one end of the track. Response latencies varied almost linearly within the 16 ft track from 18 27 msec. Analysis of peak latency of multichannel PSTH responses was performed offline and used to estimate RABOT position and/or predict stimulus onset. The RABOT platform is ideal for both on and offline experimentation that more closely resembles real-world applications of brain-computer interfaces. In,addition, multichannel neural recording in a `real-world' sensory environment will help to further broaden our understanding of parallel processing in the nervous system.
Security requirements strongly influence the architectural design of complex IT systems in a similar way as other non-functional requirements. Both security engineering as well as software engineering provide methods ...
详细信息
ISBN:
(纸本)9780769536026
Security requirements strongly influence the architectural design of complex IT systems in a similar way as other non-functional requirements. Both security engineering as well as software engineering provide methods to deal with such requirements. However, there is still a critical gap concerning the integration of the methods of these separate fields. In this paper we close this gap with respect to security requirements by proposing a method that combines software engineering approaches with state-of-the-art security engineering principles. This method establishes an explicit alignment between the non-functional goal, the principles in the field of security engineering, and the implementation of a security architecture. The method aims at designing a system's security architecture based on a small, precisely defined, and application-specific trusted computing base. We illustrate this method by means of a case study which describes distributed enterprise resource planning systems using web services to implement business processes across company boundaries.
In the field of forensic science, crime maps are widely used. The representation of the data and analysis could offer some steps forward for crime prevention. Clustering is able to help identify criminal hot-spots and...
详细信息
ISBN:
(纸本)9781728112138
In the field of forensic science, crime maps are widely used. The representation of the data and analysis could offer some steps forward for crime prevention. Clustering is able to help identify criminal hot-spots and further analysis designate which require intervention. The aim of this study is to present a first step in the analysis of Hungary-related criminal information.
This paper presents the fundamentals of the Real-Time Object Oriented Modeling (ROOM) design methodology and its supporting ObjecTime tool set and characterizes the strengths of this technique when applied to the anal...
详细信息
This paper presents the fundamentals of the Real-Time Object Oriented Modeling (ROOM) design methodology and its supporting ObjecTime tool set and characterizes the strengths of this technique when applied to the analysis and design of state-intensive, real-time, distributed computer-based systems. A sample system implementation is presented which is based on a simplified sonar tracking system. This sample problem has been limited in scope, but has all the design elements which challenge the system design process, including distributed concurrent processing, fault tolerance, and real-time performance. Finally, an analysis of several inherent strengths and benefits of ROOM methodology applicable to the development of real-time, distributed computersystems is presented.
It is suggested that human-computer interaction should be enhanced by embedding computer-aided creativity (CAC) features into systems to utilize a larger portion of human skills and to include some motivational and em...
详细信息
It is suggested that human-computer interaction should be enhanced by embedding computer-aided creativity (CAC) features into systems to utilize a larger portion of human skills and to include some motivational and emotional aspects into systems. It is shown that human decision-making concerning complexsystems and situations requires insight and holistic understanding. Modeling from different viewpoints is used to support the author's arguments
暂无评论