Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Static checking of system behaviors using derived component assumptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Communication and Concurrency
COTS Integration: Plug and Pray?
Computer
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
The Minimal Coverability Graph for Petri Nets
Papers from the 12th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1993
Convertibility verification and converter synthesis: two faces of the same coin
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
Specification and Analysis of Timed and Functional TRMCS Behaviours
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Synchronization of periodic clocks
Proceedings of the 5th ACM international conference on Embedded software
Synchronizing behavioural mismatch in software composition
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Quasi-static scheduling of independent tasks for reactive systems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Safe Adaptation of Component Coordination
Electronic Notes in Theoretical Computer Science (ENTCS)
Journal of Systems and Software
The Future of Software: Adaptation and Dependability
Software Engineering
Multi-clock SoC design using protocol conversion
Proceedings of the Conference on Design, Automation and Test in Europe
Synthesizing self-adaptive connectors meeting functional and performance concerns
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Correct-by-construction multi-component SoC design
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Hi-index | 0.00 |
Building a real-time system from reusable or COTS components introduces several problems, mainly related to compatibility, communication, and QoS issues. We propose an approach to automatically derive adaptors in order to solve black-box integration anomalies, when possible. We consider black-box components equipped with an expressive interface that specifies the interaction behavior with the expected environment, the component clock, as well as latency, duration, and controllability of the component's actions. The principle of adaptor synthesis is to coordinate the interaction behavior of the components in order to avoid possible mismatches, such as deadlocks. Each adaptor models the correct assembly code for a set of components. Our approach is based on labeled transition systems and Petri nets, and is implemented in a tool called SynthesisRT. We illustrate it through a case study concerning a remote medical care system.