Felici 2005a - Revision history

Scipediacontent at 14:33, 21 January 2021

2021-01-21T14:33:51Z

Scipediacontent: Scipediacontent moved page Draft Content 431772514 to Felici 2005a

2020-10-14T11:52:21Z

Scipediacontent moved page Draft Content 431772514 to Felici 2005a

Scipediacontent: Created page with " == Abstract == In order realistically and cost-effectively to realize the ATM (Air Traffic Management) 2000+ Strategy, systems from different suppliers will be interconnecte..."

2020-10-14T11:52:19Z

Created page with " == Abstract == In order realistically and cost-effectively to realize the ATM (Air Traffic Management) 2000+ Strategy, systems from different suppliers will be interconnecte..."

New page

== Abstract ==

In order realistically and cost-effectively to realize the ATM (Air Traffic Management) 2000+ Strategy, systems from different suppliers will be interconnected to form a complete functional and operational environment, covering ground segments and aerospace. Industry will be involved as early as possible in the lifecycle of ATM projects. EUROCONTROL manages the processes that involve the definition and validation of new ATM solutions using Industry capabilities (e.g., SMEs). In practice, safety analyses adapt and reuse system design models (produced by third parties). Technical, organisational and cost-related reasons often determine this choice, although design models are unfit for safety analysis. Design models provide limited support to safety analysis, because they are tailored for system designers. The definition of an adequate model and of an underlying methodology for its construction will be highly beneficial for whom is performing safety analyses. Limited budgets and resources, often, constrain or inhibit the model definition phase as an integral part of safety analysis. This paper is concerned with problems in modeling ATM systems for safety analysis. The main objective is to highlight a model specifically targeted to support evolutionary safety analysis.

Document type: Part of book or chapter of book

== Full document ==
<pdf>Media:Draft_Content_431772514-beopen404-4408-document.pdf</pdf>

== Original document ==

The different versions of the original document can be found in:

* [http://www.dirc.org.uk/publications/inproceedings/papers/137.pdf http://www.dirc.org.uk/publications/inproceedings/papers/137.pdf]

← Older revision		Revision as of 14:33, 21 January 2021
Line 3:		Line 3:

	In order realistically and cost-effectively to realize the ATM (Air Traffic Management) 2000+ Strategy, systems from different suppliers will be interconnected to form a complete functional and operational environment, covering ground segments and aerospace. Industry will be involved as early as possible in the lifecycle of ATM projects. EUROCONTROL manages the processes that involve the definition and validation of new ATM solutions using Industry capabilities (e.g., SMEs). In practice, safety analyses adapt and reuse system design models (produced by third parties). Technical, organisational and cost-related reasons often determine this choice, although design models are unfit for safety analysis. Design models provide limited support to safety analysis, because they are tailored for system designers. The definition of an adequate model and of an underlying methodology for its construction will be highly beneficial for whom is performing safety analyses. Limited budgets and resources, often, constrain or inhibit the model definition phase as an integral part of safety analysis. This paper is concerned with problems in modeling ATM systems for safety analysis. The main objective is to highlight a model specifically targeted to support evolutionary safety analysis.		In order realistically and cost-effectively to realize the ATM (Air Traffic Management) 2000+ Strategy, systems from different suppliers will be interconnected to form a complete functional and operational environment, covering ground segments and aerospace. Industry will be involved as early as possible in the lifecycle of ATM projects. EUROCONTROL manages the processes that involve the definition and validation of new ATM solutions using Industry capabilities (e.g., SMEs). In practice, safety analyses adapt and reuse system design models (produced by third parties). Technical, organisational and cost-related reasons often determine this choice, although design models are unfit for safety analysis. Design models provide limited support to safety analysis, because they are tailored for system designers. The definition of an adequate model and of an underlying methodology for its construction will be highly beneficial for whom is performing safety analyses. Limited budgets and resources, often, constrain or inhibit the model definition phase as an integral part of safety analysis. This paper is concerned with problems in modeling ATM systems for safety analysis. The main objective is to highlight a model specifically targeted to support evolutionary safety analysis.
−
−	~~Document type: Part of book or chapter of book~~
−
−	~~== Full document ==~~
−	~~<pdf>Media:Draft_Content_431772514-beopen404-4408-document.pdf</pdf>~~


Line 15:		Line 10:

	* [http://www.dirc.org.uk/publications/inproceedings/papers/137.pdf http://www.dirc.org.uk/publications/inproceedings/papers/137.pdf]		* [http://www.dirc.org.uk/publications/inproceedings/papers/137.pdf http://www.dirc.org.uk/publications/inproceedings/papers/137.pdf]
		+
		+	* [http://link.springer.com/content/pdf/10.1007/11563228_16.pdf http://link.springer.com/content/pdf/10.1007/11563228_16.pdf],
		+	: [http://dx.doi.org/10.1007/11563228_16 http://dx.doi.org/10.1007/11563228_16]
		+
		+	* [http://www.dirc.org.uk/publications/inproceedings/papers/137.pdf http://www.dirc.org.uk/publications/inproceedings/papers/137.pdf],
		+	: [https://link.springer.com/chapter/10.1007%2F11563228_16 https://link.springer.com/chapter/10.1007%2F11563228_16],
		+	: [https://core.ac.uk/display/20688567 https://core.ac.uk/display/20688567],
		+	: [https://dl.acm.org/citation.cfm?id=2156666 https://dl.acm.org/citation.cfm?id=2156666],
		+	: [https://dblp.uni-trier.de/db/conf/safecomp/safecomp2005.html#Felici05 https://dblp.uni-trier.de/db/conf/safecomp/safecomp2005.html#Felici05],
		+	: [https://doi.org/10.1007/11563228_16 https://doi.org/10.1007/11563228_16],
		+	: [https://rd.springer.com/chapter/10.1007/11563228_16 https://rd.springer.com/chapter/10.1007/11563228_16],
		+	: [https://academic.microsoft.com/#/detail/2123946277 https://academic.microsoft.com/#/detail/2123946277]

← Older revision	Revision as of 11:52, 14 October 2020
(No difference)