HRT-HOOD: A structured design method for hard real-time systems

No abstract is available for this paper.

• Publication year

  2005

• Venue

  Real-time systems

• Publication date

  Unknown publication date

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/BF01245300
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Operating System Principles

  2004cited by this paper
• STRESS: A simulator for hard real‐time systems

  1994cited by this paper
• The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-Time System Design and Implementation

  1993cited by this paper
• Embedded real-time systems: a specification and design methodology

  1993cited by this paper
• The Impact of an Ada Run-Time System's Performance Characteristics on Scheduling Models

  1993cited by this paper
• Deadline monotonic scheduling theory and application

  1993cited by this paper
• The drtee architecture for distributed hard real-time systems

  1992cited by this paper
• An Investigation into Modelling and categorisation of Non-Functional Requirements (for the Specification of Surface Naval Command Systems)

  1991cited by this paper
• A Framework for Building Dependable Systems

  1991cited by this paper
• Development Methods for Real-Time Systems

  1991cited by this paper
• Scheduling hard real-time systems: a review

  1991influential reference
• Software Design for Real-time Systems

  1991cited by this paper
• The design of real-time systems: from specification to implementation and verification

  1991cited by this paper
• The Delta-4 extra performance architecture (XPA)

  1990cited by this paper
• A branch-and-bound-with-underestimates algorithm for the task assignment problem with precedence constraint

  1990cited by this paper
• Allocation and scheduling of complex periodic tasks

  1990cited by this paper
• Scheduling Processes with Release Times, Deadlines, Precedence, and Exclusion Relations

  1990cited by this paper
• Priority Inheritance Protocols: An Approach to Real-Time Synchronization

  1990cited by this paper
• Heuristic Scheduling for Distributed Hard Real-Time Systems

  1989cited by this paper
• Forecasting real-Time behavior during software design using a CASE environment

  1989cited by this paper
• The real-time operating system of MARS

  1989cited by this paper
• Real-Time Euclid: A language for reliable real-time systems

  1989cited by this paper
• An experimental investigation of synchronization protocols

  1989cited by this paper
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

  1989cited by this paper
• On the duality of fault tolerant system structures (preliminary version)

  1988cited by this paper
• A model for change management

  1988cited by this paper
• Distributed systems and computer networks

  1987cited by this paper
• Preemptive Scheduling Under Time and Resource Constraints

  1987cited by this paper
• Real-time systems and their programming languages

  1986cited by this paper
• An On Line Algorithm for Real-Time Tasks Allocation

  1986cited by this paper
• The Mascot method

  1986cited by this paper
• System design with Ada

  1984cited by this paper
• CONIC: an integrated approach to distributed computer control systems

  1983cited by this paper
• Task allocation in fault-tolerant distributed systems

  1983cited by this paper
• On the complexity of fixed-priority scheduling of periodic, real-time tasks

  1982cited by this paper
• On a Real-Time Scheduling Problem

  1978cited by this paper
• Monitors

  1974cited by this paper

• A Parameterized Formal Model for the Analysis of Preemption-Threshold Scheduling in Real-Time Systems

  2020cites this paper
• Enabling Ada and OpenMP runtimes interoperability through template-based execution

  2020cites this paper
• Expressibility Required to Design Embedded and Real-time Systems

  2019cites this paper
• Embedded Software Modeling and Design

  2018cites this paper
• Reliable Software Technologies – Ada-Europe 2018: 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings

  2018cites this paper
• Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP

  2018cites this paper
• A Comparative Study of Software Architectures for Embedded Mission Critical Applications

  2016cites this paper
• System-level design based on UML/MARTE for FPGA-based embedded real-time systems

  2016cites this paper
• A Decision Support Framework for the Choice of Languages and Methods for the Design of Real Time Embedded Systems

  2016cites this paper
• Aspect-Oriented Model-Driven Engineering for FPGA/VHDL Based Embedded Real-Time Systems

  2014cites this paper
• Autonomy Requirements Engineering for Space Missions

  2014cites this paper
• Composition of design patterns: from the modeling of RTOS synchronization tools to schedulability analysis

  2014cites this paper
• On Generating VHDL Descriptions from Aspect-Oriented UML/MARTE Models

  2014cites this paper
• Design patterns to support the migration between event-triggered and time-triggered software architectures

  2013cites this paper
• Supporting the migration between 'event triggered' and 'time triggered' software architectures: A small pattern collection intended for use by the developers of reliable embedded systems

  2012cites this paper
• Generación Automática de Software para Sistemas de Tiempo Real: Un Enfoque basado en Componentes, Modelos y Frameworks

  2012cites this paper
• Integración de un modelo de tiempo real en middleware configurable para sistemas distribuidos

  2012cites this paper
