Depth-first iterative-deepening: an optimal admissible tree search
Artificial Intelligence
Real-time Euclid: a language for reliable real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Distributed systems and computer networks
Distributed systems and computer networks
Clock synchronization in distributed real-time systems
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Preemptive scheduling under time and resource constraints
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Software Development Environments
Computer
The integration of virtual memory management and interprocess communication in Accent
ACM Transactions on Computer Systems (TOCS)
Fail-stop processors: an approach to designing fault-tolerant computing systems
ACM Transactions on Computer Systems (TOCS)
End-to-end arguments in system design
ACM Transactions on Computer Systems (TOCS)
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Formal verification of algorithms for critical systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
SUVS: a distributed real-time system testbed for fault-tolerant computing
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
To CATOCS or not to CATOCS, that is the …
ACM SIGOPS Operating Systems Review
How to Integrate Precedence Constraints and Shared Resources in Real-Time Scheduling
IEEE Transactions on Computers
Programming Language Support for Writing Fault-Tolerant Distributed Software
IEEE Transactions on Computers - Special issue on fault-tolerant computing
Allocation and Scheduling of Precedence-Related Periodic Tasks
IEEE Transactions on Parallel and Distributed Systems
A time-sensitive object model for real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Totem: a fault-tolerant multicast group communication system
Communications of the ACM
Real-time and embedded systems
ACM Computing Surveys (CSUR)
Fault-Tolerance Through Scheduling of Aperiodic Tasks in Hard Real-Time Multiprocessor Systems
IEEE Transactions on Parallel and Distributed Systems
High Accuracy Concurrent Event Processing in Hard Real-Time Systems
Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part I
A periodic object model for real-time systems
ICSE '94 Proceedings of the 16th international conference on Software engineering
Design and Evaluation of a Window-Consistent Replication Service
IEEE Transactions on Computers
BASEMENT: An Architecture and Methodology for Distributed Automotive Real-Time Systems
IEEE Transactions on Computers
Communication synthesis for distributed embedded systems
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
A Fault-Tolerant Dynamic Scheduling Algorithm for Multiprocessor Real-Time Systems and Its Analysis
IEEE Transactions on Parallel and Distributed Systems
Chameleon: A Software Infrastructure for Adaptive Fault Tolerance
IEEE Transactions on Parallel and Distributed Systems
Real-Time Dependable Channels: Customizing QoS Attributes for Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
EMERALDS: a small-memory real-time microkernel
Proceedings of the seventeenth ACM symposium on Operating systems principles
DROPS: OS support for distributed multimedia applications
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
The Spring System: Integrated Support for Complex Real-TimeSystems
Real-Time Systems
Stabilizing Pre-Run-Time Schedules With the Help of GraceTime
Real-Time Systems
Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems
IEEE Transactions on Computers
A tool for simulation and fast prototyping of embedded control systems
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
EMERALDS: A Small-Memory Real-Time Microkernel
IEEE Transactions on Software Engineering
Real-time properties of indirect recursive procedures
Information and Computation
Time driven operating systems: a case study on the MARS kernel
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Group orientation: a paradigm for modern distributed systems
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
IEEE Transactions on Software Engineering
Object-Oriented Design of QoS Multicast Communications
Cluster Computing
Fail-Awareness: An Approach to Construct Fail-Safe Systems
Real-Time Systems
Verification of non-functional properties of a composable architecture with Petri nets
Fundamenta Informaticae
Dedos: A Distributed Real-Time Environment
IEEE Parallel & Distributed Technology: Systems & Technology
RMP: Fault-Tolerant Group Communication
IEEE Micro
Developing Real-Time Tasks With Predictable Timing
IEEE Software
The Timewheel Group Communication System
IEEE Transactions on Computers
Broadcast Protocols for Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Formal Verification of Algorithms for Critical Systems
IEEE Transactions on Software Engineering
On Satisfying Timing Constraints in Hard-Real-Time Systems
IEEE Transactions on Software Engineering
An object-oriented tool for simulating distributed real-time control systems
Software—Practice & Experience
AQuA: An Adaptive Architecture that Provides Dependable Distributed Objects
IEEE Transactions on Computers
A hierarchical fault-tolerant ring protocol for distributed real-time systems
Parallel and distributed real-time systems
Interconnection schemes for RTO.k objects in loosely coupled real-time distributed computer systems
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Transparent Environment for Replicated Ravenscar Applications
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Embedded Control: From Asynchrony to Synchrony and Back
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Threshold and Bounded-Delay Voting in Critical Control Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Improving Wait-Free Algorithms for Interprocess Communication in Embedded Real-Time Systems
ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference
Communication Synthesis for Embedded Systems with Global Considerations
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
Reconfiguration and transient recovery in state machine architectures
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Numerical evaluation of a group-oriented multicast protocol using stochastic activity networks
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
A timeliness-guaranteed kernel model-DREAM kernel-and implementation techniques
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
Implementing a Semi-Active Replication Strategy in CHORUS/Classix, a Distributed Real-Time Executive
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
The Partition Method for the Order - Insensitivity in a Synchronous Distributed Systems
ISCC '00 Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000)
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Fault Tolerance in Safety Critical Automotive Applications: Cost of Agreement as a Limiting Factor
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
A Nonpreemptive Real-Time Scheduler with Recovery from Transient Faults and Its Implementation
IEEE Transactions on Software Engineering
A Timeout-Based Message Ordering Protocol for a Lightweight Software Implementation of TMR Systems
IEEE Transactions on Parallel and Distributed Systems
A Consensus Protocol for CAN-Based Systems
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
IEEE Transactions on Parallel and Distributed Systems
Replication Management in Reliable Real-Time Systems
Real-Time Systems
Efficient overloading techniques for primary-backup scheduling in real-time systems
Journal of Parallel and Distributed Computing
Real-Time Systems
Software environment for integrating critical real-time control systems
Journal of Systems Architecture: the EUROMICRO Journal
Design Optimization of Time-and Cost-Constrained Fault-Tolerant Distributed Embedded Systems
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
Necessary and sufficient conditions for broadcast consensus protocols
Distributed Computing
Proceedings of the conference on Design, automation and test in Europe: Proceedings
A methodology for designing hierarchical scheduling systems
Journal of Embedded Computing - Real-Time Systems (Euromicro RTS-03)
RETHER: a software-only real-time ethernet for PLC networks
WOES'99 Proceedings of the Workshop on Embedded Systems on Workshop on Embedded Systems
Period optimization for hard real-time distributed automotive systems
Proceedings of the 44th annual Design Automation Conference
CODES+ISSS '07 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis
Proceedings of the 4th on Middleware doctoral symposium
An EDF Interrupt Handling Scheme for Real-Time Kernel: Design and Task Simulation
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007
Multithreading strategies for replicated objects
Proceedings of the 9th ACM/IFIP/USENIX International Conference on Middleware
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Co-simulation and communication synthesis approach for intellectual properties based SoCs
Computers and Electrical Engineering
The hard real-time problem on ethernet
CSN '07 Proceedings of the Sixth IASTED International Conference on Communication Systems and Networks
A method for calculating hard QoS guarantees for Networks-on-Chip
Proceedings of the 2009 International Conference on Computer-Aided Design
On the application of the concept of dependability for design and analysis of vision systems
ICVS'03 Proceedings of the 3rd international conference on Computer vision systems
A component based real-time scheduling architecture
Architecting dependable systems
A lazy EDF interrupt scheduling algorithm for multiprocessor in parallel computing environment
ICA3PP'07 Proceedings of the 7th international conference on Algorithms and architectures for parallel processing
A layered approach for identifying systematic faults of component-based software systems
Proceedings of the 16th international workshop on Component-oriented programming
Dual-Level traffic smoothing technique over switched ethernet for hard real-time communication
ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences
Integrated Task and Interrupt Management for Real-Time Systems
ACM Transactions on Embedded Computing Systems (TECS)
Robustness of real-time local area network protocols
Computer Communications
Research: Design and analysis of an efficient and reliable atomic multicast protocol
Computer Communications
Compositional real-time models
Journal of Systems Architecture: the EUROMICRO Journal
Optimization of task allocation and priority assignment in hard real-time distributed systems
ACM Transactions on Embedded Computing Systems (TECS)
Failover and takeover contingency mechanisms for network partition and node failure
Proceedings of the eleventh ACM SIGPLAN workshop on Erlang workshop
Declarative distributed advertisement system for iDTV: an industrial experience
Proceedings of the 14th symposium on Principles and practice of declarative programming
Verification of Non-functional Properties of a Composable Architecture with Petrinets
Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
Design of component-based real-time applications
Journal of Systems and Software
Proceedings of the Conference on Design, Automation and Test in Europe
Designing best effort networks-on-chip to meet hard latency constraints
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on Wireless Health Systems, On-Chip and Off-Chip Network Architectures
Hi-index | 0.03 |
The authors describe the Maintainable Real-Time System, a fault-tolerant distributed system for process control, developed under the Mars project started in 1980 at the Technische Universitat Berlin. They explore the characteristics of distributed real-time systems and then present the Mars approach to real-time process control, its architectural design and implementation, and one of its applications. The authors focus on the maintainability of the Mars architecture, describe the Mars operating system, and discuss timing analysis. The control of a rolling mill that produces metal plates and bars is examined.