Real-time systems and their programming languages
Real-time systems and their programming languages
Formal Verification of Ada Programs
IEEE Transactions on Software Engineering
Safeware: system safety and computers
Safeware: system safety and computers
The Ravenscar tasking profile for high integrity real-time programs
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
A formal model of the Ada Ravenscar tasking profile; delay until
Proceedings of the 1999 annual ACM SIGAda international conference on Ada
Embedding the Internet: introduction
Communications of the ACM
The Ravenscar Profile and implementation issues (session summary)
IRTAW '99 Proceedings of the ninth international workshop on Real-time Ada
The Ravenscar Tasking Profile—experience reporting
IRTAW '99 Proceedings of the ninth international workshop on Real-time Ada
Automatic verification of real-time communicating systems by constraint-solving
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
CMC: A Tool for Compositional Model-Checking of Real-Time Systems
FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
Ada+B The Formula for Safety Critical Software Development
Ada-Europe '98 Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies
The Ravenscar Tasking Profile for High Integrity Real-Time Programs
Ada-Europe '98 Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies
Formal Analysis of a Real-Time Kernel Specification
FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
A State Graph Manipulator Tool for Real-Time System Specification and Verification
RTCSA '98 Proceedings of the 5th International Conference on Real-Time Computing Systems and Applications
A Formal Model of a Run-Time Kernel for Ravenscar
RTCSA '99 Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications
Formal development of a real-time kernel
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
Hi-index | 0.00 |
The Ravenscar profile for high integrity systems using Ada 95 is well defined in all real-time aspects. The complexity of the run-time system has been reduced to allow full utilization of formal methods for applications using the Ravenscar profile. In the Mana project a tool set is being developed including a formal model of a Ravenscar compliant run-time system, a gnat compatible run-time system, and an ASIS based tool to allow for the verification of a system including both COTS and code that is reused.