Copilot: A hard real-time runtime monitor

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6418 LNCS, Issue , 2010, Pages 345-359

  Pike, Lee ^a   Goodloe, Alwyn ^b   Morisset, Robin ^c   Niller, Sebastian ^d  

^a Galois Inc   (United States)

^b NATIONAL INSTITUTE OF AEROSPACE   (United States)

^c ECOLE NORMALE SUPÉRIEURE   (France)

^d ILMENAU UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

C PROGRAMS; DATA FLOW LANGUAGE; HARD REAL-TIME; REAL TIME OPERATING SYSTEM; RUNTIME MONITORING; RUNTIME MONITORS; CONSTANT TIME; STREAM-BASED;

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER OPERATING SYSTEMS; NETWORK COMPONENTS; REAL TIME SYSTEMS;

REAL TIME SYSTEMS; C (PROGRAMMING LANGUAGE);

EID: 78650137555     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16612-9_26     Document Type: Conference Paper

References (20)

1. Axelsson, E., Claessen, K., Dvai, G., Horvth, Z., Keijzer, K., Lyckegrd, B., Persson, A., Sheeran, M., Svenningsson, J., Vajda, A.: Feldspar: a domain specific language for digital signal processing algorithms. In: 8th ACM/IEEE Int. Conf. on Formal Methods andModels for Codesign (2010)
2. Chen, F., D'Amorim, M., Roşu, G.: A formal monitoring-base framewrok for software development analysis. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol. 3308, pp. 357-373. Springer, Heidelberg (2004)
3. Dwyer, M.B., Diep, M., Elbaum, S.: Reducing the cost of path property monitoring through sampling. In: Proceedings of the 23rd International Conference on Automated Software Engineering, pp. 228-237 (2008)
4. D'Angelo, B., Sankaranarayanan, S., Snchez, C., Robinson, W., Manna, Z., Finkbeiner, B., Spima, H., Mehrotra, S.: LOLA: Runtime monitoring of synchronous systems. In: 12th International Symposium on Temporal Representation and Reasoning, pp. 166-174. IEEE, Los Alamitos (2005)
5. Fishmeister, S., Lam, P.: On time-aware insrumentation of programs. In: RTAS 2009: 15h IEEE Real-Time and Embedded Technology and Application Symposium (2009)
6. Frama-C., http://frama-c.com/index.html (accessed August, 2010)
7. Goossens, J., Richard, P.: Overview of real-time scheduling problems (invited paper). In: Euro Workshop on Project Management and Scheduling (2004)
8. Havelund, K.: Runtime verification of C programs. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) TestCom/FATES 2008. LNCS, vol. 5047, pp. 7-22. Springer, Heidelberg (2008)
9. Hawkins, T.: Controlling hybrid vehicles with Haskell. Presentation. Commercial Users of Functional Programming, CUFP (2008), http://cufp.galois.com/ 2008/schedule.html
10. Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language Lustre. Proceedings of the IEEE 79(9) (September 1991)
11. RTCA Inc. Software considerations in airborne systems and equipment certification, RCTA/DO-178B (1992)
12. Jones, S.P. (ed.): Haskell 1998 Language and Libraries: The Revised Report (2002), http://haskell.org/
13. Kim, M., Lee, I., Kannan, S., Sokolsky, O.: Java-MaC: a run-time assurance tool for Java. Formal Methods in System Design 24(1), 129-155 (2004)
14. Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21(7), 558-565 (1978)
15. Miner, P.: Hardware verification using coinductive assertions. PhD thesis, Indiana University, Bloomington, Adviser-Johnson, Steven D (1998)
16. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Heidelberg (1992)
17. Pellizzoni, R., Meredith, P., Caccamo, M., Rosu, G.: Hardware runtime monitoring for dependable cots-based real-time embedded systems. In: RTSS 2008: Proceedings of the 29th IEEE Real-Time System Symposium, pp. 481-491 (2008)
18. Pike, L., Shields, M., Matthews, J.: A verifying core for a cryptographic language compiler. In: Proceedings of the 6th Intl. Workshop on the ACL2 Theorem Prover and its Applications, pp. 1-10. ACM, New York (2006)
19. Sammapun, U., Lee, I., Sokolsky, O., Regehr, J.: Statistical runtime checking of probabilistic properties. In: Sokolsky, O., Taşiran, S. (eds.) RV 2007. LNCS, vol. 4839, pp. 164-175. Springer, Heidelberg (2007)
20. Zhu, H., Dwyer, M., Goddard, S.: Predictable runtime monitoring. In: ECRTS 2009: 21st Euromicro Conference on Real-Time Systems, pp. 173-183 (2009)