Safety-critical Java for embedded systems

This paper presents the motivation for and outcomes of an engineering research project on certifiable Java for embedded systems. The project supports the upcoming standard for safety-critical Java, which defines a subset of Java and libraries aiming for development of high criticality systems. The outcome of this project include prototype safety-critical Java implementations, a time-predictable Java processor, analysis tools for memory safety, and example applications to explore the usability of safety-critical Java for this application area. The text summarizes developments and key contributions and concludes with the lessons learned

A Historical Perspective on Runtime Assertion Checking in Software Development

This report presents initial results in the area of software testing and analysis produced as part of the Software Engineering Impact Project. The report describes the historical development of runtime assertion checking, including a description of the origins of and significant features associated with assertion checking mechanisms, and initial findings about current industrial use. A future report will provide a more comprehensive assessment of development practice, for which we invite readers of this report to contribute information

Control Software for the SST-1M Small-Size Telescope prototype for the Cherenkov Telescope Array

The SST-1M is a 4-m Davies--Cotton atmospheric Cherenkov telescope optimized to provide gamma-ray sensitivity above a few TeV. The SST-1M is proposed as part of the Small-Size Telescope array for the Cherenkov Telescope Array (CTA), the first prototype has already been deployed. The SST-1M control software of all subsystems (active mirror control, drive system, safety system, photo-detection plane, DigiCam, CCD cameras) and the whole telescope itself (master controller) uses the standard software design proposed for all CTA telescopes based on the ALMA Common Software (ACS) developed to control the Atacama Large Millimeter Array (ALMA). Each subsystem is represented by a separate ACS component, which handles the communication to and the operation of the subsystem. Interfacing with the actual hardware is performed via the OPC UA communication protocol, supported either natively by dedicated industrial standard servers (PLCs) or separate service applications developed to wrap lower level protocols (e.g. CAN bus, camera slow control) into OPC UA. Early operations of the telescope without the camera were already carried out. The camera is fully assembled and is capable to perform data acquisition using artificial light source.Comment: In Proceedings of the 35th International Cosmic Ray Conference (ICRC2017), Busan, Korea. All CTA contributions at arXiv:1709.0348

Flexible programmable networking: A reflective, component-based approach

The need for programmability and adaptability in networking systems is becoming increasingly important. More specifically, the challenge is in the ability to add services rapidly, and be able to deploy, configure and reconfigure them as easily as possible. Such demand is creating a considerable shift in the way networks are expected to operate in the future. This is the main aim of programmable networking research community, and in our project we are investigating a component-based approach to the structuring of programmable networking software. Our intention is to apply the notion of components, component frameworks and reflection ubiquitously, thus accommodating all the different elements that comprise a programmable networking system

Safe programming Languages for ABB Automation System 800xA

More than 90 % of all computers are embedded in different types of systems, for example mobile phones and industrial robots. Some of these systems are real-time systems; they have to produce their output within certain time constraints. They can also be safety critical; if something goes wrong, there is a risk that a great deal of damage is caused. Industrial Extended Automation System 800xA, developed by ABB, is a realtime control system intended for industrial use within a wide variety of applications where a certain focus on safety is required, for example power plants and oil platforms. The software is currently written in C and C++, languages that are not optimal from a safety point of view. In this master's thesis, it is investigated whether there are any plausible alternatives to using C/C++ for safety critical real-time systems. A number of requirements that programming languages used in this area have to fulfill are stated and it is evaluated if some candidate languages fulfill these requirements. The candidate languages, Java and Ada, are compared to C and C++. It is determined that the Java-to-C compiler LJRT (Lund Java-based Real Time) is a suitable alternative. The practical part of this thesis is concerned with the introduction of Java in 800xA. A module of the system is ported to Java and executed together with the original C/C++ solution. The functionality of the system is tested using a formal test suite and the performance and memory footprint of our solution is measured. The results show that it is possible to gradually introduce Java in 800xA using LJRT, which is the main contribution of this thesis