Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
Development of a debugger for a concurrent language
IEEE Transactions on Software Engineering
Safety Analysis Using Petri Nets
IEEE Transactions on Software Engineering
Communication and concurrency
The linear time-branching time spectrum (extended abstract)
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Switching and Finite Automata Theory: Computer Science Series
Switching and Finite Automata Theory: Computer Science Series
SEDOS: Designing Open Distributed Systems
IEEE Software
Towards standardized OSI conformance tests
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets
Proceedings of the International Sympoisum on Semantics of Concurrent Computation
Petri Nets Based Models in the Specification and Verification of Protocols
Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II
Specification and verification of distributed systems using prolog interpreted petri nets.
ICSE '84 Proceedings of the 7th international conference on Software engineering
Event-based detection of concurrency
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Highly reliable upgrading of components
Proceedings of the 21st international conference on Software engineering
Requirements-Based Monitors for Real-Time Systems
IEEE Transactions on Software Engineering
Wrapping Real-Time Systems from Temporal Logic Specifications
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
Assume-Guarantee Supervisor for Concurrent Systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Assume-Guarantee Algorithms for Automatic Detection of Software Failures
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Algebraic techniques for the optimization of control flow checking
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Supervisors for Testing Non-Deterministically Specified Systems
ITC '97 Proceedings of the 1997 IEEE International Test Conference
Supervision of real-time software systems using optimistic path prediction and rollbacks
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Automatic failure detection with Conditional-Belief supervisors
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Detection of Response Time Failures of Real-Time Software
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Hierarchical Supervisors For Automatic Detection Of Software Failures
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Discovering models of behavior for concurrent workflows
Computers in Industry - Special issue: Process/workflow mining
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
IEEE Transactions on Software Engineering
Towards automatic monitoring of component-based software systems
Journal of Systems and Software - Special issue: Automated component-based software engineering
IEEE Transactions on Parallel and Distributed Systems
Discovering thread interactions in a concurrent system
Journal of Systems and Software - Special issue: Software reverse engineering
Automated Online Monitoring of Distributed Applications through External Monitors
IEEE Transactions on Dependable and Secure Computing
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Automated Rule-Based Diagnosis through a Distributed Monitor System
IEEE Transactions on Dependable and Secure Computing
On the expressiveness and complexity of randomization in finite state monitors
Journal of the ACM (JACM)
Prevention of harmful behaviors within cognitive and autonomous agents
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Observer network and forest fire detection
Information Fusion
Enforcing different contracts in hierarchical component-based systems
SC'06 Proceedings of the 5th international conference on Software Composition
Dynamic self-control of autonomous agents
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Research: Signature-based method for run-time fault detection in communication protocols 1
Computer Communications
Hi-index | 0.00 |
Proposes the observer concept for designing self-checking distributed systems, i.e. systems that detect erroneous behaviors as soon as errors act at some observable output level. The approach provides a solution to build systems whose on-line behavior is checked against a formal model derived from a formal description. In other words, the actual implementation is continuously checked against a reference, this reference being a formal and verified model of some adequately selected aspects of the system behavior. The corresponding methodology, the software concepts and some applications of the observer are presented. General definitions are given first that theoretically define self-checking systems as systems that include and implement complete on-line validation. The basic concepts and the difficulties to implement self-checking validation are then given. In order to provide simple implementations, the previous definitions are weakened to design quasi-self-checking observers for LANs using a broadcast service. Three specific applications are given to illustrate the proposed approach: testing a virtual ring MAC protocol, checking the link and transport layers in an industrial LAN, and managing a complete OSI layering, from layer 2 to layer 6, in an open system architecture.