DocumentCode :
3367857
Title :
DODT: Increasing requirements formalism using domain ontologies for improved embedded systems development
Author :
Farfeleder, Stefan ; Moser, Thomas ; Krall, Andreas ; Stålhane, Tor ; Zojer, Herbert ; Panis, Christian
Author_Institution :
Inst. of Comput. Languages, Vienna Univ. of Technol., Vienna, Austria
fYear :
2011
fDate :
13-15 April 2011
Firstpage :
271
Lastpage :
274
Abstract :
In times of ever-growing system complexity and thus increasing possibilities for errors, high-quality requirements are crucial to prevent design errors in later project phases and to facilitate design verification and validation. To ensure and improve the consistency, completeness and correctness of requirements, formal languages have been introduced as an alternative to using natural language (NL) requirement descriptions. However, in many cases existing NL requirements must be taken into account. The formalization of those requirements by now is a primarily manual task, which therefore is both cumbersome and error-prone. We introduce the tool DODT that semi-automatically transforms NL requirements into semi-formal boilerplate requirements. The transformation builds upon a domain ontology (DO) containing knowledge of the problem domain and upon natural language processing techniques. The tool strongly reduced the required manual effort for the transformation. In addition the quality of the requirements was improved.
Keywords :
electronic engineering computing; embedded systems; formal verification; hardware description languages; natural languages; ontologies (artificial intelligence); DODT; design validation; design verification; domain ontologies; domain ontology; embedded systems development; formal language; natural language processing technique; natural language requirement description; requirements formalism; semiformal boilerplate requirements; system complexity; Embedded systems; Logic gates; Manuals; Natural language processing; Ontologies; Syntactics; Transforms;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2011 IEEE 14th International Symposium on
Conference_Location :
Cottbus
Print_ISBN :
978-1-4244-9755-3
Type :
conf
DOI :
10.1109/DDECS.2011.5783092
Filename :
5783092
Link To Document :
بازگشت