• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Model-Based Analysis Tools for Component Synthesis

Luigia Petre, Kaisa Sere, Leonidas Tsiopoulos, Model-Based Analysis Tools for Component Synthesis. In: B.K. Aichernig, F.S. de Boer, M.M. Bonsangue (Eds.), Formal Methods for Components and Objects, 9th International Symposium, FMCO 2010 --- State-of-the-Art Survey, Lecture Notes in Computer Science 6957, 102–121, Springer-Verlag, 2011.

Abstract:

Component-based development typically refers to assembling pre-existing pieces of software or hardware for integrating them into new systems. In this paper we introduce a formalism-based approach to verify the component boundaries, based on the component interdependencies. We base this synthesis method on B Action Systems and the animation techniques provided by the ProB tool. In addition, we put forward another applicability for our method, namely to mapping components to hardware platform tiles.

BibTeX entry:

@INPROCEEDINGS{inpPeSeTs11a,
  title = {Model-Based Analysis Tools for Component Synthesis},
  booktitle = {Formal Methods for Components and Objects, 9th International Symposium, FMCO 2010 --- State-of-the-Art Survey},
  author = {Petre, Luigia and Sere, Kaisa and Tsiopoulos, Leonidas},
  volume = {6957},
  series = {Lecture Notes in Computer Science},
  editor = {Aichernig, B.K. and de Boer, F.S. and Bonsangue, M.M.},
  publisher = {Springer-Verlag},
  pages = {102–121},
  year = {2011},
  keywords = {Component Synthesis, B Action Systems, ProB tool, Application Mapping},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Publication Forum rating of this publication: level 1

Edit publication