检索结果-内蒙古大学图书馆

2008年国际电子商务、工程及科学领域的分布式计算和应用学术研讨会

作者： Yuan Shen Wenbo Xu Dept of Computer,School of Information Technology,Jiangnan University,Wuxi 214122,China

Though java was first used in an embedded system,due to some technical reasons java language is not widely applied to embedded *** change the situation, Sun defines some new java specifications for embedded application *** the real-time Specification for java(RTSJ)proposed,more and more programmers begin to devote to real-time java *** paper gives an overview of java-based embedded real-time systems and analyzes future work about java-based embedded real-time technology.

关键词： real-time java Embedded java Embedded real-time systems real-time Specification for java(RTSJ)

来源：评论

学校读者我要写书评

暂无评论

HVM_TP: A time predictable and portable java virtual machine for hard real-time embedded systems

引用

CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2017年第22期29卷

作者： Luckow, Kasper Soe Thomsen, Bent Korsholm, Stephan Erbs Aalborg Univ Dept Comp Sci Aalborg Denmark VIA Univ Coll Horsens Denmark

We present HVMTP, a time predictable and portable java virtual machine (JVM) implementation with applications in resource-constrained, hard real-time embedded systems, which implements all levels of the safety critical java (SCJ) specification. time predictability is achieved by a combination of time-predictable algorithms, exploiting the programming model of the SCJ profile and harnessing static knowledge of the hosted SCJ system. This paper presents HVMTP in terms of its design and capabilities and demonstrates how a complete timing model of the JVM represented as a network of timed automata can be obtained using the tool TETASARTS(JVM). The timing model readily integrates with the rest of the TETASARTS tool set for temporal verification of SCJ systems. We will also show how a complete timing scheme in terms of safe worst-case execution times and best-case execution times of the java bytecodes can be derived from the model. Furthermore, we take a first look at how to support the new java 8 language feature of Lambda expressions in a SCJ context - we look in particular at how the invokedynamic bytecode can be implemented in a time-predictable way and integrated in HVMTP. Copyright (c) 2016 John Wiley & Sons, Ltd.

关键词： java virtual machine real-time java time predictability model checking

来源：评论

学校读者我要写书评

暂无评论

A component framework for java-based real-time embedded systems 08

引用

Proceedings of the 9th ACM/IFIP/USENIX International Conference on Middleware

作者： Aleš Plšek Frédéric Loiret Philippe Merle Lionel Seinturier USTL-LIFL CNRS UMR Villeneuve d'Ascq France

ISBN: (纸本)9783540898559

The real-time Specification for java (RTSJ) [13] is becoming a popular choice in the world of real-time and embedded programming. However, RTSJ introduces many non-intuitive rules and restrictions which prevent its wide adoption. Moreover, current state-of-the-art frameworks usually fail to alleviate the development process into higher layers of the software development life-cycle. In this paper we extend our philosophy that RTSJ concepts need to be considered at early stages of software development, postulated in our prior work [2], in a framework that provides continuum between the design and implementation process. A component model designed specially for RTSJ serves here as a cornerstone. As the first contribution of this work, we propose a development process where RTSJ concepts are manipulated independently of functional aspects. Second, we mitigate complexities of RTSJ-development by automatically generating execution infrastructure where real-time concerns are transparently managed. We thus allow developers to create systems for variously constrained real-time and embedded environments. Performed benchmarks show that the overhead of the framework is minimal in comparison to manually written object-oriented applications, while providing more extensive functionality. Finally, the framework is designed with the stress on dynamic adaptability of target systems, a property we envisage as a fundamental in an upcoming era of massively developed real-time systems.

关键词： RTSJ component framework real-time java middleware

来源：评论

学校读者我要写书评

暂无评论

Dedicated hardware based enhancements for implementing the java virtual machine

Dedicated hardware based enhancements for implementing the J...

引用

International Conference on Embedded Systems and Applications (ESA 05)

作者： Desai, A Cain, G Singh, J Veljanovski, R Victoria Univ Technol Ctr Telecommun & Microelect Melbourne Vic Australia

ISBN: (纸本)193241553X

