1 / 38

SCADE System & IMA V ertical Solutions

SCADE System & IMA V ertical Solutions. GosNIIAS International Conference MAKS 2013 Alexander Shligerski August 29 th ,2013. Agenda. Esterel – mission & customers Introduction to SCADE Architectures & function modeling with SCADE Systems

adair
Download Presentation

SCADE System & IMA V ertical Solutions

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. SCADE System & IMA Vertical Solutions GosNIIAS International Conference MAKS 2013 Alexander Shligerski August 29th,2013

  2. Agenda Esterel – mission & customers Introduction to SCADE Architectures & function modeling with SCADE Systems Verification & Integration with SCADE System SCADE Solutions for IMA Benefits of SCADE for IMA Q&A

  3. Esterel Technologies mission Provide critical system and software developers with model-based development solutions that reduce cost, risk and time-to-certification Esterel Technologies is theEmbedded Systems Business Unit of ANSYS, Inc.

  4. Esterel Worldwide Customers > 250 Aerospace & Defense Rail Transportation MIEA NASA NAUKA NIIAO NKBVS Messier-Bugatti OAK (UAC) ONERA Parker Piaggio Aerospace Poliot Pratt & Whitney Rheinmetall Rolls Royce Aero Saab Avitronics SAIC Safran/ Sagem Selex Galileo Snecma Star Sukhoi Turkish Aerospace Ind. Tekhpribor Thales Avionics Thales Training & Sim. Toshiba Aerospace Turbomeca Samsung Thales Ultra Electronics Ulyanovsk US Army Redstone Ars. VEGA VNIIRA Xian Aerospace ZODIAC CAF CASCO Deuta Werke Dimetronic EFACEC Engineering AT Hollysys Hyundai Rotem Ikerlan INVENSYS Rail Istanbul Ulasim Kyosan Mitsubishi Rail NIIAS NRIET POSCON PT LEN RATP Samsung SDS Siemens Rail Transportation Systerel Thales Rail Signaling Systems ADASI Aeropribor Antonov Airbus Alenia Astronics AVIC AVtech Avionika BAE SYSTEMS Beriev BOEING Bosch Aerospace Bundeswehr (BWB) CALT CASC / CAST CETC CMC COMAC Crane Aerospace DARE Dassault Aviation Defense Singapore Diehl Aerospace DLR EADS CASA EADS Astrium EADS Cassidian ECICT Elbit Systems Elektroavtomatika Embraer Energy & Nuclear AREVA NP BARC IGCAR Nuclear Research Rolls-Royce Civil Nuclear KAERI KOPEC NPCIL NPIC Rolls Royce Submarine SNERDI Techenergy VESTAS VNIIA /Rosatom EKRAN ELTA ELV ESA ESG Eurocopter FADACATEC GE Aviation GE IQ Goodrich GosNIIAS HAL Hamilton Sundstrand Hispano-Suiza IntecsSistemi Intertechnique IRKUT KAL/ADD KEEVEN KHI L3 Liebherr Aerospace Lockheed Martin Meggitt Safety Systems Meggitt Sensors Meggitt Avionics Alcatel Shanghai Bell Alstom Transportation Ansaldo STS AREVA TA BJTU Industrial & Automotive BMW DCNS Fuji Heavy GE Energy IKV Liebherr Construction Mitsubishi Johnson Controls NIAT Nihon Seiko PSA Schindler Elevators Subaru Terex Cranes Toyota Automotive Toyota Robotics Volvo Trucks

  5. Клиенты Esterel в России и Украине • Aэрокосмическая • и оборонная отрасли • СТАР (Пермские Моторы) • ОКБ Сухого • УКБП • ВЕГА • ВНИИРА • Ж/д Транспорт • EngineeringAT • НИИАС (РЖД) • РГУПС • Атомная энергетика • ВНИИА (Росатом) Aэрокосмическая и оборонная отрасли Аэроприбор Восход ГП Антонов (Украина) МНПК Авионика Бериев Электроавтоматика Экран (Украина) ГосНИИАС ИРКУТ МИЭА (концерн Авиаприбор) НИИАО НКБ ВС НПО НАУКА ОАК ПОЛЕТ

  6. ИPKУT MS-21

  7. IRKUT MS-21 Suppliersusing SCADE • Engines: Pratt & Whitney • Engines: Rolls Royce • FADEC: СТАР (Пермские Моторы) • Flight control & FMS: МИЭА (Авиаприбор) • Cockpit Display System: УКБП • Fuel Management: Intertechnique • Electrical Power Generation: ECE (Zodiac) • Air Conditioning & Cabin Pressure: НПО НАУКА • Braking System: Meggitt Systems • ГосНИИАС: центр компетенции • ОАК Центр Комплексирования

  8. Introduction to SCADE

  9. What is SCADE ? Safety Critical Application Development Environment SCADE is a Model-Based development tool for system & software engineers designing safety-criticalcontrol engineering and human machine graphical interfaces (HMIs). SCADE automates the software engineering process from specifications, validation & verification, down to DO-178B/C certified code generation.

  10. SCADE for Control Engineering & HMIs SCADE Suitefor Control Logic & Algorithms SCADE Display for Embedded Graphics Fully Integrated Design Suite for Mission & Safety Critical Designs

  11. The Full SCADE Portfolio SCADE SYSTEM Software system design, architecture and simulation System Design Control Software Design Display Software Design System Architecture,System Verification SCADE DISPLAY Display software prototyping, design, verification and qualified code generation Prototyping, Design, Verification, QualifiedCode Generation Prototyping, Design,Verification, QualifiedCode Generation Application Lifecycle Mgt SCADE SUITEControl software design, prototyping, verification and qualified code generation SCADE LIFECYCLELifecycle and requirements management certification plans, documentation generation Certification Plans, Metrics, Requirements, Configuration Management, DocumentationGeneration

  12. What Makes SCADE Unique ? • SCADE developed specifically to address safety-critical complex applications • SCADE Suite & Display Code Generators certified/qualified according to the International safety standards: • DO-178B / DO-178C qualification up to Level A – Aerospace & Defense • EN 50128 certification up to SIL 3/4 – Rail Transportation • IEC 61508 certification up to SIL 3 – Industrial & Energy • IEC 60880 full compliance – Nuclear Instrumentation & Control • IEC 62304 full compliance – Medical Systems • EN 13849 full compliance – Industrial Machines Safety • ISO 26262 certification up to ASIL D – Automotive (2013) • One products qualified at the highest level of safety across 5 market segments by 10 safety authorities worldwide

  13. Modeling Functions, Architectures, and Datawith SCADE System

  14. Typical Systems Engineering Documents Functional Design Architectural Design Requirements Functions & Interfaces Allocation Data

  15. Modeling System Functions in SCADE System

  16. Modeling System Architecture in SCADE System

  17. Allocating of System Functions onto Architecture Components • Defined in SCADE System “Allocation Tables”

  18. SCADE System Allocations

  19. System Engineering and Data Management • Best practice in most industries is to manage the system interfaces in “Data Dictionaries” • Data attributes with various levels of refinements • Large amount of data managed in data bases • Full support of Data Dictionaries in SCADE System • Tables with customizable data attributes • Import & export data dictionaries from any existing data base • Link data with the functional and architecture models

  20. SCADE System Data Dictionaries Direct copy/paste from/to Excel • Creates data, • Binds names to existing information e.g. datatype <Ctrl> c <Ctrl> v

  21. SCADE System Data Modeling • Benefits in the “Data-Based” representation • Better independence between the architecture and the information managed by the system • The data may exist prior to the architecture design • Industrial practice: ICD (Interface Control Document) • Detailed Specification of the interfaces at all levels • ICDs from previous projects reused to initialize new ones •  Import/export data in SCADE System

  22. Verification & Integrationwith SCADE System

  23. SCADE System Checker • Automated verification • “Are all data produced by exactly 1 component, and used at least once?” • Easy customization of rules • Tool configurations to select checking rules and packages to be checked

  24. SCADE System Model API • Development of custom verifications, data import or export • Wizard to help creating your first scripts • TCL, Java and OCL technologies

  25. SCADE System/Suite Synchronization • System – Software Models Synchronization • Avoid duplication of efforts and inconsistencies between system structural models and software behavioral models • System design and Software components evolve independently • On-demand re-synchronization of interfaces • Interfaces described in SCADE System model • Software designs

  26. System – Software Synchronization

  27. System Engineering Process Support • SCADE System Model Diff and Merge • SCADE System Model Component Export • To preserve IP of other system design parts, e.g. to subcontract the SW development of one system block

  28. SCADE Solutions for IMA

  29. IMA Challenges • Manage complete architecture with DATA dictionaries • Manage complexity of system Integration • Ensure determinism of the system behavior • Manage System / Software communication and synchronization • Capability to perform testing early in the process • Automate IMA configuration tables generation • Certification according to DO-178B/C and DO-297 (IMA)

  30. The Stakeholders in an IMA Program • System Architect Designer and Integrators • Architecture, Integration, Platform Acceptance, System Acceptance • Application Suppliers • Application, Application Acceptance • IMA Platform Suppliers • Hardware resources and Software drivers • ARINC 653 OS Suppliers • Ensure Time and space partitioning • Access to hardware resources in an abstracted manner (APEX interfaces standard) • Certification Authorities • Certification of Modules, Platform, Apps, System SCOPE of SCADE solutions SCOPE of SCADE Partners’ solutions

  31. Esterel IMA Strategic Initiative • Esterel Technologies currently develops SCADE Solutions for IMA • Addressing the Systems Architecture and Software Application layers. • Leveraging SCADE System to describe the IMA system architecture using standards-based SysML interoperable description • Leveraging existing ARINC 653 Adaptor features of SCADE Suite KCG and SCADE Display KCG • …to provide a complete Model-Based solution for IMA systems and applications development • In close partnership with IMA experts & users, including GosNIIAS

  32. Use model for SCADE Solutions for IMA • Full Static description of the IMA system in SCADE System • Supports functional decomposition • Supports static architecture decomposition (graphical) • Supports allocation of functions to components • Management of Interface database for an equipment • Partition Design and Code Generation with SCADE Suite and SCADE Display • DO-178B/C Level A qualified code generation • Methodology and IMA Application LifeCycle Support with SCADE LifeCycle • Synchronization of System architecture and Software Engineering • Full Traceability management (with LifeCycle RM Gateway) • Entire Documentation Generation (with LifeCycle Reporter)

  33. Summary workflow Manual or legacy Code IMA Operating System Application3(e.g. TCAS) Application1(e.g. FMS) Application2(e.g. FCS) IMA Configuration Table Partitions Partitions Partitions IMA Usage Domain (PlaformConstraints) IMA Platform provider A653 API IMA HW Platform (CPU, I/O, Networks: AFDX, ARINC 429…)

  34. SCADE Solutions for IMA Benefits

  35. SCADE Solutions for IMA Benefits (1/2) • Management of System Architecture with data dictionary • Enabling design of 100% of IMA Application • Enabling design of partitions and complete architecture • Management of I/O signals • Management of the complexity of system integration • Model-Based representation of the system • Automated systems consistency checks • Early testing and Rapid Prototyping • Management of System/Software communication and synchronization • Built-in Consistency of Software and System activities • System and Software semantic Model Diffs

  36. SCADE Solutions for IMA Benefits (2/2) • Ensure determinism of system behavior and standards compliance • Determinism of generated code • Qualified code/table generation capabilities (for DO-178B/C Level A – under development) • Conformance to ARINC 653 standard • Automation of IMA configuration table generation • Certification according to DO-178B & C

  37. SCADE Solutions for IMA: Roadmap • Available Now: • Partition design and certified code generation • SCADE System SysML IMA Profile (CORAC) • Data dictionary and profiling/annotations capability • SCADE System high level API • Generic System Checker • Available Q1/2014: • IMA Tables generation • Specific IMA System Checker

  38. Thank you !Questions ?

More Related