DocumentCode
1872829
Title
Comparative analysis of embedded computer system requirements methods
Author
White, Stephanie M.
Author_Institution
Corp. Res. Center, Grumman Corp., Bethpage, NY, USA
fYear
1994
fDate
18-22 Apr 1994
Firstpage
126
Lastpage
134
Abstract
Requirements methods proven practical on large embedded computer systems (ECS) are formalized, synthesized, and improved. A cross-section of methods are evaluated for robust semantics, mathematical foundation, capability for analysis and verification, and support for model construction, comprehension, reuse and modification
Keywords
formal verification; real-time systems; systems analysis; analysis capability; comparative analysis; comprehension; embedded computer systems; mathematical foundation; method formalization; method improvement; method synthesis; model construction; modification; requirements methods; reuse; robust semantics; verification capability; Communication system software; Design engineering; Embedded computing; Embedded system; Hardware; Mathematical model; Physics computing; Robustness; Software systems; Systems engineering and theory;
fLanguage
English
Publisher
ieee
Conference_Titel
Requirements Engineering, 1994., Proceedings of the First International Conference on
Conference_Location
Colorado Springs, CO
Print_ISBN
0-8186-5480-5
Type
conf
DOI
10.1109/ICRE.1994.292394
Filename
292394
Link To Document