Information Consistency Checking in Documentation Driven Development for Complex Embedded Systems
MetadataShow full item record
Complex embedded systems, especially systems of embedded systems (SoES) need documentation to support their development. In our research, we are developing a documentation driven development method for SoES. In this method, keeping high confidence properties consistently identified in documentation of different development phases is an important issue since it is critical to ensure software quality of the end product. To address this issue, in this paper we investigate a method for information consistency checking in documentation driven development for SoES. We present an attributed object graph model to describe the semantics of document elements. Based on this model, we show how a set of attribute computation rules can analyze consistency between the key information such as timing properties transformed from one development phase to another.
Showing items related by title, author, creator and subject.
Hall, John F., II (Monterey, California. Naval Postgraduate School, 1983-12);Documentation as an effective method of transferring information between individuals in order to reduce software maintenance costs is examined. Various categories of documentation are identified and evaluated as to their ...
Schneidewind, Norman Floyd (Monterey, California. Naval Postgraduate School, 1982-02); NPS54-82-004ABSTRACT (Continue on reveree elde if neceeemry end Identity by block number) A system of documentation which was designed to aid programmers of the Command and Control System Maintenance Agency (CCSMA) in maintaining ...
Development of a test mechanism for analyzing force attrition methodologies within aggregated combat simulations Shenk, Michael L. (Monterey, California. Naval Postgraduate School, 1998-06);For aggregated combat simulation models, the methods for calculating force attrition must be based upon sound mathematical formulations and parameter estimations. With an inherent lack of representative combat data for ...