Title :
Comparative analysis of embedded computer system requirements methods
Author :
White, Stephanie M.
Author_Institution :
Corp. Res. Center, Grumman Corp., Bethpage, NY, USA
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;
Conference_Titel :
Requirements Engineering, 1994., Proceedings of the First International Conference on
Conference_Location :
Colorado Springs, CO
Print_ISBN :
0-8186-5480-5
DOI :
10.1109/ICRE.1994.292394
