ITEE seminar: Dr Graeme Smith, 01.30PM, Thu 30 Jan 2003

Integrating Formal Methods

Speaker: Dr Graeme Smith, SVRC

When: 01.30PM, Thursday 30 Jan 2003

Venue: 78-420

Host: Associate Professor David Carrington

Abstract:

  A primary purpose of formal methods is to provide concise and easily
  comprehensible descriptions of software-intensive systems. For
  particularly large or complex systems, this goal may be more readily
  achieved by using more than one specification language. While most
  specification languages can be used to specify entire systems, few,
  if any, are particularly suited to modelling all aspects of such
  systems.
 
  An example of where such a combination of languages is particularly
  useful is the specification of concurrent, or distributed,
  systems. This talk will present a formal methodology for specifying
  such systems using a combination of a process algebra, which is
  ideally suited to modelling the interactions between processes, and
  a state-based language, which is ideal for modelling complex data
  structures which may be needed to describe the processes themselves.
 
  Another example is the specification of combined hardware and
  software systems where continuous and discrete components
  co-exist. The talk will also show how the above methodology can be
  extended to include a formalism that supports real-time and
  continuous variables. A simple, real-world case study will be used
  throughout the talk to illustrate the methodology

Biography:

(biography unavailable)

Contact:

Associate Professor David Carrington, seminar host (davec@itee.uq.edu.au)
or Guido Governatori (ITEE seminar co-ordinator) (guido@itee.uq.edu.au)

ITEE seminar web page: http://www.itee.uq.edu.au/~seminar

[All seminars]