Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Modeling heterogeneous real-time components in BIP
 
conference paper

Modeling heterogeneous real-time components in BIP

Basu, A.
•
Bozga, M.
•
Sifakis, J.  
2006
Fourth IEEE International Conference on Software Engineering and Formal Methods
Fourth IEEE International Conference on Software Engineering and Formal Methods

We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers: behavior, specified as a set of transitions; Interactions between transitions of the behavior; Priorities, used to choose amongst possible interactions. A parameterized binary composition operator is used to compose components layer by layer. We present the BIP language for the description and composition of layered components as well as associated tools for executing and analyzing components on a dedicated platform. The language provides a powerful mechanism for structuring interactions involving rendezvous and broadcast. We show that synchronous and timed systems are particular classes of components. Finally, we provide examples and compare the BIP framework to existing ones for heterogeneous component-based modeling

  • Files
  • Details
  • Metrics
Type
conference paper
DOI
10.1109/SEFM.2006.27
Author(s)
Basu, A.
Bozga, M.
Sifakis, J.  
Date Issued

2006

Published in
Fourth IEEE International Conference on Software Engineering and Formal Methods
Start page

3

End page

12

Subjects

object-oriented programming

•

systems analysis

•

systems engineering

Editorial or Peer reviewed

REVIEWED

Written at

OTHER

EPFL units
RISD  
Event nameEvent place
Fourth IEEE International Conference on Software Engineering and Formal Methods

Los Alamitos, CA, USA

Available on Infoscience
March 14, 2013
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/90327
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés