3.8 Develop Functional Safety Concept • • • Derive functional safety requirements from safety goals Determine functional safety subsystems Allocate functional safety requirements to subsystems 3.8 Develop Functional Safety Concept • Build a detailed functional Safety concept model based upon the functional safety requirements • Based upon dual redundancy of signals • Cross checking of signals • Could be mapped to a Virtual Function Bus in AUTOSAR terms • Evaluation of the concept is carried out using execution 3.8 Develop Functional Safety Concept • • Verifies that the functional safety concept is appropriate to mitigate against Safety Requirements Virtual prototype / Panel graphics support • Ideal communications aid for design reviews and general sharing of information. 3.8 Develop Functional Safety Concept • Specify the criteria for the implementation of the functional safety requirements to be test against • Quality of service/performance requirements • Functional safe states • Review the functional safety requirements and test criteria 4.0 Systems Engineering for product development • First part of Systems engineering covers 4.5-4.7 • Second half covers 4.8-4.11 testing at various level to release for production 4.7 System Design • • • Realization of the technical safety requirements into a System specification • Allocation of safety requirements to HW/SW • HW interface specification • SW interface specification Carry out system level tests and report on them • Verification of the proposed technical safety concept architecture • Test type is dependent on ASIL – 2a is Simulation (highly recommended ASIL C and D) • Verification report Start to understand the effects of the proposed architecture on production and operations • How you manufacture the software (i.e. burn to EPROM, copy mirror images to HW) • How to maintain and record issues Develop Technical Safety Architecture • • Modeling is mentioned is a useful technique in the appendix of part 4 Explains how systems models can be used to • • • • Understand safety related behavior Verify and validate behavior through simulation and fault injection Create system level tests The technical safety concept is the physical model of the item under development • • Allocation of the safety features, functions and ASILs defined in the functional safety concept to a physical architecture AUTOSAR terms it results in a Topology diagram Develop Technical Safety Architecture • Architecture Structure • Used to check technical safety concept as an executable model by fault injection Develop Technical Safety Architecture • Physical architecture overview • Similar to AUTOSAR topology diagram Develop Technical Safety Architecture • Mapping of Physical Architecture elements to ASIL and implementation type • Requirements Allocated to physical elements Pushed back into DOORS for the specification • • • HW/SW interface specs extracted use RPE/RP+ template Hand off Model and requirements to Suppliers/ SW development teams Software Product Development in ISO 26262 • Maps very closely to the V cycle with iterations • In Automotive typically 4 or 5 iterations per software development project – Actually very agile approach to SW development • • • • Labeled alphabetically Some of the input from the AUTOSAR definition used to flesh out the Software safety specification Specifically timing information BSW modules can be used in the Software design to specify the communications drivers AUTOSAR and ISO 26262 AUTOSAR maps to development stages of ISO 26262 Provides a “How” to the ISO 26262 “What” Provides some detail on the tasks involved in development for an AUTOSAR based project Functional Safety Concept Product development System level Product Development SW level System Design in AUTOSAR • Define the ECU topology and based upon the SWC constraints allocate to the relevant ECU in the topology • In AUTOSAR the VFB model is kept independent of the Topology • Allows great flexibility in the mapping • From this you can derive the communication requirements and start to understand the communications elements needed from the Basic Software Modules • Communication protocols supported – CAN – LIN – Flexray • BSW also support error checking methods, memory partition functionality, Watchdogs etc – Common techniques used by the safety critical community and mentioned in ISO 26262 • Define System Timing activity • Partnership with INCHRON – Can be used to verify the safety critical timing constraints AUTOSAR Topology Diagram • Shows the physical architecture of the feature • Describes the ECUs and their relationships to the communications networks • Also used as the basis for an ECU extract – ARrXML representation of the ECU Mapping between VFB and Topology diagram • • Mapping carried out using SWCtoECUmapping The mapping is expressed in the SWCtoECUmapping table 6.7 and 8 Software Architecture and Unit Design • • Typically maps into the SWC and BSW design process in AUTOSAR Possible to use prequalified SW components • • • • • • Helps with reuse Configured SW Parameterised SW SEOOC AUTOSAR SWC really useful for this as they have predefined interfaces in the AUTOSAR API libraries ISO 26262 has guidelines for using SW in this way in Vol 8 clause 12 Model Based SWC design in AUTOSAR • Provides the expected interfaces for the various element types that exist in that group • • • • • This provides the correct ARXML to integrate the units together on the RTE In Rhapsody you need to create Rhapsody Implementation Blocks (RImB) • • • • • PowerTrain Chassis Body and Comfort etc. This provides the detailed implementation of the SWC functionality The SWC acts like a wrapper Implementation for the SWC for ECU 2 Provides the basis for the SWC unit test testconductor works with AUTOSAR models at the SWC unit level DO-178B at 30,000 feet • • DO-178B defines detailed guidelines for development of aviation software that performs intended functions DO-178C takes into account • Modelling (UML) • Model based code generation • • • The FAA accepts use of DO-178B/C as a means of certifying software in avionics DO-178B/C outlines the objectives to be met, the work activities to be performed for each objective, and the evidence (output documents) to be supplied for each objective Objectives are organized into process areas • Planning • Development • Verification • Configuration Management • Quality Assurance Efficiency through Automation for DO-178B SOI#2 SOI#1 Planning Development Requirements • • • • • • PSAC SDP SVP SCMP SQAP Standards SOI#3 • High Level Req • Derived High Level Req SOI#4 Cert. Liason Design • Architecture • Low Level Req • Derived Low Level Req Code Integration • Source Code • Exec, Object Code • Test Cases & Procedures • Test Results Improper Tool Qual (too much or too little) Excessive code iterations Inadequate formal plans or not following them Inadequate level of detail and Lack of automated testing process for Reqs Inadequate or non-automated Verification Data, SQA data, SCM data Reqs Mgmt and Traceability Mgmt Verification, Configuration Management, Quality Assurance PSAC – Plan for Software Artifacts of Certification SDP – Software Development Plan SVP – Software Verification Plan SCMP – Software Configuration Management Plan SQAP – Software Quality Assurance Plan Neglecting “Independence” & QA Empowerment (“Boss”) Weak process and checklist management ISDP-178 • • The Integrated Software Development Process for DO-178B (ISDP-178) is a set of practices to help organizations developing products for certification under DO178B The process may be applied to any appropriate development tooling but is specifically optimized for the Continuous Engineering Toolsuite consisting of • • • • • Rational Team Concert Rational DOORS Rational Rhapsody Rational Quality Manager The ISDP-178 address three primary needs • • • Process specification Process enactment Specific links from the DO-178B standard to process content to aid in ensuring compliance – – – – By Objective By Certification Level By Work Product By Checklist ISDP-178 Process Definition • The ISDP-178 Process consists of a delivery process composed of a number of best practices, including: • Prespiral Planning • Developing Requirements • Defining and Deploying the Development Environment • Project Control (governance) • Change Management • Configuration Management • Incremental Iterative Development • High Fidelity Modeling • Real-time Embedded Architecture • Collaborative Design • Continuous Integration • Verification and Validation ISDP-178 Links to DO-178B Standard Content ISDP-178 Links to DO-178B Objectives ISDP-178 Links to DO-178B Objectives ISDP-178 Links to DO-178B by Certification Level Tool Qualification for DO-178B • Is Tool Qualification Necessary? • Generally not. Ask these questions: DO-178B process eliminated, reduced or automated? N No Qualification Needed Y Is output of tool verified per Section 6? Y N Qualify as Dev. Tool Y Y Can an Error be Introduced Can an Error be overlooked Qualify as Verification Tool Tool Qualification for ISO 26262 • Is Tool Qualification Necessary? • Can the output of the tool affect the safety of the output • More likely yes for 26262 • Qualification of tool is also tied into your process and features used in the tool • Almost the whole tool chain has to be qualified for 26262 • Principally affects Requirements, Configuration Management, Test 26 IBM Rational ISO 26262 and DO-178B/C Qualification kits available • TUV kits from IBM and third parties for 26262 • DOORS • DOORS Next Generation • Test Conductor • Rational Team Concert • Rational Quality Manager • DO-178 tool qualification is mainly about the software testing • IBM Rational TestConductor • IBM Rational Test RealTime • IBM Rational Logiscope Resources • Download practice content from the IBM Rational Solution Process Assets web page. • Being agile while still being compliant: Paper by Keith Collyer and Jordi Manzano (Diagnostic Grifols) Thank You Your Feedback is Important! Access the InterConnect 2015 Conference CONNECT Attendee Portal to complete your session surveys from your smartphone, laptop or conference kiosk.