Premium
6.4.1 Industrialization Of Formal Methods Through Process Definition
Author(s) -
Toth Kalman C.,
Joyce Jeffrey J.
Publication year - 1995
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.1995.tb01957.x
Subject(s) - process (computing) , industrialisation , computer science , formal methods , formal description , process management , control (management) , systems engineering , management science , engineering management , engineering , software engineering , artificial intelligence , political science , law , programming language , operating system
This paper advocates the use of process definition methods to drive the “industrialization” of new techniques – that is, the transformation of a technique, or combination of techniques, developed by a research organization into a production process that can be used by an industrial organization. We relate our own experience at Hughes Canada Systems Division (HCSD) based on an effort to industrialize an application of “Formal Methods” to support the development of large automated air traffic control systems. In addition to providing an account of some components of our approach to process definition, this paper provides a glimpse into the topic of “Formal Methods” which is already becoming established in Europe as an important systems engineering discipline and can be expected to soon become as important within North America.