abstract
| |
abstract
|
| formalWARE
project
formalWARE
formalWARE
|
Date: Friday, November 28, 1997
Abstract While many of us are no longer surprised by the extent to which software is used as a component in critical systems (e.g., medical devices, airplanes, nuclear generating stations), the variety of skills and areas of specialization required to produce dependable critical systems may not be so widely appreciated. Technical advances, as well as business considerations, will increase the need for people whose skills encompass much more than the traditional emphasis on writing code. In addition to describing some of these skills, Dr. Joyce will describe several technical challenges where there is an opportunity for researchers to improve processes currently used to develop large, software-intensive critical systems. He will also describe how these challenges have been addressed in a collaborative industry/university research project focusing on the areas of requirements specification, specification validation, system test and safety. Biography Dr. Joyce is an employee of Hughes Aircraft
of Canada Limited (Hughes International Airspace Management Systems).
He is currently responsible for the management and technical direction
of collaborative industry/university research project called "FormalWARE"
(www.cs.ubc.ca/formalWARE) sponsored by BC Advanced Systems Institute (ASI),
Hughes and MacDonald Dettwiler. He received his Ph.D. from Cambridge
University in 1990, a M.Math from the University of Waterloo in 1983 and
a B.A. from the University of Calgary in 1982.
|
