Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Tree automata, Mu-Calculus and determinacy
SFCS '91 Proceedings of the 32nd annual symposium on Foundations of computer science
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Modeling hierarchical combinational circuits
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Automatic synthesis of interfaces between incompatible protocols
DAC '98 Proceedings of the 35th annual Design Automation Conference
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Types as models: model checking message-passing programs
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Monitor-Based Formal Specification of PCI
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
Interface Theories for Component-Based Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Concurrent execution semantics and sequential simulation algorithms for the metropolis meta-model
Proceedings of the tenth international symposium on Hardware/software codesign
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Trace theory for automatic hierarchical verification of speed-independent circuits
Trace theory for automatic hierarchical verification of speed-independent circuits
Proceedings of the conference on Design, automation and test in Europe - Volume 1
Proceedings of the conference on Design, automation and test in Europe: Proceedings
System level design paradigms: Platform-based design and communication synthesis
Proceedings of the 41st annual Design Automation Conference
On-Chip Communication Architectures: System on Chip Interconnect
On-Chip Communication Architectures: System on Chip Interconnect
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems
ICSE '07 Proceedings of the 29th international conference on Software Engineering
A Model Checking Approach to Protocol Conversion
Electronic Notes in Theoretical Computer Science (ENTCS)
Failure-free coordinators synthesis for component-based architectures
Science of Computer Programming
Integrating RTL IPs into TLM designs through automatic transactor generation
Proceedings of the conference on Design, automation and test in Europe
A formal approach to the protocol converter problem
Proceedings of the conference on Design, automation and test in Europe
A Development Process for Self-adapting Service Oriented Applications
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Journal of Systems and Software
An architectural approach to the correct and automatic assembly of evolving component-based systems
Journal of Systems and Software
Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis
ACM Transactions on Design Automation of Electronic Systems (TODAES)
SoC design approach using convertibility verification
EURASIP Journal on Embedded Systems - Model-driven high-level programming of embedded systems: selected papers from SLA++P'07 and SLA++P'08
Formally Synthesising a Protocol Converter: A Case Study
CIAA '09 Proceedings of the 14th International Conference on Implementation and Application of Automata
The mythical matched modules: overcoming the tyranny of inflexible software construction
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Adaptor synthesis for real-time components
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Formal model of a protocol converter
CATS '09 Proceedings of the Fifteenth Australasian Symposium on Computing: The Australasian Theory - Volume 94
Component adaptation and assembly using interface relations
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Multi-clock SoC design using protocol conversion
Proceedings of the Conference on Design, Automation and Test in Europe
A formal approach to design space exploration of protocol converters
Proceedings of the Conference on Design, Automation and Test in Europe
EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Correct and non-defensive glue design using abstract models
CODES+ISSS '11 Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Synthesis of concurrent and distributed adaptors for component-based systems
EWSA'06 Proceedings of the Third European conference on Software Architecture
Synthesis of interface automata
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Towards an engineering approach to component adaptation
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Coalgebraic semantics for component systems
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Representing and reasoning with qualitative preferences for compositional systems
Journal of Artificial Intelligence Research
Integration architecture synthesis for taming uncertainty in the digital space
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
metroII: A design environment for cyber-physical systems
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
A model-based synthesis process for choreography realizability enforcement
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Automatic synthesis of modular connectors via composition of protocol mediation patterns
Proceedings of the 2013 International Conference on Software Engineering
Correct-by-construction multi-component SoC design
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Producing software by integration: challenges and research directions (keynote)
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Hi-index | 0.00 |
An essential problem in component-based design is how to compose components designed in isolation. Several approaches have been proposed for specifying component interfaces that capture behavioral aspects such as interaction protocols, and for verifying interface compatibility. Likewise, several approaches have been developed for synthesizing converters between incompatible protocols. In this paper, we introduce the notion of adaptability as the property that two interfaces have when they can be made compatible by communicating through a converter that meets specified requirements. We show that verifying adaptability and synthesizing an appropriate converter are two faces of the same coin: adaptability can be formalized and solved using a game-theoretic framework, and then the converter can be synthesized as a strategy that always wins the game. Finally we show that this framework can be related to the rectification problem in trace theory.