On the public citation graph
HRT-HOOD: A structured design method for hard real-time systems
0 signed · 161 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-55585-4_11openalex-snapshot
Designing hard real-time systems
inferredcites →https://doi.org/10.1007/3-540-56802-6_19openalex-snapshot
The impact of an Ada run-time system's performance characteristics on scheduling models
inferredcites →https://doi.org/10.1007/3-540-56802-6_3openalex-snapshot
The olympus attitude and orbital control system A case study in hard real-time system design and implementation
inferredcites →https://doi.org/10.1007/978-1-4899-2957-0openalex-snapshot
Software Design for Real-time Systems
inferredcites →https://doi.org/10.1007/bf00365407openalex-snapshot
Allocating hard real-time tasks: An NP-Hard problem made easy
inferredcites →https://doi.org/10.1007/bf01257086openalex-snapshot
Task allocation in fault-tolerant distributed systems
inferredcites →https://doi.org/10.1007/bf02341921openalex-snapshot
Forecasting real-Time behavior during software design using a CASE environment
inferredcites →https://doi.org/10.1016/0166-5316(82)90024-4openalex-snapshot
On the complexity of fixed-priority scheduling of periodic, real-time tasks
inferredcites →https://doi.org/10.1016/0967-0661(93)91610-9openalex-snapshot
Hierarchical object-oriented design
inferredcites →https://doi.org/10.1016/0967-0661(93)92105-dopenalex-snapshot
Deadline monotonic scheduling theory and application
inferredcites →https://doi.org/10.1016/b978-0-08-041708-0.50016-7openalex-snapshot
The drtee architecture for distributed hard real-time systems
inferredcites →https://doi.org/10.1049/ip-e.1983.0001openalex-snapshot
CONIC: an integrated approach to distributed computer control systems
inferredcites →https://doi.org/10.1049/sej.1991.0011openalex-snapshot
The design of real-time systems: from specification to implementation and verification
inferredcites →https://doi.org/10.1049/sej.1991.0015openalex-snapshot
Scheduling hard real-time systems: a review
inferredcites →https://doi.org/10.1049/sej.1994.0006openalex-snapshot
Embedded Real-Time Systems: a Specification and Design Methodology
inferredcites →https://doi.org/10.1093/comjnl/34.2.164openalex-snapshot
Development Methods for Real-Time Systems
inferredcites →https://doi.org/10.1093/comjnl/34.2.173openalex-snapshot
A Framework for Building Dependable Systems
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/12.57058openalex-snapshot
Priority inheritance protocols: an approach to real-time synchronization
inferredcites →https://doi.org/10.1109/32.48943openalex-snapshot
Scheduling processes with release times, deadlines, precedence and exclusion relations
inferredcites →https://doi.org/10.1109/ftcs.1990.89386openalex-snapshot
The Delta-4 extra performance architecture (XPA)
inferredcites →https://doi.org/10.1109/ftdcs.1988.26709openalex-snapshot
A model for change management
inferredcites →https://doi.org/10.1109/icdcs.1990.89256openalex-snapshot
Allocation and scheduling of complex periodic tasks
inferredcites →https://doi.org/10.1109/icdcs.1990.89319openalex-snapshot
A branch-and-bound-with-underestimates algorithm for the task assignment problem with precedence constraint
inferredcites →https://doi.org/10.1109/tc.1987.5009518openalex-snapshot
Preemptive Scheduling Under Time and Resource Constraints
inferredcites →https://doi.org/10.1109/tse.1986.6313049openalex-snapshot
Real-Time Euclid: A language for reliable real-time systems
inferredcites →https://doi.org/10.1145/321738.321743openalex-snapshot
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
inferredcites →https://doi.org/10.1145/71021.71029openalex-snapshot
The real-time operating system of MARS
inferredcites →https://doi.org/10.1287/opre.26.1.127openalex-snapshot
On a Real-Time Scheduling Problem
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/(sici)1097-024x(199903)29:3<235::aid-spe231>3.0.co;2-7openalex-snapshot
A software process for the construction of predictable on-board embedded real-time systems
inferred← citeshttps://doi.org/10.1002/cpe.1728openalex-snapshot
A model‐based development approach for the verification of real‐time Java code
inferred← citeshttps://doi.org/10.1002/spe.436openalex-snapshot
Engineering software reuse for on‐board embedded real‐time systems
inferred← citeshttps://doi.org/10.1007/0-306-48738-1_12openalex-snapshot
Schedulability Analysis with UML
inferred← citeshttps://doi.org/10.1007/11563228_19openalex-snapshot
Safety Interfaces for Component-Based Systems
inferred← citeshttps://doi.org/10.1007/3-540-36228-2_119openalex-snapshot
W-CoSIM (Web-Based Hardware-Software CoSimulator) - A Design-Time Simulation Tool for Estimating the Performance of Online Multimedia Applications
inferred← citeshttps://doi.org/10.1007/3-540-44813-6_20openalex-snapshot
A Family-Oriented Software Development Process for Engine Controllers
inferred← citeshttps://doi.org/10.1007/3-540-44947-7_27openalex-snapshot
A Test Environment for High Integrity Software Development
inferred← citeshttps://doi.org/10.1007/3-540-44947-7_31openalex-snapshot
HRT-UML: Taking HRT-HOOD onto UML
inferred← citeshttps://doi.org/10.1007/3-540-44947-7_6openalex-snapshot
Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software
inferred← citeshttps://doi.org/10.1007/3-540-45136-6_27openalex-snapshot
Modelling Communication Interfaces with ComiX
inferred← citeshttps://doi.org/10.1007/3-540-46852-8_25openalex-snapshot
Modeling Hard Real Time Systems with UML The OOHARTS Approach
inferred← citeshttps://doi.org/10.1007/3-540-46852-8_32openalex-snapshot
SDL as UML: Why and What Panel
inferred← citeshttps://doi.org/10.1007/3-540-48249-0_15openalex-snapshot
System and Software Safety Analysis for the ERA Control Computer
inferred← citeshttps://doi.org/10.1007/3-540-48753-0_11openalex-snapshot
Environment for the Development and Specification of Real-Time Ada Programs
inferred← citeshttps://doi.org/10.1007/3-540-48753-0_36openalex-snapshot
A Case Study in the Reuse of On-Board Embedded Real-Time Software
inferred← citeshttps://doi.org/10.1007/3-540-58822-1_109openalex-snapshot
Ada controls the European robotic arm
inferred← citeshttps://doi.org/10.1007/3-540-61363-3_23openalex-snapshot
Modeling and analysing DART systems through high-level Petri nets
inferred← citeshttps://doi.org/10.1007/3-540-63010-4_13openalex-snapshot
Transformational formal development of real-time systems
inferred← citeshttps://doi.org/10.1007/3-540-69687-3_81openalex-snapshot
Formalising Real-time System Design
inferred← citeshttps://doi.org/10.1007/978-0-387-35064-6_21openalex-snapshot
The Shall Design Test Development Model for Hardware Systems
inferred← citeshttps://doi.org/10.1007/978-0-387-84814-3_22openalex-snapshot
Modeling Diversity in Recovery Computer Systems
inferred← citeshttps://doi.org/10.1007/978-0-585-35223-7_2openalex-snapshot
Fundamentals of Implementing Real-Time Control Applications in Distributed Computer Systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-0135-2_4openalex-snapshot
Converse: A Family-Oriented Software Development Process for Engine Controllers
inferred← citeshttps://doi.org/10.1007/978-3-319-09816-6_1openalex-snapshot
Software Engineering for Aerospace: State of the Art
inferred← citeshttps://doi.org/10.1007/978-3-319-92432-8_9openalex-snapshot
Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP
inferred← citeshttps://doi.org/10.1007/978-3-540-31797-5_16openalex-snapshot
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors
inferred← citeshttps://doi.org/10.1007/978-3-540-31869-9_1openalex-snapshot
Component-Based Design of Embedded Software: An Analysis of Design Issues
inferred← citeshttps://doi.org/10.1007/978-3-540-73230-3_10openalex-snapshot
A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-16558-0_3openalex-snapshot
Enforcing Applicability of Real-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns
inferred← citeshttps://doi.org/10.1007/978-3-642-30598-6_1openalex-snapshot
Ada Ravenscar Code Archetypes for Component-Based Development
inferred← citeshttps://doi.org/10.1007/978-981-287-251-7_57openalex-snapshot
Modeling of Real-Time Software Systems
inferred← citeshttps://doi.org/10.1007/978-981-4585-87-3_57-1openalex-snapshot
Modeling of Real-Time Software Systems
inferred← citeshttps://doi.org/10.1007/bfb0000472openalex-snapshot
Refinement rules for real-time multi-tasking programs
inferred← citeshttps://doi.org/10.1007/bfb0013479openalex-snapshot
Mapping HRT-HOOD® designs to Ada 95 hierarchical libraries
inferred← citeshttps://doi.org/10.1007/bfb0015508openalex-snapshot
Transaction specification for object-oriented real-time systems in HRT-HOOD
inferred← citeshttps://doi.org/10.1007/bfb0027290openalex-snapshot
Integrating VDM++ and real-time system design
inferred← citeshttps://doi.org/10.1007/s10270-007-0050-3openalex-snapshot
A modelling and simulation based process for dependable systems design
inferred← citeshttps://doi.org/10.1007/s10617-016-9172-6openalex-snapshot
System-level design based on UML/MARTE for FPGA-based embedded real-time systems
inferred← citeshttps://doi.org/10.1007/s11241-009-9072-yopenalex-snapshot
Investigating the usability of real-time scheduling theory with the Cheddar project
inferred← citeshttps://doi.org/10.1007/s11334-008-0044-5openalex-snapshot
Automatic framework generation for hard real-time applications
inferred← citeshttps://doi.org/10.1016/0066-4138(94)90025-6openalex-snapshot
An architecture supporting real-time programming and implementations
inferred← citeshttps://doi.org/10.1016/0950-5849(94)90060-4openalex-snapshot
Software engineering for parallel systems
inferred← citeshttps://doi.org/10.1016/0967-0661(95)00071-2openalex-snapshot
An architecture supporting hard real-time computing
inferred← citeshttps://doi.org/10.1016/b978-0-08-042593-1.50006-7openalex-snapshot
ON THE MODELLING OF DISTRIBUTED REAL-TIME CONTROL APPLICATIONS
inferred← citeshttps://doi.org/10.1016/j.jpdc.2005.06.004openalex-snapshot
Rapid performance re-engineering of distributed embedded systems via latency analysis and -level diagonal search
inferred← citeshttps://doi.org/10.1016/j.sysarc.2019.101702openalex-snapshot
Enabling Ada and OpenMP runtimes interoperability through template-based execution
inferred← citeshttps://doi.org/10.1016/s0020-0255(99)00039-0openalex-snapshot
A wide-spectrum language for object-based development of real-time systems
inferred← citeshttps://doi.org/10.1016/s0141-9331(99)00070-8openalex-snapshot
A modelling framework to support the design and analysis of distributed real-time control systems
inferred← citeshttps://doi.org/10.1016/s0164-1212(00)00125-4openalex-snapshot
An approach to modeling and evaluation of functional and timing specifications of real-time systems
inferred← citeshttps://doi.org/10.1016/s0167-739x(00)00086-8openalex-snapshot
Building a model for real-time simulation
inferred← citeshttps://doi.org/10.1016/s0950-5849(02)00023-xopenalex-snapshot
A framework for evaluating the effectiveness of real-time object-oriented models
inferred← citeshttps://doi.org/10.1016/s0950-5849(98)00108-6openalex-snapshot
Productive engineering of predictable embedded real-time systems: the road to maturity
inferred← citeshttps://doi.org/10.1016/s0950-5849(99)00012-9openalex-snapshot
Integrating structured OO approaches with formal techniques for the development of real-time systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)45981-7openalex-snapshot
An Architecture Supporting Real-Time Programming and Implementations
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)46661-4openalex-snapshot
On the Modelling of Distributed Real-time Control Applications
inferred← citeshttps://doi.org/10.1023/a:1007964222989openalex-snapshot
Fundamentals of Implementing Real-Time Control Applications in Distributed Computer Systems
inferred← citeshttps://doi.org/10.1023/a:1008110812851openalex-snapshot
Real-Time Object-Oriented Design and Formal Methods
inferred← citeshttps://doi.org/10.1023/a:1018942406449openalex-snapshot
ATOM: An object-based formal method for real-time systems
inferred← citeshttps://doi.org/10.1023/a:1022804400802openalex-snapshot
Integrating Schedulability Analysis and Design Techniques in SDL
inferred← citeshttps://doi.org/10.1088/1742-6596/1345/2/022031openalex-snapshot
Expressibility Required to Design Embedded and Real-time Systems
inferred← citeshttps://doi.org/10.1109/40.958699openalex-snapshot
Design validation of embedded dependable systems
inferred← citeshttps://doi.org/10.1109/54.867891openalex-snapshot
System specification experiments on a common benchmark
inferred← citeshttps://doi.org/10.1109/access.2020.2979354openalex-snapshot
A Parameterized Formal Model for the Analysis of Preemption-Threshold Scheduling in Real-Time Systems
inferred← citeshttps://doi.org/10.1109/aero.1996.495975openalex-snapshot
Autonomous attitude determination and control system for the Orsted satellite
inferred← citeshttps://doi.org/10.1109/apsec.1998.733588openalex-snapshot
A refinement calculus for the development of real-time systems
inferred← citeshttps://doi.org/10.1109/cahpc.2003.1250323openalex-snapshot
A modeling methodology and pre-run-time scheduling for embedded real-time software
inferred← citeshttps://doi.org/10.1109/ccece.1998.682770openalex-snapshot
Real-time system design: a temporal perspective
inferred← citeshttps://doi.org/10.1109/date.2000.840861openalex-snapshot
From high-level specifications down to software implementations of parallel embedded real-time systems
inferred← citeshttps://doi.org/10.1109/date.2004.1268873openalex-snapshot
SoftContract: an assertion-based software development process that enables design-by-contract
inferred← citeshttps://doi.org/10.1109/date.2008.4484888openalex-snapshot
ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis
inferred← citeshttps://doi.org/10.1109/ecbs.1997.581880openalex-snapshot
CHaRy: the C-LAB hard real-time system to support mechatronical design
inferred← citeshttps://doi.org/10.1109/ecbs.2000.839863openalex-snapshot
Modeling and simulating functional and timing aspects of real-time systems by delegated execution
inferred← citeshttps://doi.org/10.1109/ecrts.2005.9openalex-snapshot
Automated Model-Based Generation of Ravenscar-Compliant Source Code
inferred← citeshttps://doi.org/10.1109/emrts.2000.853997openalex-snapshot
Designing for schedulability: integrating schedulability analysis with object-oriented design
inferred← citeshttps://doi.org/10.1109/emrts.2003.1212747openalex-snapshot
Issues in mapping HRT-HOOD to UML
inferred← citeshttps://doi.org/10.1109/etfa.1995.496676openalex-snapshot
Integrated control of autonomous mobile robots
inferred← citeshttps://doi.org/10.1109/eurmic.2004.1333350openalex-snapshot
Component-based real-time design: mapping HRT-HOOD to UML
inferred← citeshttps://doi.org/10.1109/ftdcs.1995.524966openalex-snapshot
Real-time distributed computing
inferred← citeshttps://doi.org/10.1109/hase.1996.618583openalex-snapshot
Transaction integration for reusable hard real-time components
inferred← citeshttps://doi.org/10.1109/hase.2000.895443openalex-snapshot
Capturing an application's temporal properties with UML for Real-Time
inferred← citeshttps://doi.org/10.1109/icdcsw.2004.1284131openalex-snapshot
A time Petri net approach for finding preruntime schedules in embedded hard real-time systems
inferred← citeshttps://doi.org/10.1109/isorc.1998.666804openalex-snapshot
Timing analysis in OO system life-cycles
inferred← citeshttps://doi.org/10.1109/isorc.2000.839552openalex-snapshot
Automatic synthesis of multi-tasking implementations from real-time object-oriented models
inferred← citeshttps://doi.org/10.1109/isorc.2007.9openalex-snapshot
A Profile for Safety Critical Java
inferred← citeshttps://doi.org/10.1109/isorc.2014.45openalex-snapshot
Aspect-Oriented Model-Driven Engineering for FPGA/VHDL Based Embedded Real-Time Systems
inferred← citeshttps://doi.org/10.1109/pads.2002.1004212openalex-snapshot
Experiment scheduling in faster-than-real-time simulation
inferred← citeshttps://doi.org/10.1109/real.1998.739733openalex-snapshot
Detailed design of avionics control software
inferred← citeshttps://doi.org/10.1109/real.2000.895993openalex-snapshot
Scalable real-time system design using preemption thresholds
inferred← citeshttps://doi.org/10.1109/romoco.2013.6614597openalex-snapshot
Design of asynchronously stimulated robot behaviours
inferred← citeshttps://doi.org/10.1109/rta.1993.263085openalex-snapshot
Towards hard real-time system engineering
inferred← citeshttps://doi.org/10.1109/rtas.2005.24openalex-snapshot
From Functional Blocks to the Synthesis of the Architectural Model in Embedded Real-time Applications
inferred← citeshttps://doi.org/10.1109/rtcsa.1999.811199openalex-snapshot
A C language extension for programming real-time applications
inferred← citeshttps://doi.org/10.1109/rtcsa.2006.53openalex-snapshot
Property-Preserving Reuse-Geared Approach to Model-Driven Development
inferred← citeshttps://doi.org/10.1109/rtse.1998.766516openalex-snapshot
Using Hartstone Uniprocessor Benchmark in a real-time systems course
inferred← citeshttps://doi.org/10.1109/rtse.1998.766523openalex-snapshot
Teaching real-time systems at DIT/UPM
inferred← citeshttps://doi.org/10.1109/rttas.1995.516219openalex-snapshot
BASEMENT: a distributed real-time architecture for vehicle applications
inferred← citeshttps://doi.org/10.1109/sbesc.2014.12openalex-snapshot
On Generating VHDL Descriptions from Aspect-Oriented UML/MARTE Models
inferred← citeshttps://doi.org/10.1109/sefm.2010.39openalex-snapshot
TART: Timed-Automata to Real-Time Java Tool
inferred← citeshttps://doi.org/10.1109/sew.2007.83openalex-snapshot
A Generative Approach to Building a Framework for Hard Real-Time Applications
inferred← citeshttps://doi.org/10.1109/tencon.2000.888756openalex-snapshot
A review of real-time software engineering methodologies for developing a wall-climbing robot control firmware
inferred← citeshttps://doi.org/10.1109/tse.2006.39openalex-snapshot
Task construction for model-based design of embedded control software
inferred← citeshttps://doi.org/10.1109/wordsf.1999.842339openalex-snapshot
Towards automatic synthesis of QoS preserving implementations from object-oriented design models
inferred← citeshttps://doi.org/10.1109/wpdrts.1997.637990openalex-snapshot
An evolutionary approach to the construction of new-generation software-intensive satellite control systems
inferred← citeshttps://doi.org/10.1145/1185642.1185653openalex-snapshot
Refactoring of an Ada 95 library with a Meta CASE tool
inferred← citeshttps://doi.org/10.1145/1185875.1185653openalex-snapshot
Refactoring of an Ada 95 library with a Meta CASE tool
inferred← citeshttps://doi.org/10.1145/1316002.1316013openalex-snapshot
Ada 2005 code patterns for metamodel-based code generation
inferred← citeshttps://doi.org/10.1145/1363686.1363765openalex-snapshot
Towards a model-driven engineering approach for developing embedded hard real-time software
inferred← citeshttps://doi.org/10.1145/1647420.1647435openalex-snapshot
Validate, simulate, and implement ARINC653 systems using the AADL
inferred← citeshttps://doi.org/10.1145/1653616.1647435openalex-snapshot
Validate, simulate, and implement ARINC653 systems using the AADL
inferred← citeshttps://doi.org/10.1145/2070336.2070359openalex-snapshot
An Ada design pattern recognition tool for AADL performance analysis
inferred← citeshttps://doi.org/10.1145/2070337.2070359openalex-snapshot
An Ada design pattern recognition tool for AADL performance analysis
inferred← citeshttps://doi.org/10.1145/2597457.2597463openalex-snapshot
Composition of design patterns
inferred← citeshttps://doi.org/10.1145/271658.271686openalex-snapshot
Communication and distribution tools for embedded distributed applications
inferred← citeshttps://doi.org/10.1145/271662.271686openalex-snapshot
Communication and distribution tools for embedded distributed applications
inferred← citeshttps://doi.org/10.1145/343647.343894openalex-snapshot
From high-level specifications down to software implementations of parallel embedded real-time systems
inferred← citeshttps://doi.org/10.1145/997119.997120openalex-snapshot
Guide for the use of the Ada Ravenscar Profile in high integrity systems
inferred← citeshttps://doi.org/10.1177/0037549703039947openalex-snapshot
Timing Issues and Experiment Scheduling in Faster-Than-Real-Time Simulation
inferred← citeshttps://doi.org/10.1177/0037549708092223openalex-snapshot
DEVS Approach to Real-time RTI Design for Large-scale Distributed Simulation Systems
inferred← citeshttps://doi.org/10.20868/upm.thesis.39169openalex-snapshot
A framework for mixed-criticality partitioned real-time embedded systems
inferred← citeshttps://doi.org/10.2316/journal.201.2006.2.201-1590openalex-snapshot
INTEGRATING SCHEDULABILITY ANALYSIS WITH UML-RT
inferred← citeshttps://doi.org/10.3182/20050703-6-cz-1902.01069openalex-snapshot
SOFTWARE METHODOLOGICAL AND TOOL SUPPORT FOR EMBEDDED CONTROL SYSTEMS
inferred← citeshttps://doi.org/10.3724/sp.j.1001.2010.03700openalex-snapshot
AADL: An Architecture Design and Analysis Language for Complex Embedded Real-Time Systems
inferred← citeshttps://doi.org/10.4236/jsea.2016.97025openalex-snapshot
A Decision Support Framework for the Choice of Languages and Methods for the Design of Real Time Embedded Systems
inferred← citeshttps://doi.org/10.5821/dissertation-2117-121011openalex-snapshot
High-level compiler analysis for OpenMP
inferred← citeshttps://doi.org/10.70675/22863eeaz1d7bz4d67zac24zfa165f899ab4openalex-snapshot
Développement des systèmes logiciels par transformation de modèles : application aux systèmes embarqués et à la robotique
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.