UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Reliability Analysis of Concurrent Systems using LTSA

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. Green open access

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.

Type:Proceedings paper
Title:Reliability Analysis of Concurrent Systems using LTSA
Event:ICSE 2007: 29th International Conference on Software Engineering
Location:Minneapolis, USA
Dates:2007-05-20 - 2007-05-26
Open access status:An open access version is available from UCL Discovery
Publisher version:http://10.1109/ICSECOMPANION.2007.59
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

Archive Staff Only: edit this record