In spite of the popularly of java, its slow performance and unpredictable execution characteristics are still some of the most challenging issues faced by designers for real-time applications. In the past, numerous architectural enhancements have been investigated to enhance performance and increase predictability. In this paper, dedicated hardware based enhancements that can complement existing design solutions are presented. To achieve high-performance while maintaining simplicity of design, a nested state controller is used for modelling java instructions. This approach enables ahead of synthesis resource sharing and simplified reuse of functional elements. A hardware based automatic memory management sub-system is also presented that provides virtual pointer based memory access for memory allocations. Along with fixed cycle allocation and fast automatic resizing of memory, the memory controller provides predictable management functions. The paper describes a simple system targeted to the Virtex II Pro FPGA.

关键词： java Virtual Machine real-time java memory management nested state machines

来源：评论

学校读者我要写书评

暂无评论

Safety-Critical java for Low-End Embedded Platforms 12

Safety-Critical Java for Low-End Embedded Platforms

引用

10th International Workshop on java Technologies for real-time and Embedded Systems (JTRES)

作者： Sondergaard, Hans Korsholm, Stephan E. Ravn, Anders P. VIA Univ Coll Horsens Denmark Aalborg Univ Dept Comp Sci Aalborg Denmark

ISBN: (纸本)9781450316880

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 variables, and an infrastructure written in java which is minimized through program specialization. The HVM allows the implementation to be easily ported to embedded platforms which have a C compiler as part of the development environment;the bare metal approach eliminates the need for a resource consuming operating system or C-library;the program specialization means that the infrastructure for the SCJ profile is optimized for a particular application keeping only the code and data the application needs. The SCJ implementation is evaluated with a known benchmark and shown to reduce this to a size where it can execute on a minimal configuration.

关键词： Embedded Systems real-time java Virtual Machine Safety-Critical java

来源：评论

学校读者我要写书评

暂无评论

Conformance test development with the java modeling language

Conformance test development with the Java modeling language

引用

12th International Workshop on java Technologies for real-time and Embedded Systems (JTRES)

作者： Sondergaard, Hans Korsholm, Stephan E. Ravn, Anders P. VIA Univ Coll Horsens Denmark Aalborg Univ Dept Comp Sci Aalborg Denmark

In order to claim conformance with a java Specification Request, a java implementation has to pass all tests in an associated Technology Compatibility Kit. This paper presents a model-based development of a Technology Compatibility Kit test suite and a test execution tool for the draft safety-critical java profile specification. The java Modeling Language is used to model conformance constraints for the profile. java Modeling Language annotations define contracts for classes and interfaces. The annotations are translated by a tool into runtime assertion checks. Hereby, the design and elaboration of the concrete test cases are simplified, because the expected results are derived from contracts and thus do not need to be provided explicitly. Bottom-up testing is applied for testing methods of the safety-critical java classes, whereas top-down testing is applied for testing global properties, such as protocols, memory management, and real-time properties, including scheduling. The tests are executed using a simplified version of JUnit, which makes the test suite executable on resource-constrained platforms. Copyright (c) 2017 John Wiley & Sons, Ltd.

关键词： test conformance test model-based testing Technology Compatibility Kit formal specification java Modeling Language safety-critical java real-time java

来源：评论

学校读者我要写书评

暂无评论

Patterns for Safety-Critical java Memory Usage 12

Patterns for Safety-Critical Java Memory Usage

引用

10th International Workshop on java Technologies for real-time and Embedded Systems (JTRES)

作者： Rios, Juan Ricardo Nilsen, Kelvin Schoeberl, Martin Tech Univ Denmark Dept Informat & Math Modeling Lyngby Denmark San Diego Inc San Diego CA USA Tech Univ Denmark Dept Informat & Math Modeling Lyngby Denmark

ISBN: (纸本)9781450316880

Scoped memories are introduced in real-time java profiles in order to make object allocation and deallocation time and space predictable. However, explicit scoping requires care from programmers when dealing with temporary objects, passing scope-allocated objects as arguments to methods, and returning scope-allocated objects from methods. To simplify the correct usage of scopes, programming patterns may be helpful. We present patterns for simple subroutines, sequences of subroutine calls, and nested calls, where the patterns avoid memory leaks and unnecessary copying of values. The patterns are illustrated by implementations in the safety-critical java profile.

