javax.safetycritical

Interface Safelet<MissionLevel extends Mission>

@SCJAllowed(value=SUPPORT)
@SCJRestricted(value=INITIALIZE)
public interface Safelet<MissionLevel extends Mission>

A safety-critical application consists of one or more missions, executed concurrently or in sequence. Every safety-critical application is represented by an implementation of Safelet which identifies the outer-most MissionSequencer. This outer-most MissionSequencer takes responsibility for running the sequence of missions that comprise this safety-critical application.

Version:

1.2; - December 2013

Author:

Anders P. Ravn, Aalborg University, apr@cs.aau.dk,
Hans Søndergaard, VIA University College, Denmark, hso@via.dk

Method Summary

Methods

Modifier and Type	Method and Description
MissionSequencer<MissionLevel>	getSequencer() The infrastructure invokes getSequencer to obtain the MissionSequencer object that oversees execution of missions for this application.
long	immortalMemorySize()

Method Detail

getSequencer

@SCJAllowed(value=SUPPORT)
@SCJRestricted(value=INITIALIZE)
MissionSequencer<MissionLevel> getSequencer()

The infrastructure invokes getSequencer to obtain the MissionSequencer object that oversees execution of missions for this application. The returned sequencer must reside in immortal memory.

Returns:

The MissionSequencer responsible for selecting the sequence of Missions that represent this safety-critical application.

immortalMemorySize

@SCJAllowed(value=SUPPORT)
long immortalMemorySize()

Returns:

the amount of immortal memory that must be available for allocations to be performed by this application.