Objective 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 Fields of science natural sciencescomputer and information sciencessoftwareengineering and technologyelectrical engineering, electronic engineering, information engineeringelectronic engineeringcontrol systemshumanitiesartsengineering and technologyelectrical engineering, electronic engineering, information engineeringinformation engineeringtelecommunications Programme(s) FP4-ESPRIT 4 - Specific research and technological development programme in the field of information technologies, 1994-1998 Topic(s) 1.1 - Software Intensive Systems Engineering Call for proposal Data not available Funding Scheme CSC - Cost-sharing contracts Coordinator Sextant Avionique EU contribution No data Address Rue Jeanne Braconnier 5/7 92366 Meudon La Foret France See on map Total cost No data Participants (2) Sort alphabetically Sort by EU Contribution Expand all Collapse all Centre D'etudes et de Recherche de Toulouse France EU contribution No data Address Avenue Edouard Belin 2 31055 Toulouse See on map Total cost No data Centro Informazioni Studi ed Esperienze SpA Italy EU contribution No data Address Via Reggio Emilia 39 20090 Segrate See on map Total cost No data
