Executing temporal logic programs
Executing temporal logic programs
Concepts and experiments in computational reflection
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Real-time systems and their programming languages
Real-time systems and their programming languages
A framework for building dependable systems
The Computer Journal - Special issue on methodologies (systems and software)
Runtime monitoring of timing constraints in distributed real-time systems
Real-Time Systems - Special issue on responsive computer systems
Firewalls and Internet security: repelling the wily hacker
Firewalls and Internet security: repelling the wily hacker
Observer-A Concept for Formal On-Line Validation of Distributed Systems
IEEE Transactions on Software Engineering
A Metaobject Architecture for Fault-Tolerant Distributed Systems: The FRIENDS Approach
IEEE Transactions on Computers
Deadline Scheduling for Real-Time Systems: Edf and Related Algorithms
Deadline Scheduling for Real-Time Systems: Edf and Related Algorithms
The Art of the Metaobject Protocol
The Art of the Metaobject Protocol
Synthesizing Monitors for Safety Properties
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Executable Assertions for Detecting Data Errors in Embedded Control Systems
DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)
MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems
DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
Executable assertions and timed traces for on-line software error detection
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
MetaKernels and Fault Containment Wrappers
FTCS '99 Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
Wrapping Windows NT Software for Robustness
FTCS '99 Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
Efficient Run-Time Monitoring of Timing Constraints
RTAS '97 Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium (RTAS '97)
Formal specification for building robust real-time microkernels
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Robustness of automotive applications using reflective computing: lessons learnt
Proceedings of the 2011 ACM Symposium on Applied Computing
Architecting dependable systems using reflective computing: lessons learnt and some challenges
Architecting dependable systems VII
Runtime verification of statechart implementations
Architecting Dependable Systems III
| Hi-index | 0.01 |
This paper defines a methodology for developing wrappers for real-time systems starting from temporal logic specifications. Error confinement wrappers are automatically generated from the specifications of the target real-time system. The resulting wrappers are the executable version of the specifications, and account for both timing and functional constraints. They are executed on-line by a runtime checker, a sort of virtual machine that interprets temporal logic. A reflective approach is used to implement an observation layer placed between the runtime checker and the target system. It allows the wrappers to obtain the necessary event and data items from the target system so as to perform at runtime the checks defined by the temporal logic specifications. The proposed method has been applied to the use of real-time microkernels in dependable systems. Fault injection is used to assess the detection coverage of the wrappers and analyze trade-offs between performance and coverage.