On the public citation graph

Global Optimization of Fixed-Priority Real-Time Systems by RTOS-Aware Control-Flow Analysis

0 signed · 47 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-3-030-22570-4_10openalex-snapshot

Software Engineering of Real-Time Systems

inferredcites →https://doi.org/10.1007/978-3-030-60910-8openalex-snapshot

Embedded System Design

inferredcites →https://doi.org/10.1007/978-3-319-44932-6_8openalex-snapshot

Embedded System Design

inferredcites →https://doi.org/10.1007/s11241-007-9036-zopenalex-snapshot

Formal verification of multitasking applications based on timed automata model

inferredcites →https://doi.org/10.1109/24.994926openalex-snapshot

Control-flow checking by software signatures

inferredcites →https://doi.org/10.1109/40.476258openalex-snapshot

μITRON for small-scale embedded systems

inferredcites →https://doi.org/10.1109/71.774911openalex-snapshot

Design and evaluation of system-level checks for on-line control flow error detection

inferredcites →https://doi.org/10.1109/ats.2001.990300openalex-snapshot

Control-flow checking via regular expressions

inferredcites →https://doi.org/10.1109/dftvs.2003.1250158openalex-snapshot

Soft-error detection using control flow assertions

inferredcites →https://doi.org/10.1109/edcc.2015.28openalex-snapshot

FAIL*: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance

inferredcites →https://doi.org/10.1109/iolts.2008.52openalex-snapshot

Budget-Dependent Control-Flow Error Detection

inferredcites →https://doi.org/10.1109/isorc.2010.11openalex-snapshot

The RTSC: Leveraging the Migration from Event-Triggered to Time-Triggered Systems

inferredcites →https://doi.org/10.1109/rtas.2015.7108449openalex-snapshot

dOSEK: the design and implementation of a dependability-oriented static embedded kernel

inferredcites →https://doi.org/10.1109/tase.2011.11openalex-snapshot

Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP

inferredcites →https://doi.org/10.1109/tse.1980.234478openalex-snapshot

An Approach to Concurrent Control Flow Checking

inferredcites →https://doi.org/10.1145/1134285.1134292openalex-snapshot

Challenges in automotive software engineering

inferredcites →https://doi.org/10.1145/1460299.1460314openalex-snapshot

Applications of Boolean matrices to the analysis of flow diagrams

inferredcites →https://doi.org/10.1145/178243.178258openalex-snapshot

The program structure tree

inferredcites →https://doi.org/10.1145/1982185.1982267openalex-snapshot

I4Copter

inferredcites →https://doi.org/10.1145/2043910.2043927openalex-snapshot

Exploiting static application knowledge in a Java compiler for embedded systems

inferredcites →https://doi.org/10.1145/2670529.2754963openalex-snapshot

Cross-Kernel Control-Flow--Graph Analysis for Event-Driven Real-Time Systems

inferredcites →https://doi.org/10.1145/357062.357071openalex-snapshot

A fast algorithm for finding dominators in a flowgraph

inferredcites →https://doi.org/10.1145/377769.377778openalex-snapshot

Specialization tools and techniques for systematic optimization of system software

inferredcites →https://doi.org/10.1145/390013.808479openalex-snapshot

Control flow analysis

inferredcites →https://doi.org/10.1145/513829.513855openalex-snapshot

Inter-task register-allocation for static operating systems

inferredcites →https://doi.org/10.1145/53990.54007openalex-snapshot

Control flow analysis in scheme

inferredcites →https://doi.org/10.1145/960116.54007openalex-snapshot

Control flow analysis in scheme

inferredcites →https://doi.org/10.5555/326350.326357openalex-snapshot

Bochs: A Portable PC Emulator for Unix/X

inferredcites →https://doi.org/10.7916/d8t15bptopenalex-snapshot

The Synthesis Kernel

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-030-22397-7_15openalex-snapshot

Coordination of Tasks on a Real-Time OS

inferred← citeshttps://doi.org/10.1007/978-3-030-52017-5_4openalex-snapshot

Dependability Aspects in Configurable Embedded Operating Systems

inferred← citeshttps://doi.org/10.1007/s11241-024-09429-1openalex-snapshot

Applied static analysis and specialization of cross-core syscalls for multi-core AUTOSAR OS

inferred← citeshttps://doi.org/10.1016/j.scico.2020.102566openalex-snapshot

Hubs for VirtuosoNext: Online verification of real-time coordinators

inferred← citeshttps://doi.org/10.1088/2631-8695/ae36e8openalex-snapshot

Design of a MEMS DMD micro projection control system based on STM32 and FreeRTOS

inferred← citeshttps://doi.org/10.1109/rcar.2018.8621627openalex-snapshot

Real-Time LiDAR Data Assocation Aided by IMU in High Dynamic Environment

inferred← citeshttps://doi.org/10.1109/rtas.2017.37openalex-snapshot

SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems (Outstanding Paper)

inferred← citeshttps://doi.org/10.1109/rtas.2019.00034openalex-snapshot

Proving Real-Time Capability of Generic Operating Systems by System-Aware Timing Analysis

inferred← citeshttps://doi.org/10.1109/rtas52030.2021.00039openalex-snapshot

ARA: Static Initialization of Dynamically-Created System Objects

inferred← citeshttps://doi.org/10.1109/rtas58335.2023.00028openalex-snapshot

MultiSSE: Static Syscall Elision and Specialization for Event-Triggered Multi-Core RTOS

inferred← citeshttps://doi.org/10.1109/rtss.2018.00049openalex-snapshot

Semi-Extended Tasks: Efficient Stack Sharing Among Blocking Threads

inferred← citeshttps://doi.org/10.1109/rtss66672.2025.00041openalex-snapshot

Dynamic Fuzzing-Based Whole-System Timing Analysis

inferred← citeshttps://doi.org/10.1145/3126503openalex-snapshot

Demystifying Soft-Error Mitigation by Control-Flow Checking -- A New Perspective on its Effectiveness

inferred← citeshttps://doi.org/10.17485/ijst/v14i16.387openalex-snapshot

Benchmarking and Comparison of Two Open-source RTOSs for Embedded Systems Based on ARM Cortex-M4 MCU

inferred← citeshttps://doi.org/10.23919/fmcad.2017.8102260openalex-snapshot

Automatic verification of application-tailored OSEK kernels

inferred← citeshttps://doi.org/10.3390/electronics8020166openalex-snapshot

SSCFM: Separate Signature-Based Control Flow Error Monitoring for Multi-Threaded and Multi-Core Environments

inferred← citeshttps://doi.org/10.37394/232018.2026.14.13openalex-snapshot

ARDION: Designing Visitor-Centered Storytelling Tools for Archaeological Sites with AI and Gamification Techniques

inferred← citeshttps://doi.org/10.4018/ijertcs.2018010104openalex-snapshot

A Review of the Scopes and Challenges of the Modern Real-Time Operating Systems

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.