Behavioral types for embedded software: a survey

Search Swinburne Research Bank

Home

Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.3/39820

Title: Behavioral types for embedded software: a survey
Author(s): Maydl, Walter; Grunske, Lars
Abstract: At present, there is a variety of formalisms for modeling and analyzing the communication behavior of components. Due to a tremendous increase in size and complexity of embedded systems accompanied by shorter time to market cycles and cost reduction, so called behavioral type systems become more and more important. This chapter presents an overview and a taxonomy of behavioral types. The intentions of this taxonomy are to provide a guidance for software engineers and to form the basis for future research.
Publication type: Book chapter
Source: Lecture notes in computer science: Component-based software development for embedded systems: an overview of current research trends / Colin Atkinson, Christian Bunse, Christian Peper and Hans-Gerhard Gross (eds.), Vol. 3778, pp. 82-106
Publication year: 2005
Keyword(s): Component behaviour; Computational complexity; Computer software; Cost reduction; Embedded software; Embedded systems; Formalisms; Market cycles; Taxonomies
Publisher: Springer
ISSN: 0302-9743 (series ISSN)
ISBN: 9783540306443, 3540306447
Publisher URL: http://dx.doi.org/10.1007/11591962_5
Peer reviewed