DocumentCode
289157
Title
Making the requirements of process controlled systems explicit
Author
Sateesh, T.K.
Author_Institution
Dept. of Comput., Open Univ., Milton Keynes, UK
Volume
4
fYear
1995
fDate
3-6 Jan 1995
Firstpage
372
Abstract
Process controlled systems are used for dedicated applications. Every application is the subject of special requirements enforced by the customer. Requirements modelling is an user centred activity. These systems are time critical. The requirements modelling language used must facilitate the description of temporal requirements that are meaningful for these systems, while being understandable by user community. Here we discuss a language (TRL) and its features
Keywords
formal specification; specification languages; TRL; dedicated applications; process controlled systems; requirements modelling; temporal requirements; user centred activity; Application software; Computer applications; Control systems; Formal languages; Industrial plants; Mathematics; Patient monitoring; Physics computing; Process control; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
System Sciences, 1995. Proceedings of the Twenty-Eighth Hawaii International Conference on
Conference_Location
Wailea, HI
Print_ISBN
0-8186-6930-6
Type
conf
DOI
10.1109/HICSS.1995.375712
Filename
375712
Link To Document