SILAS-SAS Support you for: Consultancy on the application of formal method to help you to deploy a methodology compliant with a standard such ISO 26262, CENELEC 5012x and/or IEC 61508; to help you to develop a new product that fulfill a standard such ISO 26262, CENELEC 5012x and/or IEC 61508; to do an audit of you current approach and to identify the gap with a SIL approach; to help you to define a tools qualification process; etc. Expert to do an Independant Assessment; to do an advice on your process; to help you to improve your approach; to help you during an assessment. Training on formal method such B method; SCADE; Control-build; ... on CENELEC standard CENELEC 50126 for safety approach; CENELEC 50129 for safety demonstration; CENELEC 50128:2011 for software development CENELEC 50155 for onboard equipment; new CENELEC 50657 for software in onboard equipment; on IEC 61508 standard on ISO 26262 general approach; software development (part-6 and part-8). on requirement management Publication : papers, books, congress, workshop.