Projekter pr. år
Abstract
Safety-critical Java (SCJ) avoids garbage collection and uses a scope based memory model. This memory model is based on a restricted version of RTSJ [2] style scopes. The scopes form a clear hierarchy with different lifetimes. Therefore, references between objects in different scopes are only al- lowed from objects allocated in scopes with a shorter lifetime to objects allocated in scopes with a longer lifetime. To ensure memory safety, programmers are required to either manually annotate the application with complex annotations, rely on a runtime test of each reference assignment, or statically analyze all reference assignments and avoid run- time checks when all assignments are proven to be correct. A violation of the assignment rule at runtime leads to an unchecked exception. For safety-critical code that needs to be certified, runtime exceptions must be avoided and the absence of illegal reference assignments needs to be proven. In this paper we present a static program analysis tool that automates the proof that no illegal assignments occur.
Originalsprog | Engelsk |
---|---|
Titel | JTRES '12 Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems |
Antal sider | 9 |
Forlag | Association for Computing Machinery |
Publikationsdato | 2012 |
Sider | 9-17 |
ISBN (Trykt) | 978-1-4503-1688-0 |
DOI | |
Status | Udgivet - 2012 |
Navn | Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems |
---|---|
ISSN | 2154-056X |
Fingeraftryk
Dyk ned i forskningsemnerne om 'Private memory allocation analysis for safety-critical java'. Sammen danner de et unikt fingeraftryk.Projekter
- 1 Afsluttet
-
CJ4ES: Certifiable Java for Embedded Systems
Hansen, R. R., Ravn, A. P. & Larsen, K. G.
Forskningsrådet for Teknologi og Produktion
01/03/2011 → 28/02/2014
Projekter: Projekt › Forskning