Dassault-Aviation AADLexperimentations feed-backSerge BruillotFort Walton Beach, 25th of January 2006AADL Dassault-Aviation involvement• ASSERT project (European research project)• Dassault-Aviation first experimentations• AADL task group memberDassault-Aviation Experimentations• Experimentation#1 : AADL description of a simplified Mission System• Experimentation#2 : Behavioral analysis of a system or how to translate :– an AADL description of a system into ...– a Temporal Petri Net modelSimplified Mission System description(Experimentation#1)Experimentation#1 motivations• Check the AADL capability to describe a Mission System, at different development levels• Simulate the refinement of MS architecture component, as provided by a sub-contractor• Establish a preliminary AADL modeling method• Provide a feed-back to SAE AADL Task GroupThe way experimentation#1was done• 1rst set of AADL models developed by a SW engineer, with notions of avionics architecture design :– Mission System HW description– Mission Application description• 2nd set of AADL models developed by a SW engineer, middleware and digital technology expert : – Mission system HW description re arrangement– Mission system component (HW & SW) refinementThe real system : a simplified Mission SystemCOTS units Open Execution Platform… controlled by a simplified Mission ApplicationTestAADL.exeModeling process• Step by step modeling• models developed with OSATE tool• textual modelingMS AADL modeling step 1black boxes (COTS units) -> AADL deviceSystem Design : logical architectureopen execution platform -> AADL systemGlobal static description of the systemMS AADL modeling step 2System Design : physical architectureDescription of the information exchange solution : avionics digital busMS AADL modeling step 3Description of the computer power supply management and computer modes of operationsSystem Design : behaviorMS AADL modeling step 4Description of the IMA computer - avionics bus connectionSubsystem integration : physical architectureMS AADL modeling step 5Description of the IMA computer - processing modules and behavior Subsystem integration : physical architectureDifficulty metIt seems impossible with current AADL standard to make a reference to hierarchical elements• For connexion ports, it is interesting to group elementary infos in larger connexion ports, themselves grouped in a global connexion port • to limit the number of connexions in a system, it should be better to make a reference to port 2 rather than to port 1• but info1 access from port2, using the notation port2.port1.info1 access is forbidden ; only port1.info1 is allowedConclusion• AADL language is relatively easy to learn• model development time is quite quick• it seems impossible to make reference to hierarchical elements • model complexity increases rapidly (due to the connections definition)• although based on a formal language, a system description could be very subjective• the availability of an AADL toolset capable of helping the modeler will be appreciate (for system definition, analysis & verification )Follow-up presentations for next meeting • Mission system component (HW & SW) refinement :– application to DP module and mission application• Experimentation#2 : Behavioral analysis of a system or how to translate :– an AADL description of a system into ...– a Temporal Petri Net modelModelisation1 step1 - global MS--------------------------------------------------------------------------------- Definition du systeme complet -----------------------------------------------------------------------------------------------------------------------------system systeme_completend systeme_complet;system implementation systeme_complet.implsubcomponentsBIC: device bic;CTR: device ctr;MBM: device mbm;PSF: device psf;VTL: device vtl;CALCULATEUR: system calculateur.impl;connections-- En entree du calculateurbic_calculateur: port group BIC.bic_coupleur_out -> CALCULATEUR.from_bic;ctr_calculateur: port group CTR.ctr_coupleur_out -> CALCULATEUR.from_ctr;mbm_calculateur: port group MBM.mbm_coupleur_out -> CALCULATEUR.from_mbm;psf_calculateur: port group PSF.psf_coupleur_out -> CALCULATEUR.from_psf;-- En sortie du calculateurcalculateur_psf: port group CALCULATEUR.to_psf -> PSF.psf_coupleur_in;calculateur_vtl: port group CALCULATEUR.to_vtl -> VTL.vtl_coupleur_in;end systeme_complet.impl;-------------------------------------------------------------------------------Modelisation1 step1 - COTS units---------------------------------------------------------------- Definition des equipements ------------------------------------------------------------------------------------------------ MBMdevice mbmfeatures -- Ports d'E/Smbm_coupleur_out: port group mbm_infos_bus_out;end mbm;port group mbm_infos_bus_outfeaturesbdd_valide: out data port;end mbm_infos_bus_out;port group mbm_infos_bus_out_invinverse of mbm_infos_bus_outend mbm_infos_bus_out_inv;--------------------------------------------------------------Modelisation1 step1 - Computer--------------------------------------------------------------------------------- Definition du calculateur ----------------------------------------------------------------------------------------------------------------------------------- Calculateursystem calculateurfeatures-- Ports d'entreefrom_bic: port group bic_infos_bus_out_inv;from_ctr: port group ctr_infos_bus_out_inv;from_mbm: port group mbm_infos_bus_out_inv;from_psf: port group psf_infos_bus_out_inv;-- Ports de sortieto_psf: port group psf_infos_bus_in_inv;to_vtl: port group vtl_infos_bus_in_inv;end calculateur;system implementation calculateur.implend calculateur.impl;-------------------------------------------------------------------------------Modelisation1 step 2 - global MS--------------------------------------------------------------------------------- Definition du systeme complet -----------------------------------------------------------------------------------------------------------------------------system systeme_completend systeme_complet;system implementation systeme_complet.implsubcomponentsBIC: device bic;CTR: device ctr;MBM: device mbm;PSF: device psf;VTL: device vtl;BUS_AVION_EXT: bus bus_avionique_externe;CALCULATEUR: system calculateur.impl;connections-- Connexions au bus avionique externebus access BUS_AVION_EXT -> BIC.bus_avion_ext_connector;bus access BUS_AVION_EXT ->