Runtime verification monitoring for automotive embedded systems using the ISO 26262 Functional Safety Standard as a guide for the definition of the monitored properties-Reference-Cited by-同舟云学术

Runtime verification monitoring for automotive embedded systems using the ISO 26262 Functional Safety Standard as a guide for the definition of the monitored properties

Published:2014-10 Issue:5 Volume:8 Page:193-203
ISSN:1751-8806
Container-title:IET Software
language:en
Short-container-title:IET softw.

Author:

Heffernan Donal¹,MacNamee Ciaran¹,Fogarty Padraig¹

Affiliation:

1. Department of Electronic and Computer Engineering University of Limerick Ireland

Publisher

Institution of Engineering and Technology (IET)

Subject

Computer Graphics and Computer-Aided Design

Link

https://onlinelibrary.wiley.com/doi/pdf/10.1049/iet-sen.2013.0236

Reference31 articles.

1. Havelund K. Goldberg A.: ‘Verify your runs’. Verified Software: Theories Tools Experiments (VSTTE'05)Zurich Switzerland October2005 pp.10–13.

2. Pike L. Niller S. Wegmann N.: ‘Runtime verification for ultra-critical systems’. Runtime Verification (pp. 310–324).Springer Berlin Heidelberg. January2012 pp.310–324

3. Freescale Semiconductor Inc.: ‘Automotive solutions brochure’.http://www.cache.freescale.com/files/microcontrollers/doc/brochure/BRAUTOSOL.pdf?tid=mQORIVVAhp. Accessed 28 May2013

4. Freescale Semiconductor Inc.: ‘Addressing the challenges of functional safety in the automotive and industrial markets’.http://www.cache.freescale.com/files/microcontrollers/doc/white_paper/FCTNLSFTYWP.pdf accessed 28 May2013

5. ISO 26262:2011 (all parts): ‘Road vehicles – functional safety. International standard’.2011

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

1. REDriver: Runtime Enforcement for Autonomous Vehicles;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

2. Context-aware environment online monitoring for safety autonomous vehicle systems: an automata-theoretic approach;Journal of Cloud Computing;2024-01-03

3. Safety of Perception Systems for Automated Driving: A Case Study on Apollo;ACM Transactions on Software Engineering and Methodology;2023-11-08

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

5. System-Level Fault Tolerance Design Process of Dual-Winding Motors for Overheat in Integrated Electric Braking System of Autonomous Vehicle;IEEE Transactions on Vehicular Technology;2023-03