Safe Software Certification

Ernst Kesseler, NLR National Aerospace Laboratory

11/24/2009
(Original Publish Date: 9/1/2004)

Both Europe and the US have set ambitious new goals to improve air transport by simultaneously increasing capacity, reducing cost while improving an already impressive safety record. This requires integration of the systems of the various actors involved. The virtual enterprise concept, supported by a network-centric architecture, offers one possible solution. A prototype demonstrates the technical feasibility of this approach. Work on a certifiable safety-critical Java subset, the language used to implement the prototype, demonstrates the technical feasibility for each required safety level.