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

Markku Oivo

Research output: ThesisLicenciateTheses

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

Fingerprint

Expert systems
Software engineering
Engineers

Keywords

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

Cite this

Oivo, M. (1990). Knowledge-based support for embedded computer software analysis and design: Dissertation. Espoo: VTT Technical Research Centre of Finland.
Oivo, Markku. / Knowledge-based support for embedded computer software analysis and design : Dissertation. Espoo : VTT Technical Research Centre of Finland, 1990. 85 p.
@phdthesis{989bac2708ae4e7fa918f091b08bf2f6,
title = "Knowledge-based support for embedded computer software analysis and design: Dissertation",
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.",
keywords = "embedded systems, software engineering, knowledge based systems, software tools, software development",
author = "Markku Oivo",
year = "1990",
language = "English",
isbn = "951-38-3763-7",
series = "Technical Research Centre of Finland. Publications",
publisher = "VTT Technical Research Centre of Finland",
number = "68",
address = "Finland",
school = "University of Oulu",

}

Oivo, M 1990, 'Knowledge-based support for embedded computer software analysis and design: Dissertation', Licentiate Degree, University of Oulu, Espoo.

Knowledge-based support for embedded computer software analysis and design : Dissertation. / Oivo, Markku.

Espoo : VTT Technical Research Centre of Finland, 1990. 85 p.

Research output: ThesisLicenciateTheses

TY - THES

T1 - Knowledge-based support for embedded computer software analysis and design

T2 - Dissertation

AU - Oivo, Markku

PY - 1990

Y1 - 1990

N2 - 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.

AB - 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.

KW - embedded systems

KW - software engineering

KW - knowledge based systems

KW - software tools

KW - software development

M3 - Licenciate

SN - 951-38-3763-7

T3 - Technical Research Centre of Finland. Publications

PB - VTT Technical Research Centre of Finland

CY - Espoo

ER -

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