Rodrigues, GN;
Rosenblum, DS;
Wolf, J;
(2007)
Reliability Analysis of Concurrent Systems using LTSA.
In:
(Proceedings) ICSE 2007: 29th International Conference on Software Engineering.
(pp. pp. 63-64).
IEEE Computer Society: Minneapolis, USA.
![[thumbnail of 4318.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) Preview |
PDF
4318.pdf Download (209kB) |
Abstract
The analysis for software dependability is considered an important task within the software engineering life cycle. However, it is often impossible to carry out this task due to the complexity of available tools, lack of expert personnel and time-to-market pressures. As a result, released software versions may present unverified dependability properties subjecting customers to blind software reliability assessment. In particular, concurrent systems present certain behaviour that require a more complex system analysis not easily grasped at system design and architecture level.
| Type: | Proceedings paper |
|---|---|
| Title: | Reliability Analysis of Concurrent Systems using LTSA |
| Event: | ICSE 2007: 29th International Conference on Software Engineering |
| Location: | Minneapolis, USA |
| Dates: | 20 May 2007 - 26 May 2007 |
| ISBN: | 0769528929 |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1109/ICSECOMPANION.2007.59 |
| Publisher version: | http://10.0.4.85/ICSECOMPANION.2007.59 |
| Additional information: | Imported via OAI, 7:29:00 9th Aug 2007 |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/4318 |
Archive Staff Only
 |
View Item |
