AICAS Projects in Realtime and Embedded Domain

Major realtime and embedded systems projects aicas is involved in:

		JEOPARD Java Environment for Parallel Realtime Development JEOPARD is a 30-month project of European companies and research institutes that is partially funded by the European Commission (Project Number 216682) aicas and The Open Group have partnered with a consortium of leading European real-time technology developers, industrial manufacturers and research organizations to develop a new framework for Java-based real-time applications on modern parallel processor systems. Supported by the European Commission, the Java Environment for Parallel Real-time Development (JEOPARD) project is investing over €3.3 million (US$4.9 million) in an advanced framework for real-time Java running on multicore and parallel systems. This platform-independent framework will maintain the robust reliability essential for safety and mission critical applications, while using the additional processing power available from the latest parallel platforms. Led by The Open Group, the JEOPARD consortium includes four universities and research institutes: University of York, Vienna University of Technology, FZI and the Technical University of Cluj-Napoca; three industrial manufacturers: EADS, RadioLabs and SkySoft; and two embedded systems technology suppliers: aicas and Sysgo. The technology research is being directed by aicas to ensure project results meet the highest industry level standards for reliability and real-time performance. The strategic objective of the JEOPARD project is to provide the tools for platform-independent development of predictable systems that make use of SMP multicore platforms. These tools will enhance software productivity and reusability by extending processor technology already established on desktop systems for the specific needs of multicore embedded systems. The project will actively contribute to standards required for the development of portable software in this domain, such as the Real-Time Specification for Java (RTSJ). In addition, the JEOPARD project will develop a platform-independent software development interface for realtime multicore systems. The interface will be based on existing technologies, including the Real-Time Specification for Java (JSR 1 and JSR 282) and Safety-Critical Java (JSR 302). These technologies currently provide a strong foundation for the development of complex and highly reliable real-time systems, but they do not yet provide support for multicore systems. Even more challenging, some of the technologies can not address more than one processor at a time, making it impossible to develop applications that scale with the number of processors available on current and future multicore systems. URL: www.jeopard.org
		CHESS Composition with Guarantees for High-integrity Embedded Software Components Assembly CHESS is a 36-month project of European companies and research institutes and is partially funded by the ARTEMIS Embedded Computing Systems Initiative (https://www.artemis-ju.eu/) The development of Real-Time Embedded systems increasingly leans toward the adoption of Component-based Development and Model Driven Engineering approaches. The combination of these two approaches promises better mastery of complexity, increased reuse, and easier maintenance, thus reducing the costs and risks of development and deployment. That very combination however also creates unique challenges for the development of high-integrity software. Two such challenges especially stand out: (1) to develop components that can be certified or qualified individually for provably guaranteed delivery of the required level of service in operation; (2) to preserve those guarantees in an assembly of heterogeneous software components on the target execution platform. Current component-based run-time environments and their associated software development infrastructures (modelling languages, model transformation engines, code generators) address the functional dimension of components, but do not address their non-functional characteristics satisfactorily. The developer should not only consider the functional behaviour and the internal structure of components, but also their non-functional requirements (e.g., timing, input and output accuracy, robustness). Such non-functional requirements should be: mapped onto the architectural model; captured by the expression of extra-functional properties attached to components; and then preserved at run time. CHESS seeks industrial-quality research solutions to problems of property-preserving component assembly in real-time and dependable embedded systems, and supports the description, verification, and preservation of non-functional properties of software components at the abstract level of component design as well as at the execution level. CHESS develops model-driven solutions, integrates them in component-based execution frameworks, assesses their applicability from the perspective of multiple domains (such as space, railways, telecommunications and automotive), and verifies their performance through the elaboration of industrial use cases. URL: https://www.artemis-ju.eu/chess
		CHARTER Critical and High Assurance Requirements Transformed through Engineering Rigour CHARTER - Critical and High Assurance Requirements Transformed through Engineering Rigour - is an ARTEMIS Embedded Computing Systems Initiative project (https://www.artemis-ju.eu/) CHARTER will develop concepts, methods, and tools for embedded system design and deployment that will enable developers to master the complexity and substantially improve the development, verification and certification of critical embedded systems. Critical embedded software systems assist, accelerate, and control various aspects of society and are common in cars, aircraft, medical instruments and major industrial and utility plants. These systems are critical to human life and need to be held to the highest standards of performance through formal certification procedures. CHARTER will ease, accelerate, and reduce the cost of the certification of such critical embedded systems by melding realtime Java, Model Driven Development, rule-based compilation, and formal verification. This approach, Quality-Embedded Development (QED), will push software certification to a new level and thereby significantly contribute to the safety and security of the upcoming age of an embedded software society. CHARTER project technologies will enable new methods of verification and certification that will streamline the process for certification of crucial embedded systems through the use of higher level languages and Model Driven Development methods and tools. URL: To be announced