A layered software architecture for design and analysis of embedded systems

Author

Malec, Jacek ; Morin, Magnus ; Nadjm-Tehrani, Simin

Author_Institution

Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden

fYear

1995

fDate

1995

Firstpage

169

Lastpage

176

Abstract

For several years we have been working on an architecture for modelling and implementing autonomous agents. This work has been recently extended in two directions: evaluating the benefits of the architecture in a real-world setting in terms of ease of design, rapid prototyping, dynamic resource management, and studying methods for formal analysis of the reactive subsystem based on the composition with models of its physical environment. This paper gives an introduction to the architecture and a flavour of the above-named extentions.

Keywords

formal verification; knowledge based systems; real-time systems; software agents; software prototyping; autonomous agents; dynamic resource management; embedded systems; formal analysis; layered software architecture; rapid prototyping; reactive subsystem; Application software; Autonomous agents; Computer architecture; Embedded computing; Embedded system; Formal verification; Information science; Real time systems; Software architecture; Software design;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems Engineering of Computer Based Systems, 1995., Proceedings of the 1995 International Symposium and Workshop on

Conference_Location

Tucson, AZ, USA

Print_ISBN

0-7803-2531-1

Type

conf

DOI

10.1109/ECBS.1995.521853

Filename

521853