View Full Document

Dassault-Aviation AADL experimentations feed-back



View the full content.
View Full Document
View Full Document

9 views

Unformatted text preview:

Dassault Aviation AADL experimentations feed back Serge Bruillot Fort Walton Beach 25th of January 2006 AADL Dassault Aviation involvement ASSERT project European research project Dassault Aviation first experimentations AADL task group member Dassault 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 model Simplified 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 Group The 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 refinement The real system a simplified Mission System COTS units Open Execution Platform controlled by a simplified Mission Application TestAADL exe Modeling process Step by step modeling models developed with OSATE tool textual modeling MS AADL modeling step 1 Global static description of the system System Design logical architecture open execution platform AADL system black boxes COTS units AADL device MS AADL modeling step 2 Description of the information exchange solution avionics digital bus System Design physical architecture MS AADL modeling step 3 Description of the computer power supply management and computer modes of operations System Design behavior MS AADL modeling step 4 Description of the IMA computer avionics bus connection Subsystem integration physical architecture MS AADL modeling step



Access the best Study Guides, Lecture Notes and Practice Exams

Loading Unlocking...
Login

Join to view Dassault-Aviation AADL experimentations feed-back and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view Dassault-Aviation AADL experimentations feed-back and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?