Schedulability and safety analysis in the graphical communicating shared resources

Proceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS)

Volumn , Issue , 1996, Pages 25-33

  Ben Abdallah, Hanene ^a   Si Kim, Young ^a   Lee, Insup ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; CONSTRAINT THEORY; FORMAL LANGUAGES; GRAPHICAL USER INTERFACES; REAL TIME SYSTEMS; RESOURCE ALLOCATION; SCHEDULING; SYNCHRONIZATION; SYSTEMS ANALYSIS;

GRAPHICAL COMMUNICATING SHARED RESOURCES; NOTIONS OF EQUIVALENCE; OPERATIONAL SEMANTICS; RESOURCE CONTENTIONS; SAFETY ANALYSIS; SCHEDULABILITY; SCHEDULING DISCIPLINE; TEMPORAL REQUIREMENTS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0029711472     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)