Structuring Formal Control Systems Specifications for Reuse: Surviving Hardware Changes

Loading...
Thumbnail Image

Persistent link to this item

Statistics
View Statistics

Journal Title

Journal ISSN

Volume Title

Title

Structuring Formal Control Systems Specifications for Reuse: Surviving Hardware Changes

Published Date

2000

Publisher

Type

Report

Abstract

Formal capture and analysis of the required behavior of control systems have many advantages. For instance, it encourages rigorous requirements analysis, the required behavior is unambiguously defined, and we can assure that various safety properties are satisfied. Formal modeling is, however, a costly and time consuming process and if one could reuse the formal models over a family of products, significant cost savings would be realized. In an ongoing project we are investigating how to structure state-based models to achieve a high level of reusability within product families. In this paper we discuss a high-level structure of requirements models that achieves reusability of the desired control behavior across varying hardware platforms in a product family. The structuring approach is demonstrated through a case study in the mobile robotics domain where the desired robot behavior is reused on two diverse platforms---one commercial mobile platform and one build in-house. We use our language rsml to capture the control behavior for reuse and our tool nimbus to demonstrate how the formal specification can be validated and used as a prototype on the two platforms.

Keywords

Description

Associated research group: Critical Systems Research Group

Related to

Replaces

License

Series/Report Number

Funding information

Isbn identifier

Doi identifier

Previously Published Citation

Fifth NASA Langley Formal Methods Workshop, Virginia, January 2000

Suggested citation

Thompson, Jeffrey; Heimdahl, Mats; Erickson, Debra. (2000). Structuring Formal Control Systems Specifications for Reuse: Surviving Hardware Changes. Retrieved from the University Digital Conservancy, https://hdl.handle.net/11299/217357.

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.