Strategy for scalable scenarios modeling and calculation in early software reliability engineering
System scenarios derived from requirements specification play an important role in the early software reliability engineering. A great deal of research effort has been devoted to predict reliability of a system at early design stages. The existing approaches are unable to handle scalability and calc...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Penerbit UTM Press
2015
|
| Subjects: | |
| Online Access: | http://eprints.utm.my/55568/1/AwadAli2015_StrategyforScalableScenariosModelingandCalculation.pdf |
| _version_ | 1796860177848205312 |
|---|---|
| author | Ali, Awad Jawawi, Dayang N. A. Isa, Mohd. Adham |
| author_facet | Ali, Awad Jawawi, Dayang N. A. Isa, Mohd. Adham |
| author_sort | Ali, Awad |
| collection | ePrints |
| description | System scenarios derived from requirements specification play an important role in the early software reliability engineering. A great deal of research effort has been devoted to predict reliability of a system at early design stages. The existing approaches are unable to handle scalability and calculation of scenarios reliability for large systems. This paper proposes modeling of scenarios in a scalable way by using a scenario language that describes system scenarios in a compact and concise manner which can results in a reduced number of scenarios. Furthermore, it proposes a calculation strategy to achieve better traceability of scenarios, and avoid computational complexity. The scenarios are pragmatically modeled and translated to finite state machines, where each state machine represents the behaviour of component instance within the scenario. The probability of failure of each component exhibited in the scenario is calculated separately based on the finite state machines. Finally, the reliability of the whole scenario is calculated based on the components’ behaviour models and their failure information using modified mathematical formula. In this paper, an example related to a case study of an automated railcar system is used to verify and validate the proposed strategy for scalability of system modeling. |
| first_indexed | 2024-03-05T19:38:03Z |
| format | Article |
| id | utm.eprints-55568 |
| institution | Universiti Teknologi Malaysia - ePrints |
| language | English |
| last_indexed | 2024-03-05T19:38:03Z |
| publishDate | 2015 |
| publisher | Penerbit UTM Press |
| record_format | dspace |
| spelling | utm.eprints-555682017-11-01T04:16:58Z http://eprints.utm.my/55568/ Strategy for scalable scenarios modeling and calculation in early software reliability engineering Ali, Awad Jawawi, Dayang N. A. Isa, Mohd. Adham QA76 Computer software System scenarios derived from requirements specification play an important role in the early software reliability engineering. A great deal of research effort has been devoted to predict reliability of a system at early design stages. The existing approaches are unable to handle scalability and calculation of scenarios reliability for large systems. This paper proposes modeling of scenarios in a scalable way by using a scenario language that describes system scenarios in a compact and concise manner which can results in a reduced number of scenarios. Furthermore, it proposes a calculation strategy to achieve better traceability of scenarios, and avoid computational complexity. The scenarios are pragmatically modeled and translated to finite state machines, where each state machine represents the behaviour of component instance within the scenario. The probability of failure of each component exhibited in the scenario is calculated separately based on the finite state machines. Finally, the reliability of the whole scenario is calculated based on the components’ behaviour models and their failure information using modified mathematical formula. In this paper, an example related to a case study of an automated railcar system is used to verify and validate the proposed strategy for scalability of system modeling. Penerbit UTM Press 2015 Article PeerReviewed application/pdf en http://eprints.utm.my/55568/1/AwadAli2015_StrategyforScalableScenariosModelingandCalculation.pdf Ali, Awad and Jawawi, Dayang N. A. and Isa, Mohd. Adham (2015) Strategy for scalable scenarios modeling and calculation in early software reliability engineering. Jurnal Teknologi, 77 (9). pp. 139-148. ISSN 0127-9696 http://dx.doi.org/10.11113/jt.v77.6200 DOI:10.11113/jt.v77.6200 |
| spellingShingle | QA76 Computer software Ali, Awad Jawawi, Dayang N. A. Isa, Mohd. Adham Strategy for scalable scenarios modeling and calculation in early software reliability engineering |
| title | Strategy for scalable scenarios modeling and calculation in early software reliability engineering |
| title_full | Strategy for scalable scenarios modeling and calculation in early software reliability engineering |
| title_fullStr | Strategy for scalable scenarios modeling and calculation in early software reliability engineering |
| title_full_unstemmed | Strategy for scalable scenarios modeling and calculation in early software reliability engineering |
| title_short | Strategy for scalable scenarios modeling and calculation in early software reliability engineering |
| title_sort | strategy for scalable scenarios modeling and calculation in early software reliability engineering |
| topic | QA76 Computer software |
| url | http://eprints.utm.my/55568/1/AwadAli2015_StrategyforScalableScenariosModelingandCalculation.pdf |
| work_keys_str_mv | AT aliawad strategyforscalablescenariosmodelingandcalculationinearlysoftwarereliabilityengineering AT jawawidayangna strategyforscalablescenariosmodelingandcalculationinearlysoftwarereliabilityengineering AT isamohdadham strategyforscalablescenariosmodelingandcalculationinearlysoftwarereliabilityengineering |