关键词： real-time systems real-time java safety-critical systems

来源：评论

学校读者我要写书评

暂无评论

Using CHARTER tools to develop a Safety-Critical Avionics Application in java 12

Using CHARTER tools to develop a Safety-Critical Avionics Ap...

引用

10th International Workshop on java Technologies for real-time and Embedded Systems (JTRES)

作者： Wedzinga, G. Wiegmink, K. Natl Aerosp Lab NLR Anthony Fokkerweg 2 NL-1059 CM Amsterdam Netherlands Natl Aerosp Lab NLR NL-8316 PR Marknesse Netherlands

ISBN: (纸本)9781450316880

Safety-critical digital avionics systems are becoming increasingly complex. Consequently, exhaustive testing may be impossible or impractical to demonstrate that the software of these systems complies with airworthiness requirements. Software development assurance in accordance with prescribed development standards is an accepted approach, but increases cost. These issues are addressed by the EU ARTEMIS CHARTER project. Its goals include managing system complexity, improving software quality, and reducing the total development effort. These goals have been achieved by a Quality Embedded Development (QED) approach, in which model-based development and real-time java are the key technologies. Tools have been developed to support development and verification activities. This paper presents CHARTER'S QED approach by taking examples from the development of a demonstrator for a safety-critical avionics system based on an aircraft Environmental Control System. The QED approach is assessed by comparing metrics that have been collected during the demonstrator development with metrics for conventional development. An important metric is the total development effort. The results indicate that a productivity improvement is achievable.

关键词： Safety Critical Avionics Systems Software Life-Cycle real-time java java Modeling Language Code Generation Formal Verification Resource Analysis Test Case Generation

来源：评论

学校读者我要写书评

暂无评论

即時java系統之設計與實作

引用

电脑与通讯 2003年第103期 68-78页

作者：馮立琪吳國輝鄭憬聰黃麒豪劉遠平

java平台具有Write Once, Run Anywhere特性，在解决耗用记忆体空间及执行效率缓慢的问题後，目前已渐受嵌入式系统市场所接受。但有监於嵌入式系统与即时系统市场的极高交集，因此如何在java平台中加入real-time程式的支援，一直有许... 详细信息

java平台具有Write Once, Run Anywhere特性，在解决耗用记忆体空间及执行效率缓慢的问题後，目前已渐受嵌入式系统市场所接受。但有监於嵌入式系统与即时系统市场的极高交集，因此如何在java平台中加入real-time程式的支援，一直有许多学者与商业公司进行相关的研究。本文中将介绍我们对目前real-time java规范-RTSJ(real-time Specification for java)中各项新增机制的了解，并介绍我们如何遵照其要求，设计实作出与之相容的real-time java执行环境。

关键词： real-time java RTSJ 嵌入式系統即時系統

来源：评论

学校读者我要写书评

暂无评论

Execution level java software and hardware for the NPS autonomous underwater vehicle

Execution level Java software and hardware for the NPS auton...

引用

作者： Miguel Arnaldo Ayala Naval Postgraduate School

学位级别：硕士

Autonomous underwater vehicles (AUVs) have a great potential use for the United States Marine Corps and United States Navy. When performing amphibious operations, underwater mines present a danger for t he forces going ashore. The use of underwater vehicles for the detection of this mines and signaling to the Amphibious Ready Group is very attractive. With advancements in hardware and object oriented language technology, more complicated and robust software can be developed. The Naval Postgraduate School Center for AUV Research has been designing, building, operating, and researching AUVs since 1987. Each generation of vehicles has provided substantially increased in operational capabilities and level of sophistication in the hardware and software respectively. With the advancement in real-time computer languages support, object oriented technology, and cost efficient and high performance hardware, this thesis lays the foundations to develop a software system for the execution level using the java language. We look into the java real-time specifications and extension to familiarize with the capabilities of java for real-time support, and study java boards and its application for embedded real-time systems. We developed an object-oriented design for the execution level control software and implemented the design in java. A testing phase is still under work.

关键词： Software Engineering Autonomous Underwater Vehicles AUV java java Board Embedded java real-time Software real-time java UML

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：