Development guidelines for dependable real-time embedded systems

  title={Development guidelines for dependable real-time embedded systems},
  author={Michael Short},
  journal={2008 IEEE/ACS International Conference on Computer Systems and Applications},
  • M. Short
  • Published 31 March 2008
  • Computer Science
  • 2008 IEEE/ACS International Conference on Computer Systems and Applications
Embedded control systems play an increasing role in many safety critical system designs. The correct and dependable implementation of such systems depends on many factors, including the design of system hardware, software and fault tolerance mechanisms, the choice of programming language, and also the testing, verification and validation techniques employed. In this paper, a set of guidelines for the development of dependable embedded systems is presented. Although the paper is primarily… 

Figures from this paper

An Overview of the Development of Safety-critical Software

An overview of different strategies for the development process, and parts that are important to design and build a reliable safetycritical system are identified, with the focus being on the software development.

A diskless chekpointing approach for failure recovery in multiprocessor safety-critical embedded systems

The simulation results show the ability of the proposed algorithm in recovering system from failure when up to half of processors are simultaneously failed without using any extra dedicated checkpointing processor.

CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems

This work presents the CHESS tool environment, a novel approach for cross-domain modelling of industrial complex systems that leverages on UML profiling and separation of concerns realised through the specification of well-defined design views, each of which addresses a particular aspect of the problem.

Reducing Timing Errors of Polling Mechanism Using Event Timpstamps for Safety-Critical Real-Time Control Systems

A case study in which existing interrupt-based design of a real-time software controlling an artificial heart has been modified to the polling-based version, revealing that revised design is as efficient, when measured in terms of system’s external output, as the old design.

Architectural Refactoring of Real-Time Software Design for Predictable Controls of Artificial Heart

Software refactoring process which applying TTA approach into ETA based embedded software in artificial heart system is described and revised design is as efficient, when measured in terms of system`s external output, as the old design and enhances predictability of the system behavior as well.

Sedona Frame Application in Embedded Linux

  • Li Li
  • Computer Science
  • 2013
In this paperwork, coupling plan and procedure are focused on greatly between Sedona Frame and device drivers and the feasibility of the coupling plan is proved using an instance of digital input devices.

Timely Recovery from Task Failures in Non-preemptive, Deadline-driven Schedulers

  • M. ShortI. Sheikh
  • Business
    2010 10th IEEE International Conference on Computer and Information Technology
  • 2010
A simple Overrun Detection and Recovery Mechanism (ODRM) that may help to alleviate task failures in such a fashion that subsequent task deadlines are not missed in a ‘domino-style’ manner.

RTSS 2011 Organization Committee

This short paper is the best knowledge the work introducing probabilities for mixed-criticality probabilistic approaches known to decreasethe over-provision by taking into account the information that worst-case situations have low probability of occur-rence.

Interrupt-less Servo Motor Controls of Pneumatic Pumps

An interrupt-less approach to control the servo motor of a pneumatic pump using a special purpose register to maintain the time stamp of a sensor event is described, which can provide enhanced predictability even when all the sensor events are periodically polled.



Scheduling and timing analysis for safety critical real-time systems

Through the course of the thesis, solutions are developed for the required areas of work for both uniprocessor and distributed systems in the avionics industry and in particular engine controllers.

Exploring the Impact of Task Preemption on Dependability in Time-Triggered Embedded Systems: A Pilot Study

The results obtained suggest that the presence of preemption may have a negative influence on dependability; however further work is needed in this area before more general conclusions may be drawn.

Safety-critical computer systems

This book covers all phases of the life of a safety-critical system from its conception and specification, through to its certification, installation, service and decommissioning, and gives a thorough grounding in the techniques available to investigate the safety aspects of computer-based systems.

Engineering and Analysis of Fixed Priority Schedulers

This work shows that for the timer-driven scheduling implementations the selection of the timer interrupt rate can dramatically affect the schedulability of a task set, and presents a method for determining the optimal timer rate.

Software-based self-testing of microprocessors

The power of 10: rules for developing safety-critical code

A verifiable set of well-chosen coding rules could, however, assist in analyzing critical software components for properties that go well beyond compliance with the set of rules itself.

A Tool for Checking ANSI-C Programs

The tool supports almost all ANSI-C language features, including pointer constructs, dynamic memory allocation, recursion, and the float and double data types, and is integrated into a graphical user interface.

Fault-Tolerant Time-Triggered Communication Using CAN

  • M. ShortM. Pont
  • Computer Science
    IEEE Transactions on Industrial Informatics
  • 2007
This paper presents a low-cost redundancy-management scheme for replicated CAN channels that helps to ensure that clocks on the distributed nodes remain synchronized in the event of failures in the underlying communication channels, without the need for expensive or proprietary interface electronics.

Safeware: System Safety and Computers

Will Tracz, our esteemed editor and Used-Program salesman, has written an entertaining, non-technical book dealing with the practice (and lack of) of software reuse. Its a collection of essays,