Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Alternating-time temporal logic
Journal of the ACM (JACM)
FORTE XII / PSTV XIX '99 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX)
Generating adapters for concurrent component protocol synchronisation
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Games for synthesis of controllers with partial observation
Theoretical Computer Science - Logic and complexity in computer science
Counterexample-guided abstraction refinement for symbolic model checking
Journal of the ACM (JACM)
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Locating causes of program failures
Proceedings of the 27th international conference on Software engineering
Component Verification with Automatically Generated Assumptions
Automated Software Engineering
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Replaying and isolating failing multi-object interactions
WODA '08 Proceedings of the 2008 international workshop on dynamic analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008)
Model-Based Adaptation of Behavioral Mismatching Components
IEEE Transactions on Software Engineering
Automatically patching errors in deployed software
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
Model checking and testing combined
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
What went wrong: explaining counterexamples
SPIN'03 Proceedings of the 10th international conference on Model checking software
On the power of play-out for scenario-based programs
Concurrency, Compositionality, and Correctness
| Hi-index | 0.00 |
A lot of work has been done in the area of building component-based systems with correct-by-construction adaptors. This is accomplished by using preexisting specifications of the component behaviour. But what happens when known components get to interact with incompletely specified, black-box components, and errors occur? How can we avoid these errors without modifying existing/legacy components? We present a method to explore and control such systems. Our approach exploits information in correct and erroneous runs to build a controller that ensures our system will avoid observed errors. We consider the behavioural specifications for our known, legacy component as already documented and we infer partial behaviour information of the unknown component by studying its reactions to various interaction scenarios.