Laboratoire d’Analyse et d’Architecture des Systèmes
M.STOICESCU, J.C.FABRE, M.ROY
TSF
Manifestation sans acte : Journée Sécurité des Systèmes & Sureté des Logiciels (3SL), Saint malo (France), 10 Mai 2011, 2p. , N° 11269
Lien : http://hal.archives-ouvertes.fr/hal-00595115/fr/
Diffusable
Plus d'informations
Nowadays, systems are not only becoming increasingly complex and heterogeneous but are also opened towards their environment by means of context-awareness. Furthermore, in the vast majority of cases, their specifications periodically evolve, leading to new versions. As resilient systems are expected to continuously provide trustworthy services, they must cope with changes coming from the environment or from the specifications and reconfigure in order to adapt to them. We propose a framework for designing and developing such systems.
J.LAURET, J.C.FABRE, H.WAESELYNCK
TSF
Rapport de Contrat : IMAP, Airbus, Avril 2011, 30p. , N° 11194
Non diffusable
124458J.C.FABRE, M.O.KILLIJIAN, F.TAIANI
TSF, Lancaster Univ.
Manifestation avec acte : ACM Symposium on Applied Computing (SAC 2011), Taichung (Taiwan), 21-24 Mars 2011, 6p. , N° 10773
Diffusable
124540T.ROBERT, M.ROY, J.C.FABRE
TSF, LTCI
Manifestation avec acte : International Conference on Real-Time Systems (RTNS 2010), Toulouse (France), 4-5 Décembre 2010, 10p. , N° 10786
Lien : http://hal.archives-ouvertes.fr/hal-00546945/fr/
Diffusable
Plus d'informations
Integrated Modular Avionics (IMA) architectures employ a high-integrity, partitioned environment that hosts multiple avionics functions of different criticalities on a shared computing platform. IMA provides benefits of flexibility and scalability and allow for weight savings. However the complexity of the integration process is increased due to the sharing of resources. One of the main problem encountered during the integration process is to find a proper scheme for scheduling avionics functions onto offered processing units while ensuring at the same time execution, resource and safety demands. In this paper, we present a MILP formulation for the scheduling of avionics functions on the resources of an IMA architecture. This mixed integer linear programming formulation takes into account resource constraints as well as temporal constraints related to ensuring a feasible schedule for the strictly periodic avionics functions. The objective function is to maximize the evolution margin for the functions, so that spare resources can be allocated to meet the resource demand growth of the hosted functions.
J.C.FABRE
TSF
Ouvrage (contribution) : Architecting Dependable Systems VII, N°ISBN: 978-3-642-17244-1, 2010, Part 4, pp.273-322 , N° 10228
Diffusable
124042A.TANKEU-CHOITAT, D.NAVARRE, P.PALANQUE, Y.DELERIS, J.C.FABRE
Airbus Operations, IRIT-UPS, TSF
Manifestation avec acte : HCI-AERO 2010, Cape canaveral (USA), 3-5 Novembre 2010, 11p. , N° 10530
Diffusable
126503I.BOUASSIDA, K.DRIRA, J.C.FABRE, J.LAURET, A.MAALEJ
OLC, TSF
Rapport de Contrat : IMAP, Airbus, Mai 2010, 128p. , N° 10353
Non diffusable
121722J.C.FABRE, M.O.KILLIJIAN, T.PAREAUD
TSF
Manifestation avec acte : European Dependable Computing Conference (EDCC 2010), Valence (Espagne), 28-30 Avril 2010, pp.45-54 , N° 10304
Diffusable
121477F.TAIANI, M.O.KILLIJIAN, J.C.FABRE
Lancaster Univ., TSF
Revue Scientifique : Software :Practice and Experience, Vol.39, N°18, pp.1467-1514, Décembre 2009 , N° 09940
Diffusable
124487C.LU, J.C.FABRE, M.O.KILLIJIAN
RENAULT Technocentre, TSF
Manifestation avec acte : 17th International Conference on Real-Time Systems (RTNS 2009), Paris (France), 26-27 Octobre 2009, pp.132-147 , N° 09499
Lien : http://hal.archives-ouvertes.fr/inria-00442000/fr/
Diffusable
119595