Abstract
This chapter presents a case study in the field of control systems. The task consists of developing verified control software for a model representing a production cell installed in a metal-processing plant in Karlsruhe. The paper describes the functionality of the model, explains how the control program relies on the system's sensors, discusses the possibilities for driving the model with the help of various actuators, and finally defines the requirements that are to be fulfilled by the control software.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Lindner, T. (1995). Task description. In: Lewerentz, C., Lindner, T. (eds) Formal Development of Reactive Systems. Lecture Notes in Computer Science, vol 891. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58867-1_46
Download citation
DOI: https://doi.org/10.1007/3-540-58867-1_46
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58867-2
Online ISBN: 978-3-540-49133-0
eBook Packages: Springer Book Archive