On the public citation graph

COMDES-II: A Component-Based Framework for Generative Development of Distributed Real-Time Control Systems

0 signed · 74 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/11813040_1openalex-snapshot
The Embedded Systems Design Challenge
inferredcites →https://doi.org/10.1007/978-0-387-39362-9_16openalex-snapshot
Distributed Timed Multitasking - A Model of Computation for Hard Real-Time Distributed Systems
inferredcites →https://doi.org/10.1007/978-3-540-24743-2_24openalex-snapshot
Event-Driven Programming with Logical Execution Times
inferredcites →https://doi.org/10.1016/s0065-2458(02)80004-3openalex-snapshot
Embedded Software
inferredcites →https://doi.org/10.1109/euromicro.2006.6openalex-snapshot
A Component-Based Framework for Distributed Control Systems
inferredcites →https://doi.org/10.1109/mcs.2003.1172830openalex-snapshot
Timed multitasking for real-time embedded software

What points at this work

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

inferred← citeshttps://doi.org/10.1002/sys.21675openalex-snapshot
Component‐based specification, design and verification of adaptive systems
inferred← citeshttps://doi.org/10.1007/978-1-4614-3879-3_9openalex-snapshot
Extracting End-to-End Timing Models from Component-Based Distributed Embedded Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-20652-9_12openalex-snapshot
Towards a Two-Layer Framework for Verifying Autonomous Vehicles
inferred← citeshttps://doi.org/10.1007/978-3-030-59028-4_6openalex-snapshot
Mode Switching from a Security Perspective: First Findings of a Systematic Literature Review
inferred← citeshttps://doi.org/10.1007/978-3-031-43681-9_5openalex-snapshot
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers
inferred← citeshttps://doi.org/10.1007/978-3-031-52183-6_2openalex-snapshot
Model-Based Testing of Asynchronously Communicating Distributed Controllers
inferred← citeshttps://doi.org/10.1007/978-3-319-54978-1_75openalex-snapshot
Extending Automotive Legacy Systems with Existing End-to-End Timing Constraints
inferred← citeshttps://doi.org/10.1007/978-3-319-54978-1_76openalex-snapshot
Modeling of Vehicular Distributed Embedded Systems: Transition from Single-Core to Multi-core
inferred← citeshttps://doi.org/10.1007/978-3-319-61482-3_17openalex-snapshot
Technology-Preserving Transition from Single-Core to Multi-core in Modelling Vehicular Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-72215-3_9openalex-snapshot
Modeling, Designing and Analyzing Resource Reservations in Distributed Embedded Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-77028-4_90openalex-snapshot
Extracting Timing Models from Component-Based Multi-Criticality Vehicular Embedded Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-68624-8_19openalex-snapshot
An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications
inferred← citeshttps://doi.org/10.1007/978-3-540-87891-9openalex-snapshot
Component-Based Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-540-87891-9_12openalex-snapshot
Structural Testing of Component-Based Systems
inferred← citeshttps://doi.org/10.1007/978-94-007-2105-0_40openalex-snapshot
Exploring Options for Modeling of Real-Time Network Communication in an Industrial Component Model for Distributed Embedded Systems
inferred← citeshttps://doi.org/10.1007/s10270-017-0579-8openalex-snapshot
Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints
inferred← citeshttps://doi.org/10.1007/s10270-017-0583-zopenalex-snapshot
Transactional execution of hierarchical reconfigurations in cyber-physical systems
inferred← citeshttps://doi.org/10.1007/s10270-020-00795-5openalex-snapshot
Modelling multi-criticality vehicular software systems: evolution of an industrial component model
inferred← citeshttps://doi.org/10.1007/s10270-020-00806-5openalex-snapshot
Mixed-semantics composition of statecharts for the component-based design of reactive systems
inferred← citeshttps://doi.org/10.1007/s11334-026-00643-7openalex-snapshot
Integration test generation for state-based components in the Gamma framework
inferred← citeshttps://doi.org/10.1016/j.csi.2012.03.003openalex-snapshot
H: A component-based specification language for heterogeneous applications
inferred← citeshttps://doi.org/10.1016/j.jss.2012.09.036openalex-snapshot
Design of component-based real-time applications
inferred← citeshttps://doi.org/10.1016/j.jss.2019.110488openalex-snapshot
Component-based development of embedded systems with GPUs
inferred← citeshttps://doi.org/10.1016/j.micpro.2016.01.007openalex-snapshot
Component-based design of cyber-physical applications with safety-critical requirements
inferred← citeshttps://doi.org/10.1016/j.micpro.2018.10.002openalex-snapshot
A network interface device for networked control system with time-driven mode
inferred← citeshttps://doi.org/10.1016/j.scico.2025.103265openalex-snapshot
Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations
inferred← citeshttps://doi.org/10.1016/j.sysarc.2012.04.001openalex-snapshot
Compositional real-time models
inferred← citeshttps://doi.org/10.1016/j.sysarc.2013.10.008openalex-snapshot
Communications-oriented development of component-based vehicular distributed real-time embedded systems
inferred← citeshttps://doi.org/10.1016/j.sysarc.2015.01.002openalex-snapshot
FASA: A software architecture and runtime framework for flexible distributed automation systems
inferred← citeshttps://doi.org/10.1016/j.sysarc.2021.102137openalex-snapshot
Time-Sensitive Networking in automotive embedded systems: State of the art and research opportunities
inferred← citeshttps://doi.org/10.1049/iet-sen.2017.0202openalex-snapshot
Comparative analysis of variability modelling approaches in component models
inferred← citeshttps://doi.org/10.1109/acdsa59508.2024.10467927openalex-snapshot
Evolution of an Automotive Modelling Language for Enhanced Support of Diverse Network Interface Controllers
inferred← citeshttps://doi.org/10.1109/apsec.2013.61openalex-snapshot
Handling Multiple Mode Switch Scenarios in Component-Based Multi-mode Systems
inferred← citeshttps://doi.org/10.1109/bigdata47090.2019.9006175openalex-snapshot
Auto-CNNp: a component-based framework for automating CNN parallelism
inferred← citeshttps://doi.org/10.1109/cit.2010.326openalex-snapshot
A Model Checking Approach for Multi-core Time Partitions Design
inferred← citeshttps://doi.org/10.1109/compsac.2009.184openalex-snapshot
Transformational Specification of Complex Legacy Real-Time Systems via Semantic Anchoring
inferred← citeshttps://doi.org/10.1109/csci49370.2019.00179openalex-snapshot
Automating CNN Parallelism with Components
inferred← citeshttps://doi.org/10.1109/ecbs.2010.20openalex-snapshot
Timed Automata Model for Component-Based Real-Time Systems
inferred← citeshttps://doi.org/10.1109/ecbs.2012.46openalex-snapshot
Towards Modeling and Holistic Timing Analysis of Industrial Component-Based DRE Systems
inferred← citeshttps://doi.org/10.1109/ecrts.2012.23openalex-snapshot
Timing Analysis for Mode Switch in Component-Based Multi-mode Systems
inferred← citeshttps://doi.org/10.1109/etfa.2013.6647998openalex-snapshot
Reconciling flexibility and robustness in industrial automation systems, and living happily ever after
inferred← citeshttps://doi.org/10.1109/etfa.2013.6648010openalex-snapshot
Mode-change mechanisms support for hierarchical FreeRTOS implementation
inferred← citeshttps://doi.org/10.1109/icsea.2008.58openalex-snapshot
A Component Model Family for Vehicular Embedded Systems
inferred← citeshttps://doi.org/10.1109/iecon.2017.8217478openalex-snapshot
Modeling and timing analysis of vehicle functions distributed over switched ethernet
inferred← citeshttps://doi.org/10.1109/rtcsa.2008.32openalex-snapshot
Verification of COMDES-II Systems Using UPPAAL with Model Transformation
inferred← citeshttps://doi.org/10.1109/rtcsa.2008.33openalex-snapshot
A Run-Time Environment Supporting Real-Time Execution of Embedded Control Applications
inferred← citeshttps://doi.org/10.1109/rtcsa.2015.24openalex-snapshot
End-to-End Timing Analysis of Black-Box Models in Legacy Vehicular Distributed Embedded Systems
inferred← citeshttps://doi.org/10.1109/seaa.2008.38openalex-snapshot
Reconfigurable State Machine Components for Embedded Applications
inferred← citeshttps://doi.org/10.1109/seaa.2009.53openalex-snapshot
Formal Semantics of the ProCom Real-Time Component Model
inferred← citeshttps://doi.org/10.1109/seaa.2010.43openalex-snapshot
Deployment Modelling and Synthesis in a Component Model for Distributed Embedded Systems
inferred← citeshttps://doi.org/10.1109/seaa.2011.43openalex-snapshot
Analyzable Modeling of Legacy Communication in Component-Based Distributed Embedded Systems
inferred← citeshttps://doi.org/10.1109/seaa.2016.22openalex-snapshot
Modeling of End-to-End Resource Reservations in Component-Based Vehicular Embedded Systems
inferred← citeshttps://doi.org/10.1109/seaa.2019.00029openalex-snapshot
Holistic Modeling of Time Sensitive Networking in Component-Based Vehicular Embedded Systems
inferred← citeshttps://doi.org/10.1109/ser-ip.2017..1openalex-snapshot
Provisioning of Predictable Embedded Software in the Vehicle Industry: The Rubus Approach
inferred← citeshttps://doi.org/10.1109/sies.2012.6356606openalex-snapshot
Implementing hierarchical scheduling to support multi-mode system
inferred← citeshttps://doi.org/10.1109/tase.2009.38openalex-snapshot
Semantics for Communicating Actors with Interdependent Real-Time Deadlines
inferred← citeshttps://doi.org/10.1109/tii.2018.2879544openalex-snapshot
Recent Advances and Trends in On-Board Embedded and Networked Automotive Systems
inferred← citeshttps://doi.org/10.1109/tse.2010.83openalex-snapshot
A Classification Framework for Software Component Models
inferred← citeshttps://doi.org/10.1109/wicsa.2016.11openalex-snapshot
Modern Software Architecture for Embedded Real-Time Devices: High Value, Little Overhead
inferred← citeshttps://doi.org/10.1145/2038617.2038620openalex-snapshot
Timing analysis for a composable mode switch
inferred← citeshttps://doi.org/10.1145/2304736.2304766openalex-snapshot
Towards mode switch handling in component-based multi-mode systems
inferred← citeshttps://doi.org/10.1145/2465449.2465451openalex-snapshot
Mode switch handling for the ProCom component model
inferred← citeshttps://doi.org/10.1145/3727967.3756826openalex-snapshot
Problem-Based Learning in an Educational and Training Module on Model-Based Development of Vehicle Software
inferred← citeshttps://doi.org/10.17560/atp.v54i12.364openalex-snapshot
Automatisierung mit FASA
inferred← citeshttps://doi.org/10.20944/preprints202205.0398.v1openalex-snapshot
A Survey and Evaluation Model for Generative Software Development (GSD)
inferred← citeshttps://doi.org/10.3390/designs2040039openalex-snapshot
Fighting CPS Complexity by Component-Based Software Development of Multi-Mode Systems
inferred← citeshttps://doi.org/10.3390/s17051013openalex-snapshot
Distributed and Modular CAN-Based Architecture for Hardware Control and Sensor Data Integration
inferred← citeshttps://doi.org/10.5772/25644openalex-snapshot
A Robotic Wheelchair Component-Based Software Development
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.