Copilot: monitoring embedded systems-Reference-Cited by-同舟云学术

Copilot: monitoring embedded systems

Published:2013-08-24 Issue:4 Volume:9 Page:235-255
ISSN:1614-5046
Container-title:Innovations in Systems and Software Engineering
language:en
Short-container-title:Innovations Syst Softw Eng

Author:

Pike Lee,Wegmann Nis,Niller Sebastian,Goodloe Alwyn

Publisher

Springer Science and Business Media LLC

Subject

Software

Link

http://link.springer.com/content/pdf/10.1007/s11334-013-0223-x.pdf

Reference41 articles.

1. (2000) FAA system handbook. http://www.faa.gov/library/manuals/aviation/risk_management/ss_handbook/

2. (2010) Aeronautical radio: avionics application software standard interface: ARINC specification 653p1-3. ARINC, Inc., Annapolis. ARINC 653 Part 1

3. (2012) Aeronautical radio: avionics application software standard interface: ARINC specification 653p2-2 extended services. ARINC Inc., Annapolis. ARINC 653 Part 2

4. (2011) Aviation Today: more pitot tube incidents revealed. Aviation Today. http://www.aviationtoday.com/regions/usa/More-Pitot-Tube-Incidents-Revealed_72414.html

5. Axelsson E, Claessen K, Dévai G, Horváth Z, Keijzer K, Lyckegård B, Persson A, Sheeran M, Svenningsson J, Vajda A (2010) Feldspar: a domain specific language for digital signal processing algorithms. In: 8th ACM/IEEE international conference on formal methods and models for codesign

Cited by 36 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Runtime Verification in Real-Time with the Copilot Language: A Tutorial;Lecture Notes in Computer Science;2024-09-13

2. Efficient Temporal Logic Runtime Monitoring for Tiny Systems;Lecture Notes in Computer Science;2024-09-10

3. High-Integrity Runtime Verification;Computer;2024-04

4. The Troupe System: An autonomous multi-agent rover swarm;AIAA SCITECH 2024 Forum;2024-01-04

5. Evaluating virtualization for fog monitoring of real-time applications in mixed-criticality systems;Real-Time Systems;2023-11-01