منابع مشابه
Java in Safety Critical Systems
Until recently, the preferred language for developing safety critical applications has been Ada, but this is beginning to change. The number of developers willing to program in Ada is diminishing, while the complexity of applications is increasing. Where as C and C++ are poor alternatives to Ada, realtime Java specifications have benefited from strong cross fertilisation from the Ada community,...
متن کاملA Formal Model of the Safety-Critical Java Level 2 Paradigm
Safety-Critical Java (SCJ) introduces a new programming paradigm for applications that must be certified. The SCJ specification (JSR 302) is an Open Group Standard, but it does not include verification techniques. Previous work has addressed verification for SCJ Level 1 programs. We support the much more complex SCJ Level 2 programs, which allows the programming of highly concurrent multiproces...
متن کاملSpecifying subtypes in Safety Critical Java programs
ion, which is the standard methodology for modular reasoning in the presence of subtype polymorphism. Supertype abstraction uses the specifications associated with each receiver’s static type to reason about method calls [3, 5, 6]. For example, if v2 has static type Vector2d, then using supertype abstraction, a call such as v2.scale(4.5) would be guaranteed to take at most the time specified fo...
متن کاملJava in the Safety-Critical Domain
Safety-Critical Java (SCJ) is an Open Group standard that defines a novel version of Java suitable for programming systems with various levels of criticality. SCJ enables real-time programming and certification of safety-critical applications. This tutorial presents SCJ and an associated verification technique to prove correctness of programs based on refinement. For modelling, we use the Circu...
متن کاملChecking memory safety of level 1 safety-critical Java programs using static-analysis without annotations
Safety-Critical Java (SCJ) has been designed specifically to bring performance and reliability to the development of safety-critical Java programs. SCJ introduces a novel programming paradigm based on missions and handlers, and has been designed to ease certification. One of the distinguishing features of SCJ is its memory model, which is defined as a hierarchical structure of scoped-based memo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Concurrency and Computation: Practice and Experience
سال: 2016
ISSN: 1532-0626
DOI: 10.1002/cpe.3951