Title :
Making the requirements of process controlled systems explicit
Author_Institution :
Dept. of Comput., Open Univ., Milton Keynes, UK
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;
Conference_Titel :
System Sciences, 1995. Proceedings of the Twenty-Eighth Hawaii International Conference on
Conference_Location :
Wailea, HI
Print_ISBN :
0-8186-6930-6
DOI :
10.1109/HICSS.1995.375712
