Loading...

Development of a Methodology Engineering Framework for Developing High-Integrity Software Systems

Biglari, Binazir | 2012

608 Viewed
  1. Type of Document: M.Sc. Thesis
  2. Language: Farsi
  3. Document No: 42670 (19)
  4. University: Sharif University of Technology
  5. Department: Computer Engineering
  6. Advisor(s): Ramsin, Raman
  7. Abstract:
  8. High-integrity systems are critical, complex software-controlled systems in contexts where the occurrence of failure can severely affect the environment, organization, and/or society. Examples are typically found among safety- critical and mission-critical systems. Typical high-integrity systems are highly hardware-dependant; hence, the rapid rate of hardware technology evolution in these systems demands the development of software systems that keep up with the hardware infrastructure. This necessitates the existence of elaborate software development methodologies which accommodate the volatility of the environment, and properly address the critical features required of the system under development. To develop software development methodologies that are appropriate for high-integrity systems development, different approaches have been adopted; some are based on modifying existing methodologies – focusing on those processes which are capable of accommodating criticality and flexibility, such as XP and SCRUM - and tailoring them to the specific requirements of high-integrity systems; others focus on models and modeling as the primary means of software development, and prescribe methods for seamless transformation and refinement of models to one another until the final product is obtained. The main objective of this research was to develop a framework (HISDP) for the engineering of software methodologies suitable for the construction of high-integrity systems. To this aim, an analytical survey on high-integrity software development methodologies has been conducted to highlight the important features and characteristics of critical systems, and to identify methods, practices and techniques for implementing these features. The outcome of this phase has then been integrated into a coherent Situational Method Engineering (SME) framework which serves as a bases for the construction of high-integrity-systems development methodologies. To verify the validity of the proposed framework, it has been applied in the context of a small-scale SME project
  9. Keywords:
  10. Situational Method Engineering ; Methodology Creation Framework ; High-Integrity Systems ; Critical Software

 Digital Object List

 Bookmark

No TOC