Information Consistency Checking in Documentation Driven Development for Complex Embedded Systems

Abstract

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 2003
Accession Number
ADP015441

Entities

People

  • Luqi
  • Valdis A. Berzins
  • Ying Qiao

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Materials and Manufacturing Processes
  • Weapons Technologies

DTIC Thesaurus Topics

  • Agile Software Development
  • Complex Systems
  • Computations
  • Computer Programming
  • Computer Programs
  • Computers
  • Control Systems
  • Embedded Systems
  • Engineering
  • Formal Languages
  • Grammars
  • Language
  • Life Cycles
  • Models
  • Natural Languages
  • Project Management
  • Software Development

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.