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 year

2005

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.), Chapter 3778, pp. 82-106

Publisher

Springer

ISBN

9783540306443

Copyright

Copyright © 2005 Springer-Verlag Berlin Heidelberg.

Details