Use of PERC Pico in the AIDA avionics platform

Schoofs, Tobias; Jenn, Éric; Leriche, Stéphane; Nilsen, Kelvin; Gauthier, Ludovic; Richard-Foy, Marc

doi:10.1145/1620405.1620429

Cited by 21 publications

(19 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We are currently working on obtaining details about this project. DIANA [24] is a new project for implementing an avionics platform called Architecture for Independent Distributed Avionics (AIDA) using Java as the core technology. One of the challenges in using Java is the threading model, which requires their Java virtual machine, called PERC Pico, to handle the thread scheduling itself (instead of the operating system).…”

Section: Related Workmentioning

confidence: 99%

“…Another issue with using Java mentioned in their paper is the complexity in estimating and bounding memory usage per thread, which is a critical requirement for F6MDA. Finally, they also mention that the errors signaled by PERC Pico are hard to diagnose and correct [24]. This is partially due to the extra layer imposed by the Java virtual machine.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

A software platform for fractionated spacecraft

Dubey

Emfinger

Gokhale

et al. 2012

2012 IEEE Aerospace Conference

View full text Add to dashboard Cite

Abstract-A fractionated spacecraft is a cluster of independent modules that interact wirelessly to maintain cluster flight and realize the functions usually performed by a monolithic satellite. This spacecraft architecture poses novel software challenges because the hardware platform is inherently distributed, with highly fluctuating connectivity among the modules. It is critical for mission success to support autonomous fault management and to satisfy real-time performance requirements. It is also both critical and challenging to support multiple organizations and users whose diverse software applications have changing demands for computational and communication resources, while operating on different levels and in separate domains of security.The solution proposed in this paper is based on a layered architecture consisting of a novel operating system, a middleware layer, and component-structured applications. The operating system provides primitives for concurrency, synchronization, and secure information flows; it also enforces application separation and resource management policies. The middleware provides higher-level services supporting request/response and publish/subscribe interactions for distributed software. The component model facilitates the creation of software applications from modular and reusable components that are deployed in the distributed system and interact only through well-defined mechanisms.Two cross-cutting aspects -multi-level security and multilayered fault management -are addressed at all levels of the architecture. The complexity of creating applications and performing system integration is mitigated through the use of a domain-specific model-driven development process that relies on a dedicated modeling language and its accompanying graphical modeling tools, software generators for synthesizing infrastructure code, and the extensive use of model-based analysis for verification and validation.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

A software platform for fractionated spacecraft

Dubey

Emfinger

Gokhale

et al. 2012

2012 IEEE Aerospace Conference

View full text Add to dashboard Cite

show abstract

“…In [17] a framework called PERC Pico is described, which slightly diverges from SCJ. The paper describes the porting of it to two ARINC 653 compliant operating systems.…”

Section: Scj Use Casesmentioning

confidence: 99%

A desktop 3D printer in safety-critical Java

Strøm

Schoeberl

2012

Proceedings of the 10th International Workshop on Java Technologies for Real-Time and Embedded Systems

View full text Add to dashboard Cite

It is desirable to bring Java technology to safety-critical systems. To this end The Open Group has created the safety-critical Java specification, which will allow Java applications, written according to the specification, to be certifiable in accordance with safetycritical standards. Although there exist several safety-critical Java framework implementations, there is a lack of safety-critical use cases implemented according to the specification.In this paper we present a 3D printer and its safety-critical Java level 1 implementation as a use case. With basis in the implementation we evaluate the specification and its usability for developers of safety-critical systems.

show abstract

“…This package is developed in the FP6 project Distributed, equipment Independent environment for Advanced avioNics Applications (DIANA) 4 . The package is described in detail in [16].…”

Section: Prototype and Case Studiesmentioning

confidence: 99%

Test-based inference of polynomial loop-bound functions

Shkaravska

Kersten

Eekelen

2010

Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java

View full text Add to dashboard Cite

This paper presents an interpolation-based method of inferring arbitrary degree loop-bound functions for Java programs. Given a loop, by its "loop-bound function" we mean a function with the numeric program variables as its parameters, that is used to bound the number of loop-iterations. Using our analysis, loopbound functions that are polynomials with natural, rational or real coefficients can be found.Analysis of loop bounds is important in several different areas, including worst-case execution time (WCET) and heap consumption analysis, optimising compilers and termination-analysis. While several other methods exist to infer numerical loop bounds, we know of no other research on the inference of non-linear loopbound functions. Additionally, the inferred bounds are provable using external tools, e.g. KeY.To infer a loop-bound function for a given loop it is instrumented with a counter and executed on a well-chosen set of values of the numerical program variables. By well-chosen we mean that using these test values and the corresponding values of the counter, one can construct a unique interpolating polynomial. The uniqueness and the existence of the interpolating polynomial is guaranteed if the input values are in the so-called NCA-configuration, known from multivariate-polynomial interpolation theory. The constructed interpolating polynomial presumably bounds the dependency of the number of loop iterations on arbitrary values of the program variables. This hypothesis is verified by a third-party proof assistant.A prototype tool has been developed which implements this method. This prototype can infer piecewise polynomial loop-bound functions for a large class of loops in Java programs. Applicability of the prototype has been tested on a series of safety-critical case studies. For most of the loops in the case studies, loop-bound functions could be inferred (and verified using a proof assistant).

show abstract

Use of PERC Pico in the AIDA avionics platform

Cited by 21 publications

References 2 publications

A software platform for fractionated spacecraft

A software platform for fractionated spacecraft

A desktop 3D printer in safety-critical Java

Test-based inference of polynomial loop-bound functions

Contact Info

Product

Resources

About