Reliability Analysis of Concurrent Systems using LTSA.
Presented at: ICSE 2007: 29th International Conference on Software Engineering, Minneapolis, USA.
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:||Conference item (UNSPECIFIED)|
|Title:||Reliability Analysis of Concurrent Systems using LTSA|
|Event:||ICSE 2007: 29th International Conference on Software Engineering|
|Dates:||20 May 2007 - 26 May 2007|
|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
UCL > School of BEAMS > Faculty of Engineering Science > Computer Science
Archive Staff Only