Model Editing & Processing Tools. AADL Committee, San Diego February 4th, Pierre Dissaux. Ellidiss. Technologies w w w. e l l i d i s s.

Transcription

1 Model Editing & Processing Tools AADL Committee, San Diego February 4th, 2015 Pierre Dissaux Technologies w w w. e l l i d i s s. c o m

2 Independent Technology Provider: Software w w w. e l l i d i s s. c o m UK based company aka.tni Europe Ltd Tools sales office Fr based company New tools development R&D center 20 years + support to major industrial projects: HOOD design tools for Ada and C: CP-Hood and Stood Eurofighter Typhoon Airbus A340, A380, A350 Eurocopter Tiger (mission calculator) Rafale (engine control) European Space Agency (Frame Contract for the TASTE toolchain) 10 years + investement in MDE technology: AADL graphical modeling tools: Stood for AADL, Adele, DSM graphical editors: TASTE, COMPASS, AADL analysis framework: AADL Inspector Generic model processing technologies: GMP,

3 STOOD graphical editors HOOD-AADL-UML ADELE graphical editor TOPCASED SPICES/QUARTEFT TASTE graphical editors ASSERT/ESA AADL Builder graphical editor Instance model editor Your DSM editor Ex: metamodels, One tool: one metamodel UML Profiles AADL Checker static rules analysis CHEDDAR scheduling analysis MARZHIN model simulation OCARINA code generation RAMSES code generation COMPASS safety analysis FIACRE model prover POLYCHRONY model prover Your model Processing tool

4 STOOD graphical editors HOOD-AADL-UML ADELE graphical editor TOPCASED SPICES/QUARTEFT UML Profiles TASTE graphical editors ASSERT/ESA AADL Builder graphical editor Instance model editor Your DSM editor Ex: metamodels, Our tools architecture OSATE pivot model textual AADL MASIW AADL Checker static rules analysis CHEDDAR scheduling analysis MARZHIN model simulation OCARINA code generation RAMSES code generation COMPASS safety analysis FIACRE model prover POLYCHRONY model prover Your model Processing tool

5 Logic Model Processing A single solution for: Model queries Model constraints Model transformations Is based on a particular use of the prolog language Declarative and formal (boolean logic) Enforces modularity and low-coupling Appropriate for heterogeneous models merge Industrial return of experience: Airbus: have been used for 20 years for the development of DO-178 certified projects. : model adaptors in AADL Inspector and TASTE Facts base prolog engine result Rules base

6 STOOD for AADL Top-down modeling process for AADL

7 AADL Inspector Model Processing Framework Static rules analysis Cheddar Cloud access Wizards MARTE import Instance hierarchy AADL model Marzhin

8 Marzhin Executable AADL Multi-agent real-time simulator: Based on a pre-existing multi-agent kernel Specialized agents to represent real-time software constructs: Processor and scheduler Process and partition Thread and shared data Ports and connections The agents interact together and exhibit a global behavior Implementation of the AADL run-time The run-time semantic of each agent is defined by the AADL standard Example: an AADL thread: Generates system state changes events Used to display simulation traces for software analysis during design phase Used to animate 3D graphics

9 abstraction Marzhin vs. Other Timing Analysis Methods R i = Ci + j hp( i) R i C Pj j Feasibility Tests Cheddar THREAD athread PROPERTIES Dispatch_Protocol => Periodic; Period => 100ms; Deadline => 100ms; ANNEX Behavior_Specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { computation(1 ms }; **}; END athread; Schedule Table Formal Methods AADL Virtual Execution Marzhin procedure athread is begin loop AADL.Await_Dispatch; athread_operation; end loop; end athread; Programming Language + AADL middleware coverage

10 Exemple: distributed system CAN bus

11 3D simulation Multi-agent simulation Control system: AADL Process Sensors/Actuators: AADL Devices => connected to 3D objects Marzhin can send events to both AADL Inspector and the 3D engine

12 Roadmap Q2 Q3 Q4 Q1 Q2 Q3 Q4 Q Q2 Q3 AADL Inspector 1.1 Paris Air Show AADL Inspector 1.2 STOOD 5.4 AeroTech AADL Inspector 1.3 ERTS 2 AADL Inspector 1.4 MODELS End of the SMART project AADL Inspector 1.5 STOOD Paris Air Show AADL Inspector 1.6 AADL Inspector 1.5 Now available for download!

13 Summary: Products: Stood AADL Inspector Taste AADL Builder Model Inspector Services: Tool support and training Custom Tool development (DSM) Technology: frameworks: GMP: for graphical tools : for model processing Projects: ASSERT SPICES GLASSES QUARTEFT PARSEC CHEDDAR SMART RAMSES ADOSATE

14 Demo: Air Conditioner