Behavioral Types for Embedded Software – A Survey

  • Walter Maydl
  • Lars Grunske

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Walter Maydl
    • 1
  • Lars Grunske
    • 2
  1. 1.University of PassauPassauGermany
  2. 2.Boeing Postdoctoral Research Fellow, School of ITEEUniversity of QueenslandBrisbane (St.Lucia)Australia

Personalised recommendations