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


Download (209kB)


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
ISBN: 0769528929
Open access status: An open access version is available from UCL Discovery
DOI: 10.1109/ICSECOMPANION.2007.59
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
URI: http://discovery.ucl.ac.uk/id/eprint/4318
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item