Modelling Quality Properties of Systems

Add to your list(s) Download to your calendar using vCal

• John Herbert - University College, Cork, Ireland
• Wednesday 11 February 2009, 14:15-15:15
• Lecture Theatre 1, Computer Laboratory.

If you have a question about this talk, please contact Mateja Jamnik.

Much of system design is concerned with non-functional quality properties such as performance, availability, reliability and security. Formal modelling is usually concerned with functional properties or deep models of individual quality properties. Presented is a particular approach to explicit modelling of quality properties of systems. Previous work has dealt with modelling of quality properties in distributed systems, and currently the modelling of quality properties in pervasive computing applications is being addressed. Pervasive computing applications with multiple, disparate sources of dynamic data of varying quality present a particular challenge. The goal is to build accurate and effective models for end-to-end quality of data, and to make use of the models for analysis and evaluation of trade-offs. Some of the motivating applications are medical ones based on wireless patient sensors.

This talk is part of the Wednesday Seminars - Department of Computer Science and Technology series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Chris Davis' list
• Department of Computer Science and Technology talks and seminars
• Graduate-Seminars
• Guy Emerson's list
• Interested Talks
• Lecture Theatre 1, Computer Laboratory
• School of Technology
• Trust & Technology Initiative - interesting events
• Wednesday Seminars - Department of Computer Science and Technology
• bld31
• computer science
• se393's list

Note that ex-directory lists are not shown.