Integrating Formal Methods
Speaker: Dr Graeme Smith, SVRC
When: 2003-01-30 13:30:00
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)
Type: ITEE Seminar
Contact:Associate Professor David Carrington, seminar host (davec@itee.uq.edu.au)
or Guido Governatori (ITEE seminar co-ordinator)
(guido@itee.uq.edu.au)