DocumentCode :
1950865
Title :
Operationalized definitions of non-functional requirements on automated production facilities to measure evolution effects with an automation system
Author :
Ladiges, Jan ; Fay, Alexander ; Haubeck, Christopher ; Lamersdorf, Winfried
Author_Institution :
Autom. Technol. Inst., Helmut Schmidt Univ., Hamburg, Germany
fYear :
2013
fDate :
10-13 Sept. 2013
Firstpage :
1
Lastpage :
6
Abstract :
Production facilities are systems under constant evolution due to frequent changes of requirements and unforeseen incidents. Complex interrelations within the facility´s physics and the control software may cause unintentional changes in its behavior after performing modifications. In order to detect such effects, we present, based on a detailed literature review, definitions of nonfunctional requirements on production facilities. The definitions are operationalized, when necessary, to allow an automatic examination of the fulfillment of requirements. This can be done by using dynamic information available in typical automation systems of production facilities. We show which information can be used for an automatic examination and which evolution scenarios affect the defined requirements.
Keywords :
control engineering computing; factory automation; formal specification; formal verification; production facilities; control software; dynamic information; evolution effects; evolution scenarios; facility physics; operationalized nonfunctional requirements definition; production facility automation systems; Automation; Availability; Current measurement; Physics; Production facilities; Software;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Emerging Technologies & Factory Automation (ETFA), 2013 IEEE 18th Conference on
Conference_Location :
Cagliari
ISSN :
1946-0740
Print_ISBN :
978-1-4799-0862-2
Type :
conf
DOI :
10.1109/ETFA.2013.6648092
Filename :
6648092
Link To Document :
بازگشت