2011 IEEE 13th International Symposium on High-Assurance Systems Engineering

10-12 Nov. 2011

Filter Results

Displaying Results 1 - 25 of 71
  • [Front cover]

    Publication Year: 2011, Page(s): C1
    Request permission for commercial reuse | PDF file iconPDF (3343 KB)
    Freely Available from IEEE
  • [Title page i]

    Publication Year: 2011, Page(s): i
    Request permission for commercial reuse | PDF file iconPDF (64 KB)
    Freely Available from IEEE
  • [Title page iii]

    Publication Year: 2011, Page(s): iii
    Request permission for commercial reuse | PDF file iconPDF (97 KB)
    Freely Available from IEEE
  • [Copyright notice]

    Publication Year: 2011, Page(s): iv
    Request permission for commercial reuse | PDF file iconPDF (109 KB)
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2011, Page(s):v - x
    Request permission for commercial reuse | PDF file iconPDF (143 KB)
    Freely Available from IEEE
  • Preface

    Publication Year: 2011, Page(s): xi
    Request permission for commercial reuse | PDF file iconPDF (48 KB) | HTML iconHTML
    Freely Available from IEEE
  • Organizing Committee

    Publication Year: 2011, Page(s): xii
    Request permission for commercial reuse | PDF file iconPDF (43 KB)
    Freely Available from IEEE
  • Program Committee

    Publication Year: 2011, Page(s): xiii
    Request permission for commercial reuse | PDF file iconPDF (46 KB)
    Freely Available from IEEE
  • Steering Committee

    Publication Year: 2011, Page(s): xiv
    Request permission for commercial reuse | PDF file iconPDF (42 KB)
    Freely Available from IEEE
  • Sponsors

    Publication Year: 2011, Page(s): xv
    Request permission for commercial reuse | PDF file iconPDF (73 KB)
    Freely Available from IEEE
  • Keynotes

    Publication Year: 2011, Page(s):xvi - xviii
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (76 KB)

    These keynote speeches discuss the following: marine renewable energy-HASE challenges; high-assurance computing clouds; and software faults. View full abstract»

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

    Publication Year: 2011, Page(s):xix - xx
    Request permission for commercial reuse | PDF file iconPDF (68 KB)
    Freely Available from IEEE
  • A Testing Service for Lifelong Validation of Dynamic SOA

    Publication Year: 2011, Page(s):1 - 8
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (831 KB) | HTML iconHTML

    Service Oriented Architectures (SOAs) are increasingly being used to support the information infrastructures of organizations. SOAs are dynamic and evolve after deployment in order to adapt to changes in the requirements and infrastructure. Consequently, traditional validation approaches based on offline testing conducted before deployment are not adequate anymore, demanding for new techniques tha... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models

    Publication Year: 2011, Page(s):9 - 16
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (541 KB) | HTML iconHTML

    Developing adequate system operation contracts at the requirements level can be challenging. A specifier needs to ensure that a contract allows an operation to be invoked in different usage contexts without putting the system in an invalid state. Specifiers need usable rigorous analysis techniques that can help them develop more robust contracts, that is, contracts that are neither too restrictive... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis

    Publication Year: 2011, Page(s):17 - 24
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (241 KB) | HTML iconHTML

    A typical approach utilized for automated test case generation is to create a model of the implementation under test. Extended Finite State Machine (EFSM) is among the most popular models for model-based testing. However, automated test case generation on EFSM models is still a challenge task as a result of the fact that an EFSM model may contain infeasible paths. In this article we present a nove... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model Driven Validation of System Architectures

    Publication Year: 2011, Page(s):25 - 28
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1392 KB) | HTML iconHTML

    The architecture is the basic structure of every system. The system architect is responsible for ensuring that it fits to the system requirements even if these requirements change according to new conditions during development process. Our approach defines a model driven process for the architect to validate system architecture against system requirements and it supports the architect in analysing... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Regression Testing of Component-Based Software: A Systematic Practise Based on State Testing

    Publication Year: 2011, Page(s):29 - 32
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (287 KB) | HTML iconHTML

    Component-based software systems consist of various components, such as third-party components and in-house built components. Component changes frequently occur in software maintenance, which refers to regression testing. When changes made to a component, the component could be affected, moreover, the changes could bring impacts on the entire system. Related existing research did not address the i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Unifying Approach to Validating Specification-Oriented XML Constraints

    Publication Year: 2011, Page(s):33 - 40
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (528 KB) | HTML iconHTML

    In this paper, we present a unifying approach to specifying and verifying specification-oriented XML constraints. The formal tree model and the XML constraint logic are developed to describe the XML documents and constraints respectively. The XML constraint logic, as an extension of the first order logic, is constructed and interpreted in the framework of our formal tree model, where the node doma... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Event-B Interpretation for SPARDL Model

    Publication Year: 2011, Page(s):41 - 48
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (344 KB) | HTML iconHTML

    Real time systems consisting of periodic behaviors together with the mode transition mechanism are largely applied in the development of control systems for spacecrafts and automobiles in industry. We have proposed a requirement modeling language called SPARDL for modeling and analyzing such periodic control systems in [11]. In this paper, we specify an Event-B interpretation for the SPARDL model.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Behavioral Analysis Approach for Efficient Partial Order Reduction

    Publication Year: 2011, Page(s):49 - 56
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (418 KB) | HTML iconHTML

    Partial order reduction is essential to address state explosion when verifying concurrent systems by reducing states irrelevant to the verification results. However, traditional static approaches by analyzing system model structures often do not work well. To address such problem, this paper presents a new behavioral analysis approach where a compositional reach ability analysis method is used to ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Animating the Approach of Deriving Operational Semantics from Algebraic Semantics for Web Services

    Publication Year: 2011, Page(s):57 - 62
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (206 KB) | HTML iconHTML

    Web services have became more and more important in these years, and BPEL4WS (BPEL) is a de facto standard for the web service composition and orchestration. It contains several distinct features, including the scope-based compensation and fault handling mechanism. We have already explored the operational semantics and denotational semantics for BPEL, where a set of algebraic laws can be achieved ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Combining Goal Models, Expert Elicitation, and Probabilistic Simulation for Qualification of New Technology

    Publication Year: 2011, Page(s):63 - 72
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (319 KB) | HTML iconHTML

    New technologies typically involve innovative aspects that are not addressed by the existing normative standards and hence are not assessable through common certification procedures. To ensure that new technologies can be implemented in a safe and reliable manner, a specific kind of assessment is performed, which in many industries, e.g., the energy sector, is known as Technology Qualification (TQ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On High-Assurance Scientific Workflows

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

    Scientific Workflow Management Systems (S-WFMS), such as Kepler, have proven to be an important tools in scientific problem solving. Interestingly, S-WFMS fault-tolerance and failure recovery is still an open topic. It often involves classic fault-tolerance mechanisms, such as alternative versions and rollback with re-runs, reliance on the fault-tolerance capabilities provided by subcomponents and... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrating Legacy Applications for High Availability: A Case Study

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

    Service high availability is becoming a must in various domains. Services provided by applications originally not designed for high availability can be rendered highly available by integrating them with a middleware compliant to the SAForum specification. Such a middleware offers a number of configuration options. The assessment of service availability at the design of the system configuration fac... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Personal Health Record System and Integration Techniques with Various Electronic Medical Record Systems

    Publication Year: 2011, Page(s):91 - 94
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (173 KB) | HTML iconHTML

    This paper discusses the importance of a Patient Centric Health Record system. Such systems can empower patients to participate in improving health care quality. It would also provide an economically viable solution to the need for better healthcare without escalating costs by avoiding duplication. The proposed system is Web-based so patients and healthcare providers can access it from any locatio... View full abstract»

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