曝光台 注意防骗
网曝天猫店富美金盛家居专营店坑蒙拐骗欺诈消费者
in ICAO Annex 14).
Part C: “Statistical Analysis of Aircraft Deviations from Taxiway Centreline” 1995. Boeing
Computer Services. Boeing Analysis of Schiphol Measured Deviations.
Part D: “Reduced Separation Distances for Code F aircraft at Amsterdam Airport Schiphol”
By Rob ten Hove of Amsterdam Airport Schiphol, Oct 1, 2001.
Part E: “Aircraft Deviation Analysis”
By Ibrahim Zantout, FRAPORT, June 5, 2002.
Part F: “Update on the Taxiway Deviation Studies at JFK and ANC”,
By Dan Cohen-Nir, ACI-NA – presented at NLAFG – July 2002
Documentation on runways
Part G: “Final Report on the Risk Analysis in Support of Aerodrome Design Rules”. 2001.
Report produced by AEA Technology for the Norwegian Civil Aviation Authority.
Part H: “Common Lateral Runway Accident/Incident Database Analyses – Period 1980-2000”
by Airbus, 2002
Part I: “Fatal Accident Analysis” – Extract of the Statistical Aviation Safety Summary by the
National Aerospace Laboratory (NLR) for CAA NTH and analysis of fatal accident of
the common Accident/Incident database by Airbus
Part J: “Findings of Monte-Carlo Simulation Autoland Study of the Balked Landing in Support
of the NLA OFZ Study”
Presented by Lynn Boniface at the OCP 12.
Part K: OCP 13 W/P PANS OPS implementation issues/New Larger Aircraft on OFZ -
October 2002.
Part L: “Investigation on the OFZ for A380 Operations on 45m wide runways” ADP – June
2002
Part M: “Sensitive Areas for NORMAC ILS Localizer due to effect of Airbus 380”
By Park Air Systems – April 2002
22
APPENDIX 5
Safety Analyses of Airfield Items
Appendix 5 develops the safety analyses that lead to the
AACG conclusions
Part A: Runways
Part B: Taxiways
Part C: Runway separations
Part D: Taxiway separations
Part E: Other items
using the AADL for mission critical software development page 1
Using the AADL
for mission critical software development
paper presented at the ERTS conference,
Toulouse, 21 January 2004
Pierre Dissaux,
pierre.dissaux@tni-world.com
TNI-Europe Limited
Mountbatten Court, Worrall Street
Congleton CW12 1DT
UK
+44 (0) 1260 291449
www.tni-world.com
1 Introduction
The Avionics Architecture Description Language (AADL) is an emerging standard, prepared by the Society of
Automotive Engineers (SAE), Architecture Description Language Subcommittee, Embedded Computing Systems
Committee, Aerospace Avionics Systems Division (AS-2C ). The AADL standard is based on MetaH, an avionics
architecture description language and toolset developed at Honeywell Laboratories under the sponsorship of the US
Defense Advanced Research Projects Agency (DARPA) and US Army Aviation and Missile Command
(AMCOM).
The Avionics Architecture Description Language (AADL) is a computer language used to describe the software
and hardware components of an avionics system and the interfaces between those components. Extension to
other mission critical application domains is of course also considered. The language is used to describe the
structure of a real-time system as an assembly of software and hardware components. The language can describe
functional interfaces to components (such as dataflows and control flows) and non-functional aspects of
components (such as timing properties). The AADL describes how components are combined, in terms of
subcomponents composition, interfaces connection and software to hardware allocation. The AADL was
developed to meet the special needs of embedded real-time safety critical systems.
This paper presents how the AADL can be used for the software modeling phases of the development lifecycle,
in association with other applicable standards for embedded real-time systems, or more generally for mission
critical systems. The awaited benefit of using the AADL in such a context is to widely improve the formal
definition of the real-time software architecture, and to enforce a better interaction between system engineering
and software engineering activities.
The compatibility with other model based software engineering approaches, such as the very practical and well
proven Hierarchical Object Oriented Design (HOOD) method is established, as well as some tips for using new
graphical notations as defined by the emerging UML 2.0 standard.
This new approach combining the AADL rigorous semantical definition, the HOOD modeling process and some
UML 2.0 graphical notation, provides a comprehensive, ready to use and up to date solution that complies with
the requirements of industrial standards like DO-178B for avionics, ECSS-E40 for space systems, and EN-50128
中国航空网 www.aero.cn
航空翻译 www.aviation.cn
本文链接地址：
航空资料23(71)
