A component model that is both control-driven and data-driven

Authors:
Kung-Kiu Lau;Lily Safie;Petr Stepan;Cuong Tran
Affiliations:
The University of Manchester, Manchester, United Kingdom;The University of Manchester, Manchester, United Kingdom;The University of Manchester, Manchester, United Kingdom;The University of Manchester, Manchester, United Kingdom
Venue:
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Year:
2011

Citing 14
Cited 3

LUSTRE: a declarative language for real-time programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The ESTEREL Synchronous Programming Language and its Mathematical Semantics

Seminar on Concurrency, Carnegie-Mellon University
Reo: a channel-based coordination model for component composition

Mathematical Structures in Computer Science
Advances in dataflow programming languages

ACM Computing Surveys (CSUR)
SaveCCM - A Component Model for Safety-Critical Real-Time Systems

EUROMICRO '04 Proceedings of the 30th EUROMICRO Conference
SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model

SERA '06 Proceedings of the Fourth International Conference on Software Engineering Research, Management and Applications
Software Component Models

IEEE Transactions on Software Engineering
The Palladio component model for model-driven performance prediction

Journal of Systems and Software
A Component Model for Control-Intensive Distributed Embedded Systems

CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
A Taxonomy of Software Composition Mechanisms

SEAA '10 Proceedings of the 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications
A software component model and its preliminary formalisation

FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Mode-automata based methodology for scade

HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Exogenous connectors for software components

CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Argos: an automaton-based synchronous language

Computer Languages

Design pattern solutions as explicit entities in component-based software development

Proceedings of the 16th international workshop on Component-oriented programming
Controller patterns for component-based reactive control software systems

Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Mode switch timing analysis for component-based multi-mode systems

Journal of Systems Architecture: the EUROMICRO Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

In some industrial domains, it is beneficial to model systems that are both data-driven and control-driven. The challenge to component-based development is to provide suitable component models for this purpose. In this paper we propose such a component model. We define the model, and present a model-driven implementation. We also illustrate its application to an example from the automotive domain.