7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings.

23-25 Oct. 2002

Filter Results

Displaying Results 1 - 25 of 36
  • Proceedings 7th IEEE International Symposium on High Assurance Systems Engineering. HASE 2002

    Publication Year: 2002
    Request permission for commercial reuse | |PDF file iconPDF (309 KB)
    Freely Available from IEEE
  • Extended-model based testing by directed Chinese postman algorithm

    Publication Year: 2002, Page(s):237 - 239
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (476 KB) | HTML iconHTML

    Recently, it has become popular to use applications on Window operating systems, such as Microsoft Windows and GNOME, and for this we attempt to use the GUI specific testing approach. Legacy type of approaches, such as control flow path and data flow path testing, are not always effective testing methods for GUI application. Thus, model-based testing was newly established and often used in GUI app... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Author index

    Publication Year: 2002, Page(s): 245
    Request permission for commercial reuse | |PDF file iconPDF (187 KB)
    Freely Available from IEEE
  • Towards research on software cybernetics

    Publication Year: 2002, Page(s):240 - 241
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (336 KB) | HTML iconHTML

    Software cybernetics is a newly proposed area in software engineering. It makes better use of the interplay between control theory/engineering and software engineering. In this paper, we look into the research potentials of this emerging area. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-oriented system decomposition quality

    Publication Year: 2002, Page(s):230 - 235
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (380 KB) | HTML iconHTML

    Object-oriented design is becoming very popular in today's software development. An object-oriented information system is decomposed into subjects; each subject is decomposed into classes of objects. Good object-oriented system design should exhibit high cohesion inside subjects and low coupling among subjects. Yet, few quantitative studies of the actual use of cohesion and coupling have been cond... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • High assurance, my personal experience and view point

    Publication Year: 2002, Page(s):93 - 98
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (274 KB) | HTML iconHTML

    It is argued that in order to maximize the function of a large-scale system to provide overall confidence, it is not sufficient to simply assemble each reliability of individual components, or to just rely on the fail-safe functional concept. In addition, the system as a whole has to work smoothly and flexibly, and it has to be internally equipped with the function that can minimize any possible d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards a problem-driven approach to perspective-based reading

    Publication Year: 2002, Page(s):221 - 229
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (305 KB) | HTML iconHTML

    The quality of a requirements specification has a great impact on the quality of the software developed. Because of this, a requirements specification should be complete, correct, consistent, and unambiguous. Otherwise, defects may remain undetected, resulting in the delivery of a faulty software product to the users. Motivated by this, Basili et al. have developed the perspective-based reading (P... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Constructing high assurance asynchronous real-time distributed systems: a proof-based system engineering approach

    Publication Year: 2002, Page(s):89 - 90
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (362 KB) | HTML iconHTML

    Asynchronous real-time distributed systems raise fundamental issues of how to build timely systems that operate in the presence of uncertain timeliness, and furthermore, how to certify that such systems will deliver properties including timeliness and safety. In this paper, we discuss an approach for constructing certifiable asynchronous real-time distributed systems. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An approach to specify and test component-based dependable software

    Publication Year: 2002, Page(s):211 - 220
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (331 KB) | HTML iconHTML

    Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with dependability as a driver, the components need to be adapted to deal with errors coming from their environment. To achieve this, error containment wrappers are often added to increase the robustness of such components. Adop... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The concept and practice of software quality assurance in Japan in the global era

    Publication Year: 2002, Page(s):13 - 18
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (329 KB) | HTML iconHTML

    The Japanese computer industry in 1990s was hit with two major shocks at the same time. One shock was the drastic reform of computers and of network. The other shock was from the collapse of the booming Japanese economy that had constantly been growing at a high rate. We present quality assurance measures with software development from Hitachi, Ltd. First is constructing a framework to cope with g... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A high assurance timing synchronization technology for space on-board distributed computer systems

    Publication Year: 2002, Page(s):87 - 88
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (268 KB) | HTML iconHTML

    The system requirements of space on-board computer necessary to realize not only high reliability but also low cost are discussed. An architecture and high assurance timing synchronization technology that meet the requirements are proposed. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Enhancing system validation with behavioural types

    Publication Year: 2002, Page(s):201 - 208
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (300 KB) | HTML iconHTML

    The behaviour of systems is determined by their implementation in some form of source code. While behaviour itself is complex and its detailed semantics are hard to describe by means of lower level than a programming or specification language, the structure of dynamic input/output behaviour is limited by the system logic and fixed during operation in most cases. Certain aspects of system behavior ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards adaptive networking

    Publication Year: 2002, Page(s):151 - 158
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (438 KB) | HTML iconHTML

    For both network providers and their users, it is important to assure a certain service quality using the finite network resources in terms of providing good services at low cost. We have been developing several essential technologies for adaptive networking. The adaptive network offers multiple network service classes with different quality levels and a programmable network environment within whi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Cost-sensitive boosting in software quality modeling

    Publication Year: 2002, Page(s):51 - 60
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (1816 KB) | HTML iconHTML

    Early prediction of the quality of software modules prior to software testing and operations can yield great benefits to the software development teams, especially those of high-assurance and mission-critical systems. Such an estimation allows effective use of the testing resources to improve the modules of the software system that need it most and achieve high reliability. To achieve high reliabi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • JR East contactless IC card automatic fare collection system "Suica"

    Publication Year: 2002, Page(s):3 - 10
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (1073 KB) | HTML iconHTML

    East Japan Railway Company (JR East) is one of the seven railway companies founded in April 1987 upon the division and privatization of the old Japanese National Railways. As the largest railway company in Japan, JR East has a network of 7,538.2 kilometers of tracks in the Tokyo area and eastern Honshu Main Island, and more than 16 million passengers are using our service everyday. JR East, as a f... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Assuring interoperability between heterogeneous multi-agent systems with a gateway agent

    Publication Year: 2002, Page(s):167 - 170
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (331 KB) | HTML iconHTML

    In this research, we address the problem of a lack of communications between heterogeneous multi-agent systems. For example, the KQML-based agent cannot talk to the FIPA-based agent and vice versa. We have identified three main reasons why different multi-agent systems are not interoperable, which we call architectural elements: (1) inconsistent mental state structures; (2) different syntax and se... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Coyote: an XML-based framework for Web services testing

    Publication Year: 2002, Page(s):173 - 174
    Cited by:  Papers (30)  |  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (203 KB) | HTML iconHTML

    Web services received significant attention recently and several important Web service platforms such as .NET are now available. The testing and evaluation of Web services are important for both service providers and subscribers. This paper proposes an XML-based object-oriented testing framework Coyote to test Web services rapidly. Coyote consists of two parts: test master and test engine. The tes... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An alternative to model checking: verification by random search of AND-OR graphs representing finite-state models

    Publication Year: 2002, Page(s):119 - 126
    Cited by:  Papers (3)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (1096 KB) | HTML iconHTML

    In the development of high-assurance systems, formal modeling, analysis and verification techniques are playing an increasingly important role. In spite of significant advances, formal modeling and verification using model checking, still suffer from limited applicability. The main reason is the exponential runtime space growth exhibited, in the general case, by model checkers. We describe a less ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • High assurance step-by-step autonomous construction technique for large real time system

    Publication Year: 2002, Page(s):79 - 86
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (356 KB) | HTML iconHTML

    The recent large real time systems have the needs of growing systems including heterogeneous functions and operations. High assurance systems are very important for such systems. In order to realize the high assurance systems, we research the step-by-step system construction technique with assurance technology. In this paper we propose the functional reliability and the online functional availabil... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A kind of deadlock-free scheduling method based on Petri net

    Publication Year: 2002, Page(s):195 - 200
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (384 KB) | HTML iconHTML

    In this paper an efficient algorithm for finding an optimal deadlock-free schedules in a flexible manufacturing system (FMS) modeled by a kind of Petri net, systems of simple sequential processes with shared resources (S4R) nets, is presented. This algorithm is based on the effective genetic algorithm (GA) search method, and the structural elements analysis of Petri net. In order to fin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Hi-TORA: a hierarchical routing protocol in ad hoc networks

    Publication Year: 2002, Page(s):143 - 148
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (235 KB) | HTML iconHTML

    Recently, in wired networks, a hierarchical structure has been introduced to improve management and routing. In ad hoc networks, we introduce a hierarchical structure to achieve the same goal. However it is difficult to introduce the hierarchical structure because all mobile hosts are always moving around the network. So, we proposed the clustering scheme to construct the hierarchical structure. W... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Assurance system architecture for distributed database systems

    Publication Year: 2002, Page(s):43 - 50
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (1116 KB) | HTML iconHTML

    Recently with the advent of the information technology and the wide spread use of the Internet, new user oriented production and logistic systems, such as the supply chain management system, have been required in order to cope with the drastic and continuous changes on the markets and users' preferences. To achieve this purpose, the companies need to mutually integrate their database systems with ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Metrics-based framework for decision making in COTS-based software systems

    Publication Year: 2002, Page(s):243 - 244
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (332 KB) | HTML iconHTML

    The growing reliance on Commercial-Off-The-Shelf (COTS) components for developing large-scale projects introduces a new paradigm in software engineering, which requires the design of new software development and business processes. Large scale component reuse leads to savings in development resources, enabling these resources to be applied to areas such as quality improvement. These savings come a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Multi-agent systems: overview of a new paradigm for distributed systems

    Publication Year: 2002, Page(s):101 - 107
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (260 KB) | HTML iconHTML

    Novel opportunities and challenges are emerging in the near future, such as Electronic commerce (e-commerce), due to the convergence of computers and telecommunication. Successful e-commerce requires rapid adaptation and excellent timing for service providers and users with guaranteed quality of service. Agent based technologies represent one of the most promising technological paradigm for distri... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Efficiently tolerating failures in asynchronous real-time distributed systems

    Publication Year: 2002, Page(s):19 - 26
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (349 KB) | HTML iconHTML

    We present a proactive resource allocation algorithm, called BEA, for fault-tolerant asynchronous real-time distributed systems. BEA considers an application model where transnode application timeliness requirements are expressed using benefit functions, and anticipated workload during future time intervals are expressed using adaptation functions. Furthermore, BEA considers an adaptation model wh... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.