Rodrigues, GN; Rosenblum, DS; Wolf, J; (2007) Reliability Analysis of Concurrent Systems using LTSA. In: ICSE 2007 Companion. 29th International Conference on Software Engineering. (pp. 63 - 64). IEEE Computer Society: Minneapolis, USA.
|PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader|
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.
|Title:||Reliability Analysis of Concurrent Systems using LTSA|
|Event:||ICSE 2007: 29th International Conference on Software Engineering|
|Dates:||2007-05-20 - 2007-05-26|
|Open access status:||An open access version is available from UCL Discovery|
|Additional information:||Imported via OAI, 7:29:00 9th Aug 2007|
|UCL classification:||UCL > School of BEAMS > Faculty of Engineering Science > Computer Science|
View download statistics for this item
Activity - last month
Activity - last 12 months
Archive Staff Only: edit this record