Thumbnail
Access Restriction
Subscribed

Author Michell, Stephen
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Computer programming, programs & data
Abstract There are some interactions between the Ravenscar Tasking Profile and sequential Ada language constructs which can cause undesirable behaviour for high integrity systems. We examine some of the interactions and discuss potential changes to the definition of the Ravenscar profile to correct the deficiencies found.
Description Affiliation: Maurya Software, 29 Maurya Court Ottawa, Ontario, Canada K1G 5S3 (Michell, Stephen)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 1989-04-01
Publisher Place New York
Journal ACM SIGAda Ada Letters (ALET)
Volume Number XXI
Issue Number 1
Page Count 4
Starting Page 75
Ending Page 78


Open content in new tab

   Open content in new tab
Source: ACM Digital Library