A Practical Approach to Mode Change in Real-Time Systems

Hans Søndergaard, Anders Peter Ravn, Bent Thomsen, Martin Schoeberl

Research output: Book/ReportReport

632 Downloads (Pure)

Abstract

We present a contract for consistent mode change in a real-time system for control applications. The contract between the control engineer and the software developer guarantees that when a mode change is signalled, it will occur at a specific instant thereafter, and that the task sets for the modes are never mixed. The concept is illustrated by small examples, and efficient implementations in Safety Critical Java on two platforms are demonstrated.
Original languageEnglish
Place of PublicationAalborg
PublisherDepartment of Computer Science, Aalborg University
Number of pages11
Publication statusPublished - 2008
SeriesTechnical Report
Number08-001

Cite this

Søndergaard, H., Ravn, A. P., Thomsen, B., & Schoeberl, M. (2008). A Practical Approach to Mode Change in Real-Time Systems. Department of Computer Science, Aalborg University. Technical Report, No. 08-001