Knowledge-based support for embedded computer software analysis and design: Dissertation

Markku Oivo

Research output: ThesisLicenciate

Abstract

This thesis describes the design and implementation of a knowledge-based support system for embedded computer software analysis and design, Prospex.A review of knowledge-based software development is presented.The Prospex system supports Yourdon's Real-Time Structured Analysis and Design (RTSA/SD) methodology.The focus of the research was to acquire, refine and represent the knowledge about the methodology.This knowledge was used in a prototype to demonstrate intelligent assistance during the process of creating and editing the RT-SA/SD model as well as analyzing the resulting documents.The aim of Prospex is not only to provide graphic support for drawing but also to help the engineer in the analysis and design process itself.Prospex was developed using the KEE expert system development environment on a Symbolics AI- workstation.It consists of three main parts: an intelligent model editor for creating RT-SA/SD documents, an RT-SA/SD primitive knowledge-base for building an internal frame-based logical model of the RT-SA/SD diagrams and a methodology rule base for analyzing the quality of the design.
Original languageEnglish
QualificationLicentiate Degree
Awarding Institution
  • University of Oulu
Supervisors/Advisors
  • Pietikäinen, Matti, Supervisor, External person
Place of PublicationEspoo
Publisher
Print ISBNs951-38-3763-7
Publication statusPublished - 1990
MoE publication typeG3 Licentiate thesis

Keywords

  • embedded systems
  • software engineering
  • knowledge based systems
  • software tools
  • software development

Fingerprint Dive into the research topics of 'Knowledge-based support for embedded computer software analysis and design: Dissertation'. Together they form a unique fingerprint.

  • Cite this

    Oivo, M. (1990). Knowledge-based support for embedded computer software analysis and design: Dissertation. VTT Technical Research Centre of Finland.