SafetyChip: A time monitoring and policing device

Proceedings of the ACM SIGAda Annual International Conference; SIGAda

Volumn , Issue , 2005, Pages 63-68

  Naeser, Gustaf ^a   Asplund, Lars ^a   Furunäs, Johan ^a  

^a MÄLARDALEN UNIVERSITY   (Sweden)

Author keywords

FPGA; Hardware monitoring; Kernel

Indexed keywords

AUTOMATED MODEL; HARDWARE MONITORING; KERNEL; SAFETYCHIP;

AUTOMATION; MATHEMATICAL MODELS; MONITORING; SECURITY SYSTEMS; SIGNAL PROCESSING;

MICROPROCESSOR CHIPS;

EID: 33244482621     PISSN: None     EISSN: 10943641     Source Type: Conference Proceeding    
DOI: 10.1145/1104011.1103856     Document Type: Conference Paper

References (11)

1. A. Burns, B. Dobbing, and G. Romanski, "The Ravenscar Tasking Profile for High Integrity Real-Time Programs", Reliable Software Technologies - Ada-Europe 1998, LNCS 1411, Springer-Verlag, 1998.
2. A. Burns, B. Bobbing, and T. Vardanega, "Guide for the use of the Ada Ravenscar Profile in hight integrity systems", University of York Technical Report YCS-2003-348, 2003.
3. S. Evangelista, C. Kaiser, J-F. Pradat-Peyre and P. Rousseau, "Verifying Linear Time Temporal Logic Properties of Concurrent Ada Programs with Quasar", ACM SIGAda Annual International Conference - SIGAda 2003, Ada Letters XXIV(1), ACM, 2004.
4. th IEEE International Conference on Engineering Complex Systems (ICECCS 2001), IEEE, 2001
5. Altera Corporation, SignalTap II. http://www.altera.com/
6. ARM Limited, "Using EmbeddedICE", Application Note 31, 1999.
7. K. Larsen, P. Pettersson, and W. Yi, "Uppaal in a Nutshell", International Journal on Software Tools for Technology Transfer, Springer-Verlag, 1997.
8. K. Lundqvist, and L. Asplund, "A Ravenscar-Compliant run-time kernel for safety critical systems", Real-Time Systems, 24(1), 2003.
9. G. Naeser and J. Furunäs, "Evaluation of Delay Queues for a Ravenscar Hardware Kernel", MRTC report ISSN 1404-3041 ISRN MDH-MRTC-176/2005-1-SE, Mälardalen Real-Time Research Centre, 2005.
10. Xilinx Inc., Chipscope integrated logic analyzer, San Jose, CA 95124-3400, 2000. http://www.xilinx.com/products/chipscope/
11. R. York and J. Sharp, "Real-time debug for systems-onchip devices", ARM Limited, June 1999.