Hans Søndergaard

Learn More
We present an implementation of the Safety-Critical Java profile (SCJ), targeted for low-end embedded platforms with as little as 16 kB RAM and 256 kB flash. The distinctive features of the implementation are a combination of a lean Java virtual machine (HVM), with a bare metal kernel implementing hardware objects, first level interrupt handlers, and native(More)
A Java profile suitable for development of high integrity embedded systems is presented. It is based on event handlers which are grouped in missions and equipped with respectively private handler memory and shared mission memory. This is a result of our previous work on developing a Java profile, and is directly inspired by interactions with the Open Group(More)
We propose a new, minimal specification for real-time Java for safety critical applications. The intention is to provide a profile that supports programming of applications that can be validated against safety critical standards such as DO-178B [15]. The proposed profile is in line with the Java specification request JSR-302: Safety Critical Java(More)
We present a rationale for a selection of tools that assist developers of hard real-time applications to verify that programs conform to a Java real-time profile and that platform-specific resource constraints are satisfied. These tools are specialised instances of more generic static analysis and model checking frameworks. The concepts are illustrated by(More)
—Just like other software, Java profiles benefits from refactoring when they have been used and have evolved for some time. This paper presents a refactoring of the Real-Time Specification for Java (RTSJ) and the Safety Critical Java (SCJ) profile (JSR-302). It highlights core concepts and makes it a suitable foundation for the proposed levels of SCJ. The(More)
Java <i>finalizers</i> perform clean-up and finalisation of objects at garbage collection time. In real-time Java profiles the use of finalizers is either discouraged (RTSJ, Ravenscar Java) or even disallowed (JSR-302), mainly because of the unpredictability of finalizers and in particular their impact on the schedulability analysis. In this paper we show(More)
OBJECTIVES To evaluate the effect of regular physical activity on metabolic risk factors and blood pressure in Inuit with high BMI consuming a western diet (high amount of saturated fatty acids and carbohydrates with a high glycemic index). STUDY DESIGN Cross sectional study, comparing Inuit eating a western diet with Inuit eating a traditional diet. (More)
NEW FINDINGS What is the central question of this study? Temperature-sensitive mechanisms are thought to contribute to blood-flow regulation, but the relationship between exercising and non-exercising limb perfusion and blood temperature is not established. What is the main finding and its importance? The close coupling among perfusion, blood temperature(More)