CONLAN
Robert Piloty(Darmstadt University of Applied Sciences), Mario R. Barbacci(Carnegie Mellon University), D. Borrione(Université Grenoble Alpes), D.L. Dietmeyer(University of Wisconsin–Madison), F.J. Hill(University of Arizona), Patrick Skelly(Honeywell (United States))
Cited by 10Open Access
Abstract
A CONLAN document has significance only if it is read by a person or machine. That reader (environment) is required to use available facilities to respond to and interact with the document. It must provide the type checking mechanism. It must record the names of defined and declared items and provide the data base they require. It must record signal values. From such records, it can determine facts of importance to continued document evaluation. "System interfaces" are prescribed environment responses, not formally defined via CONLAN syntax.
Related Papers
No related papers found
Powered by citation graph analysis