Representing the Unknown in Specification Languages

Loading...
Thumbnail Image

View/Download File

Persistent link to this item

Statistics
View Statistics

Journal Title

Journal ISSN

Volume Title

Title

Representing the Unknown in Specification Languages

Published Date

2000-03-30

Publisher

Type

Report

Abstract

During the operation of software-controlled physical system, there are times when the values of environmental variables are not known by the control software. To correctly specify and reason about such systems, a specification language must allow variables to take a special undefined value that signifies that the value of the variable is unknown. Adding an undefined value to the type system of a language, however, complicates the semantics of the language because it causes many of the arithmetic operators to become partial functions. In this paper we discuss different approaches to managing undefined values and present our approach for the specification language RSML-e. We provide a loose semantics that allows simulation/execution of incomplete models, and a tight semantics, which, given a completed model, is used for code-generation and static analysis. To prevent misuse of undefined values, we present a test that ensures that predicates in RSML-e cannot evaluate to undefined, and that variables cannot implicitly take on undefined values.

Keywords

Description

Related to

Replaces

License

Series/Report Number

Funding information

Isbn identifier

Doi identifier

Previously Published Citation

Suggested citation

Heimdahl, Mats; Whalen, Michael W.. (2000). Representing the Unknown in Specification Languages. Retrieved from the University Digital Conservancy, https://hdl.handle.net/11299/215412.

Content distributed via the University Digital Conservancy may be subject to additional license and use restrictions applied by the depositor. By using these files, users agree to the Terms of Use. Materials in the UDC may contain content that is disturbing and/or harmful. For more information, please see our statement on harmful content in digital repositories.