telecom paris aadl tools portfolio for real time systems
play

TELECOM Paris AADL tools portfolio for real-time systems virtual - PowerPoint PPT Presentation

TELECOM Paris AADL tools portfolio for real-time systems virtual integration Dominique Blouin Etienne Borde Telecom ParisTech dominique.blouin@telecom-paristech.fr etienne.borde@telecom-paristech.fr Institut Mines-Tlcom Virtual


  1. TELECOM Paris AADL tools portfolio for real-time systems virtual integration Dominique Blouin Etienne Borde Telecom ParisTech dominique.blouin@telecom-paristech.fr etienne.borde@telecom-paristech.fr Institut Mines-Télécom

  2. Virtual integration for real-time systems n Virtual integration: • Functional integration à focus on “software in the loop” simulation (including the OS) • Timing analysis à model-based computation of worst-case response time, communication delays, end-to-end latency n Methods and tools (not all shown on website): • RAMSES: Refinement of AADL Models for the Synthesis of Embedded Systems • MC-DAG: Mixed-Criticality scheduling of Directed Acyclic Graph of tasks • SEFA: Switched Ethernet Flows Analysis • AADL -BA: Behavior Annex frontend • OSATE-CLI: Command Line Interface for OSATE • Workflow management tool for model processing • RDAL: Requirements Definition and Analysis Language n Tools webpage: https://mem4csd.telecom-paristech.fr/ 2 Institut Mines-Télécom AADL Tools presentation, 2019/02/28

  3. RAMSES: Refinement of AADL Models for the Synthesis of Embedded Systems n RAMSES approach RAMSES RAMSES code model generator Refined AADL Automatically Initial AADL transformation model generated code model Analysis ANALYSE Reduced semantic gap n Add-on tool to OSATE (latest version) n Webpage (installation instructions, examples … ): https://mem4csd.telecom-paristech.fr/blog/index.php/ramses/ 3 Institut Mines-Télécom AADL Tools presentation, 2019/02/28

  4. Virtual integration: combine model transformations and analysis Refinement AADL to AADL/ARINC653 model transformation Design model Implementation model Generated Analysis C/Ada code 4 Institut Mines-Télécom AADL Tools presentation, 2019/02/28

  5. Virtual integration: automated code generation (simulation and deployment) n Supported platforms • POSIX (Linux) • ARINC653 ─ POK: https://pok-kernel.github.io/ ─ VxWorks: https://www.windriver.com/products/vxworks/ • OSEK ─ nxtOSEK: http://lejos-osek.sourceforge.net/ n Supported for distributed systems on POSIX and ARINC653 (POK) systems n Support for local modes management n Used by SAFRAN in R&D activities; potential technological transfer. • Experimented on a distributed system (6 processors, 21 applications) • Support for most of the concepts of AADL (thread group, feature groups, etc.) 5 Institut Mines-Télécom AADL Tools presentation, 2019/02/28

  6. Demo with a toy example: Lego Mindstorm Robot n Automatic C code generation from AADL models with RAMSES • NXT OSEK OS n Analysis • Model based execution time extraction • Response-time analysis with AADL Inspector n Well documented example • Tutorial 1 (MPM4CPS training school) • Mindstorm hardware developer kit • OS: NXT OSEK (http://lejos-osek.sourceforge.net/) 1 https://mem4csd.telecom-paristech.fr/blog/index.php/mpm4cps-training-school/ 6 Institut Mines-Télécom AADL Tools presentation, 2019/02/28

  7. Mixed-Criticality DAG Scheduling on Multi- Core Architectures n Mixed Criticality DAGs representation in AADL: • Immediate connections • Modes • Criticality levels properties n Associated publications: • Scheduling Multi-Periodic Mixed-Criticality DAGs on Multi-Core Architectures , Medina et al., RTSS 2018. • Availability enhancement and analysis for mixed-criticality systems on multi- core. Medina et al., DATE 2018 n Integrated into RAMSES (simulation on POSIX) n Other deterministic MOCC supported with a lock free implementation: Periodic delayed communications • Deterministic Implementation of Periodic-Delayed Communications and Experimentation in AADL . Cadoret et al., ISORC 2013 7 Institut Mines-Télécom AADL Tools presentation, 2019/02/28

  8. MC-DAG Scheduling: Mixed-Criticality UAV Example 2. Probabilistic 1. Schedule tables automaton production 4. Code generation 8 Institut Mines-Télécom AADL Tools presentation, 2019/02/28

  9. Switched Ethernet Flows Analysis (SEFA) n Implementation of the trajectory approach to compute the worst-case communication latency on AFDX networks n Compliant with the draft Networking annex of AADL n Reference example: n Used by ALSTOM and SAFRAN in R&D activities https://mem4csd.telecom-paristech.fr/blog/index.php/switched-ethernet-flows-analysis/ 9 Institut Mines-Télécom AADL Tools presentation, 2019/02/28

  10. MEM4CSD: Model-based Engineering Methods for Complex Systems Design n Tools webpage: https://mem4csd.telecom-paristech.fr/ n Other methods and tools (not all on website): • AADL -BA: Behavior Annex frontend • OSATE-CLI: Command Line Interface for OSATE • Workflow management tool for model processing • RDAL: Requirements Definition and Analysis Language Welcome to my booth for a demo/discussion! Contacts : etienne.borde@telecom-paris.fr dominique.blouin@telecom-paris.fr 10 Institut Mines-Télécom AADL Tools presentation, 2019/02/28

Recommend


More recommend