JOURNAL ARTICLE
Runtime verification of embedded real-time systems
Thomas ReinbacherMatthias FüggerJörg Bräuer
Year: 2013 Journal: Formal Methods in System Design Vol: 44 (3)Pages: 203-239 Publisher: Springer Science+Business Media
Keywords:
Computer science Runtime verification Embedded system Operating system Real-time computing Programming language Formal verification
Metrics
34
Cited By
1.97
FWCI (Field Weighted Citation Impact)
84
Refs
0.88
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Real-Time Systems Scheduling
Physical Sciences → Computer Science → Hardware and Architecture
Embedded Systems Design Techniques
Physical Sciences → Computer Science → Hardware and Architecture
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
JOURNAL ARTICLE
Runtime verification of real-time embedded systems
Borzoo BonakdarpourSebastian Fischmeister
Year: 2012 Pages: 249-250
JOURNAL ARTICLE
REVERT: Runtime Verification for Real-Time Systems
Sangeeth KochantharaGeoffrey NelissenDavid PereiraRahul Purandare
Year: 2016 Pages: 365-365
JOURNAL ARTICLE
Runtime support for reconfigurable real-time embedded systems
Year: 2002 Vol: 3 Pages: 2111-2116
JOURNAL ARTICLE
Applying Runtime Verification in Real-Time Systems with FreeRTOS
Elton Ferreira BroeringLeandro Buss Becker
Year: 2022 Pages: 1-6