Applying Java™ Technologies to Mission-Critical and Safety-Critical Development

Nilsen, Kelvin; Larkham, Adrian

doi:10.1007/1-84628-130-x_14

Cited by 1 publication

(1 citation statement)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Nevertheless, work is on the way to define an appropriate Java profile and leverage the language to meet the required safety criteria. Nilsen [46,47] argues that in hard real-time systems, due to their continuous interaction with the environment, which imposes unpredictable behavior on such a system, "the validity of each independent component cannot be demonstrated in isolation from its context." This imposes a constraint expressed in the guidelines, such as DO-178B, that the certification evidence should be applied to complete systems rather than to the individual components.…”

Section: Java On Its Way To Certificationmentioning

confidence: 99%

Certification of software for real-time safety-critical systems: state of the art

Kornecki

Zalewski

2009

Innovations Syst Softw Eng

View full text Add to dashboard Cite

This paper presents an overview and discusses the role of certification in safety-critical computer systems focusing on software, and partially hardware, used in the civil aviation domain. It discusses certification activities according to RTCA DO-178B "Software Considerations in Airborne Systems and Equipment Certification" and touches on tool qualification according to RTCA DO-254 "Design Assurance Guidance for Airborne Electronic Hardware." Specifically, certification issues as related to real-time operating systems and programming languages are reviewed, as well as software development tools and complex electronic hardware tool qualification processes are discussed. Results of an independent industry survey done by the authors are also presented.

show abstract

Section: Java On Its Way To Certificationmentioning

confidence: 99%