Ziel
ARTS will address the Software Intensive System Engineering aspects that are crucial in the development of safety critical and embedded real-time applications: verification and validation (V&V) of both the user requirements and the final systems. In particular, ARTS will address these aspects in the avionics field, where safety critical requirements impose analysis of consistency and adequacy during the whole application life cycle.
In the project a formal specification and test technique based on a temporal logical framework (TRIO) will be applied to critical phases of the V&V process for an Electrical Flight Control System (EFCS). This application will be developed using conventional techniques within an industrial development project which was started in 1994 and will be completed in 1998. ARTS will allow the user and the system developer to experiment with TRIO for testing both specification and implementation of critical components of EFCS. The use of TRIO on EFCS applications is completely new, since it has so far been applied in energy management systems only. TRIO has been developed within an RTD project, supported mainly by ENEL - the Italian electricity company - and has been used for the specification of real time, safety critical systems devoted to control, power production, transport and distribution.
The action aims at verifying that TRIO can satisfy specific needs - related to V&V activities in the avionics field - that conventional techniques cannot. The link with the real EFCS development project will allow a concrete evaluation of benefits and difficulties implied by the use of TRIO. On the basis of this evaluation, a methodology which integrates traditional design practice with TRIO-based formal V&V activities will be explored. To merge existing techniques - currently used in different phases of the development process - with the experimented formal approach is in fact mandatory from an industrial point of view to avoid loss of past investments and background.
A further objective of ARTS is to make more efficient and robust TRIO tools, since potential use of TRIO is often limited by the weakness in performance and user interface.
The foreseen results of the project will be transferable to all organisations where safety critical, real time embedded systems are developed, e.g. in energy, chemical, oil and gas, manufacturing, military, aerospace, telecommunications, and large utility network application domains. They appear to be of particular interest for the whole development process starting from requirements, through design and implementation, to system testing.
The consortium partners are strongly involved in the project and their roles guarantee that all the aspects of the action will be addressed. SEXTANT Avionique as user will provide the application: they will use TRIO to specify some selected parts, validate the system, and evaluate the results of the experiment. CERT-ONERA as a supplier to the aerospace industry and user of formal methods will be able to fully experiment with TRIO, exploiting the features of its logical language and tools, and will co-operate with SEXTANT Avionique to develop TRIO specification and test cases. CISE as TRIO developer will guarantee the required technical support and provide enhanced and optimised versions of TRIO tools.
http://www.cert.fr/francais/deri/seguin/ARTS/page.html(öffnet in neuem Fenster)
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
- Naturwissenschaften Informatik und Informationswissenschaften Software
- Technik und Technologie Elektrotechnik, Elektronik, Informationstechnik Elektrotechnik Steuerungssysteme
- Geisteswissenschaften Kunst
- Technik und Technologie Elektrotechnik, Elektronik, Informationstechnik Informationstechnik Telekommunikation
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Daten nicht verfügbar
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Koordinator
92366 Meudon La Foret
Frankreich
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.