White Papers

FEATURED WHITE PAPER

Using Java in Safety-Critical Applications

Whitepaper by Wolf-Dieter Heker, Rainer Koellner, Verocel GmbH

read more

Security for Deep Learning

Machine learning (ML) and artificial intelligence (AI) are central to supporting autonomous
decision-making. This requires dynamic configuration updates and a perfectly managed
platform, that provides the necessary security for these systems, as well as a simple and
secure way of accessing and updating GPU and FPGA encoded functions.

Date: 
Monday, 4 December, 2017
Author: 
Dr. James Hunt, aicas GmbH; Dr. Giulio Corradi, Xilinx GmbH
Published/Presented at: 
ESE Kongress 2017

Using Modern Software Practice in Airborne Systems

This article, written by aicas' software developer Michael Elliott and published in Crosstalk, Journal of Defense Software Engineering, is about the standard for software development in civil airspace DO-178B/ED12B[5]. Finalized in 2011, it addresses how to apply more modern software practice to issues of software production and verification.

Date: 
Monday, 3 April, 2017
Author: 
Michael Elliott
Published/Presented at: 
CrossTalk

Software-over-the-air (SOTA) versus Firmware-over-the-air (FOTA) and JamaicaCAR

Firmware-over-the-air (FOTA) updates refer to downloading either a complete replacement for a specific firmware image in a device or ECU's FLASH, or a patch to an existing firmware image, and updating the FLASH with the changes. The “over-the-air” part refers to using a cell modem data link, a Bluetooth link, a WiFi link, or some other network data link connection.

Date: 
Monday, 28 November, 2016
Author: 
David Beberman
Published/Presented at: 
ESE Kongress 2016

How to download and run Apps from OEM app stores in IIoT environments

The market requirements for industrial systems are changing rapidly with the growing acceptance of the concept of the Industrial Internet-of-Things (IIoT). As demonstrated by both the German Industrie 4.0 and the Industrial Internet Consortium, there is a growing demand for connected, online devices. This is forcing a need to move to new disruptive modern manufacturing paradigms.

Date: 
Monday, 28 November, 2016
Author: 
David Beberman
Published/Presented at: 
ESE Kongress 2016

Building solutions with the new Xilinx All Programmable Zynq Ultrascale+ MPSoC and the new Aicas Jamaica 8 Toolchain and Runtime

Building solutions with the new Xilinx All Programmable Zynq Ultrascale+ MPSoC and the new Aicas Jamaica 8 Toolchain and Runtime

Date: 
Tuesday, 23 February, 2016
Author: 
David Beberman
Published/Presented at: 
Embedded World 2016, Nuremberg

Two Generalisations of Roşu and Chen’s Trace Slicing Algorithm A

Roşu and Chen's algorithm is at the core of the JavaMOP runtime verification tool.  The paper presents significant generalisations over the original algorithm while maintaining its unprecedented performance.

Date: 
Monday, 22 September, 2014
Author: 
Clemens Ballarin
Published/Presented at: 
5th International Conference, RV 2014, Toronto. Published in B. Bonakdarpour and S.A. Smolka, RV 2014, LNCS 8734, pages 15–30, 2014 ©

Solving the Defense Systems Computer Obsolescence Issue

Defense systems rely heavily on embedded software for large aspects of their capabilities. De­fense systems have life expectancy that can be effectively infinite with respect to the rate of change of com­puter technology. Some defense systems have life expectancies beyond fifty years, while most comput­er components have life expectancies of less than three years.

Date: 
Wednesday, 12 June, 2013
Author: 
David Beberman
Published/Presented at: 
aicas

Personal Edition: A Risk Reduction Strategy

As an embedded software developer, project leader, or manager do any of these types of questions come to mind when contemplating migrating to Java?

•How do you handle the uncertainty of moving to a new programming language? Can Java really be used for embedded development?

•What about realtime, will it meet hard realtime deadlines? What about performance, is it fast enough?

Date: 
Monday, 27 February, 2012
Author: 
David Beberman
Published/Presented at: 
Embedded World 2012 in Nuremberg

Software Certification Standards for Avionics Updated

The plenary for updating software certifi cation standards in Avionics (SC-205/WG-71) has now  completed its work, and the results have been approved by the RTCA in the USA. This is the first step in their official adoption and they are expected to be approved for use in Europe (EASA) and the USA (FAA) in the coming months. Indeed, some projects are already using some of them.

Date: 
Thursday, 1 December, 2011
Author: 
Dr. James J. Hunt
Published/Presented at: 
aicas Newsletter Anniversary 2011/2012

Designing a Class Hierarchy for Safety

The joint avionics plenary is sched uled to finish the next update of the software certification standards for avionics by the end of this year. This will effect guidance for in-flight and ground-based software. These changes will not only have a substantial impact on the way avionic software is written, but also on software development for other safety critical domains as well.

Date: 
Tuesday, 1 June, 2010
Author: 
Dr. James J. Hunt
Published/Presented at: 
aicas Newsletter Summer 2010

Reliable Runtime Error Detection in Java Applications

The enormous success of Java technology is due to its many advantages over other popular programming languages. Strong typing, automatic memory deallocation through garbage collection, support for object oriented programming, and a large library of standard classes increase programmer productivity and reduce programming errors. Even critical applications, as in automotive or aerospace control, can profit from these advantages. Still, good tools can increase productivity and reduce errors further.

Date: 
Sunday, 1 January, 2006
Author: 
aicas
Published/Presented at: 
aicas news Anniversary Issue 2006

Realtime CORBA for Realtime Java

The Real-Time Specification for Java (RTSJ), especially with deterministic garbage collection, provides a standard platform for realtime programming in Java, bringing Java’s “Write Once, Run Everywhere” approach to realtime developers. An RTSJ implementation can deliver realtime systems requirements, such as the ability to schedule tasks, predict the performance of those tasks, and perhaps most importantly, redict how the system will react to an overload situation or resource failure.

Date: 
Saturday, 1 October, 2005
Author: 
aicas
Published/Presented at: 
aicas news Autumn 2005

Realtime Garbage Collection in JamaicaVM

This article gives an introduction into JamaicaVM realtime Java technology.

Date: 
Tuesday, 1 June, 2004
Author: 
Fridtjof Siebert
Published/Presented at: 
aicas news 02/2004

The Realtime Specification for Java in Practice

This paper gives an introduction into the area of using Java Technology in realtime systems. An introduction to the possibilities offered by the Realtime Specification for Java for embedded systems and realtime systems programming will be given. Advantages and pitfalls of the specification and solutions provided by realtime Java implementations are presented.

Date: 
Wednesday, 18 February, 2004
Author: 
Fridtjof Siebert
Published/Presented at: 
Embedded World 2004 in Nuremberg

Dynamic Programming with user-defined ClassLoaders

A major strength of Java is the ability to load code dynamically. Taking full advantage of this facility requires writing a user defined ClassLoader.

Date: 
Thursday, 1 January, 2004
Author: 
Fridtjof Siebert
Published/Presented at: 
aicas news 01/2004