• An Ada design pattern recognition tool for AADL performance analysis

  2011cites this paper
• A model‐based development approach for the verification of real‐time Java code

  2011cites this paper
• Enforcing Applicability of Real-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns

  2010cites this paper
• TART: Timed-Automata to Real-Time Java Tool

  2010cites this paper
• Planificación, análisis y optimización de sistemas distribuidos de tiempo real estricto

  2010cites this paper
• AADL: An Architecture Design and Analysis Language for Complex Embedded Real-Time Systems: AADL: An Architecture Design and Analysis Language for Complex Embedded Real-Time Systems

  2010cites this paper
• AADL:An Architecture Design and Analysis Language for Complex Embedded Real-Time Systems

  2010cites this paper
• An MDE methodology for the development of high-integrity real-time systems

  2009cites this paper
• Model based construction of embedded and real-time software: a methodology for small devices

  2009cites this paper
• Investigating the usability of real-time scheduling theory with the Cheddar project

  2009cites this paper
• Sistema de control en tiempo real para una Planta piloto compacta usando software libre

  2009cites this paper
• Automatic framework generation for hard real-time applications

  2008cites this paper
• ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis

  2008cites this paper
• DEVS Approach to Real-time RTI Design for Large-scale Distributed Simulation Systems

  2008cites this paper
• Model-based development of fault-tolerant real-time systems

  2008cites this paper
• Towards a model-driven engineering approach for developing embedded hard real-time software

  2008cites this paper
• A Profile for Safety Critical Java

  2007cites this paper
• On Integrating Scheduling Theory into Formal Models for Hard Real Time Systems

  2007cites this paper
• A Hardware / Software Codesign Approach to System-Level Design of Real-Time Applications

  2007cites this paper
• A Generative Approach to Building a Framework for Hard Real-Time Applications

  2007cites this paper
• An approach for designing a real-time intelligent distributed surveillance system

  2006cites this paper
• Describing Business Processes with Use Cases

  2006cites this paper
• Experimenting an AADL Behavioural Annex and a Verification Method

  2006cites this paper
• Property-Preserving Reuse-Geared Approach to Model-Driven Development

  2006cites this paper
• A Formal Modeling for Embedded Hard Real-Time Systems

  2006cites this paper
• Rapid performance re-engineering of distributed embedded systems via latency analysis and k-level diagonal search

  2006cites this paper
• Síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização.

  2005cites this paper
• Pre-Runtime Scheduling for Embedded Hard Real-Time Systems Using Time Petri Nets

  2005cites this paper
• Applying the SEEP method in the design of a real-time embedded control system for a motorized wheelchair

  2005cites this paper
• METHODOLOGICAL AND TOOL SUPPORT FOR EMBEDDED CONTROL SYSTEMS

  2005cites this paper
• From functional blocks to the synthesis of the architectural model in embedded real-time applications

  2005cites this paper
• Safety Interfaces for Component-Based Systems

  2005cites this paper
• Codiseño de un sistema de control en red para regular la velocidad de un motor DC

  2005cites this paper
• SOFTWARE METHODOLOGICAL AND TOOL SUPPORT FOR EMBEDDED CONTROL SYSTEMS

  2005cites this paper
• A methodology for mapping functional blocks into earliest deadline scheduled threads

  2005cites this paper
• Automated model-based generation of Ravenscar-compliant source code

  2005influential citation
• Generative Programming and Components: theory and practice

  2005cites this paper
• A time Petri net approach for finding preruntime schedules in embedded hard real-time systems

  2004cites this paper
• Component-based real-time design: mapping HRT-HOOD to UML

  2004cites this paper
• Executive Information Systems : A framework for their development and use

  2004cites this paper
• Real-Time Object-Oriented Design and Formal Methods

  2004influential citation
• Guide for the use of the Ada Ravenscar Profile in high integrity systems

  2004cites this paper
• Modellierung und effiziente Implementierung eingebetteter Realzeitsysteme

  2003cites this paper
• HRT-UML: Taking HRT-HOOD onto UML

  2003cites this paper
• Issues in mapping HRT-HOOD to UML

  2003cites this paper
• Ravenscar design patterns?: reflections on use of the Ravenscar profile

  2003influential citation
• Timing Issues and Experiment Scheduling in Faster-Than-Real-Time Simulation

  2003cites this paper
• A modeling methodology and pre-run-time scheduling for embedded real-time software

  2003cites this paper
• Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software

  2003cites this paper
• Reliable Software Technologies — Ada-Europe 2003

  2003cites this paper
• Fundamentals of Implementing Real-Time Control Applications in Distributed Computer Systems

  1998cites this paper
• Real-time Action Logic and ApplicationsK

  year unknowncites this paper