Aspects logiciels de la certification avionique et vérification statique : une nouvelle ère?
|
|
- Chrystal Quinn
- 8 years ago
- Views:
Transcription
1 Mai 2003 Presenté par Gérard LADIER Head of Software Methods/Quality Group Avionics & Simulation Products Airbus France Aspects logiciels de la certification avionique et vérification statique : une nouvelle ère? Jean Souyris ; Famantanantsoa Randimbivololona ; Gérard Ladier gerard.ladier@airbus.com
2 Who are we? EMPLOYEES Center of Competences for : Electronics and on board Software in real time applications Avionics and Simulation Business Center Developing and selling products Electronics : 140 Software : 200 Manufacturing : 115 Other : 220 gerard.ladier@airbus.com Mai 2003 Page 2
3 Who are we? AVIONICS Products Products / Equipment's sets A300/310 A319/20/21 DOMAINS Flight control Warnings A380 A330/340 Maintenance Communication gerard.ladier@airbus.com Mai 2003 Page 3
4 Summary Regulation Logic Equipment related regulation Means of compliance From a product to a process assessment Development Assurance Levels DO-178B/ED-12B : outlines Conclusion ; motivation for static analysis State of our practice What next? gerard.ladier@airbus.com Mai 2003 Page 4
5 Regulation Logic Aeronautics and space regulation Other aeroplanes Territories flown over Aircraft Federal Aviation Regulations Maintenance Noise Standard... Airworthiness FAR 25 - JAR 25 Joint Aviation Requirements Powerplant Structure... Equipment Powerplant instruments.... Equipment and system gerard.ladier@airbus.com Mai 2003 Page 5 FAR/JAR
6 Equipment related regulation (JAR/FAR ) The equipment, systems, and installations whose functioning is required by the JAR/FAR and national operating regulations must be designed to ensure that they perform their intended functions under any foreseeable operating conditions ( ). The aeroplane systems and associated components, considered separately and in relation to other systems, must be designed so that... "(1) The occurrence of any failure condition which would prevent the continued safe flight and landing of the aeroplane is extremely improbable "(2) The occurrence of any other failure condition which would reduce the capability of the aeroplane or the ability of the crew to cope with adverse operating conditions is improbable gerard.ladier@airbus.com Mai 2003 Page 6
7 Means of compliance AMJ / AC A > acceptable means for showing compliance with the JAR : " These means are intended to provide guidance for the experienced engineering and operational judgement that must form the basis for compliance findings " An inverse relationship should exist between the probability of loss of function(s) or malfunction(s) (leading to a serious Failure Condition) and the degree of hazard to the aeroplane and its occupants arising therefrom. " It is in general not feasible to assess the number or kinds of software errors, if any, that may remain after the completion of system design, development, and test. DO-178B/ED-12B, provide acceptable means for assessing and controlling the software used to program digital-computer-based systems gerard.ladier@airbus.com Mai 2003 Page 7
8 From a product to a process assessment It is in general not feasible to assess the number or kinds of software errors, if any, that may remain after the completion of system design, development, and test. The planned & systematic actions necessary to provide adequate confidence that a product or a process satisfies given requirements So «other qualitative means should be used to establish that the system can satisfy safety objectives. Development assurance establishes confidence that the system development has been accomplished in a sufficiently disciplined manner to limit the likelihood of development errors that could impact aircraft safety» (ARP ) gerard.ladier@airbus.com Mai 2003 Page 8
9 Development Assurance Levels STEP1 Determination of Failure Condition and Associated Safety Classification Failure Condition Catastrophic Hazardous Safety objectives < 10-9 < 10-7 System DAL (Development Assurance Level) A B Major < 10-5 C STEP2 Assignment of Sub-System DAL Minor No safety effect none none D E STEP3 Determination of software item DAL for each software Software DAL and system DAL are the same (except if architectural means allow reduction) gerard.ladier@airbus.com Mai 2003 Page 9
10 DO-178B/ED-12B : outlines DO-178B/ED-12B is primarily a process-oriented document Requirements on processes : "details objectives, input, activities, outputs "no specific means or life cycle required 3 classes of processes : "Planning process (organisation/plans) "Development processes : requirement, design, coding integration "Integral processes : verification, configuration management, quality assurance, certification liaison gerard.ladier@airbus.com Mai 2003 Page 10
11 DO-178B/ED-12B : outlines Guidelines for process objectives and outputs Remember the rule : " An inverse relationship should exist between the probability of loss of function(s) or malfunction(s) (leading to a serious Failure Condition) and the degree of hazard to the aeroplane and its occupants arising therefrom. "So assurance requirements vary by software level Requirements for definition of rules and plans : " SACP, " SDP, " SVP, " CMP, " SQAP Emphasis on functional verification and assessment of coverage obtained by functional tests Requirements on tools used for the SW development (qualification). gerard.ladier@airbus.com Mai 2003 Page 11
12 Conclusion Not formally proven, but it works! Why? "A pragmatic approach (remember : "experienced engineering and operational judgement must form the basis for compliance findings ) "DO-178B/ED-12B focuses on objectives rather than on means, obsolete as soon as they are prescribed "DO-178B/ED-12B and its application take into account needs and constraints from all the people implied : Independent Certification Authority, Equipment Suppliers, Aircraft Manufacturers on a consensus basis "There must be some truth in the famous clean pipe paradigm : a clean pipe does give clean water gerard.ladier@airbus.com Mai 2003 Page 12
13 But DO 178B was released in 1992 : "In 1992, SW Engineering was 24 years old... "In 2004, SW Engineering is 50% older, as compared to 1992 Recurrent problems with test-based verification "Costs: test means and tools, test software, coverage completion "Intrinsic issues on robustness checks, determination of computerresources upper-bounds, computation safety => suboptimal architecture, resources-consuming fault-tolerance mechanisms The problems are increasing "More functions implemented in software, more sophisticated functions, new functions "Evolution of underlying hardware technology: integration level, modern processor architecture, floating-point operators gerard.ladier@airbus.com Mai 2003 Page 13
14 But DO-178B is primarily a process-oriented document ( 3.0) : The assurance on the product is gained through assurance on its processes. Not so a problem when avionics software was developed from scratch Big problem for Off The Shelf In 20xx, do not use OTS is counter-productive : "Cost No comment "Safety : what is best for safety : an OS developed by an OS specialist and used by thousands of users, or an OS developed by a Flight Warning specialist, used by 26 developers? gerard.ladier@airbus.com Mai 2003 Page 14
15 First motivation for static analysis As a consequence "Test alone will not cover all future needs in software verification "Process Based Assurance is restricted to home made software Introduction of static analysis "Main idea: all dynamic properties are «present» in the code of the program "Analyse the source code - at compilation-time - to check executiontime properties "Grounded on so-called «formal methods» An initial target "Smooth and incremental changes in operational engineering (deliberately limited impact on upstream tasks) "The A380 program opportunity gerard.ladier@airbus.com Mai 2003 Page 15
16 Properties of interest A set of independent static analysers Resources properties Real-time analyser Numerical analyser Program under analysis Functional analyser Floating-point precision properties Safety analyser Runtime error properties Data properties End-user verification methodology based on formal static analysis gerard.ladier@airbus.com Mai 2003 Page 16
17 A new generation of static analysers Well-founded on scientific theory "Abstract interpretation "Hoare logic Proof-oriented "Exhaustive and precise check "Sound (no error miss) Priorities "Safety-critical software "Hard realtime constraints guarantee A pragmatic orientation "Early payback "Support partial implementation gerard.ladier@airbus.com Mai 2003 Page 17
18 Functional properties CAVEAT tool based on Hoare logic "Low level requirements checks "Automatic theorem proving + interactive proof-assistant Specification Validation testing Design architecture Integration testing Precond: true int find(int tab, int size, int elt) Static design LL requirements Coding Unit proof gerard.ladier@airbus.com Mai 2003 Page 18 { }.. Postcond: (find = 1) ( i: i 0 i<size:tab[i]=elt) (find = 0) ( i: i 0 i<size:tab[i]=elt)
19 Computation safety properties ASTREE tool based on abstract interpretation "Prove the absence of runtime errors on synchronous program "Fully automatic, zero false alarm Specification Design architecture Validation level checks Integration testing Whole program > 120,000 loc: Numeric overflow, Array bound check,. Static design LL requirements Unit proof Coding Mai 2003 Page 19
20 Resources properties AiT and Stack tools based on abstract interpretation "Stack for execution stacks upperbounds "AiT for Worst-case Execution Time "Both analyse the binary executable code Specification Design architecture Validation level checks Integration testing Whole binary code of a > loc program Stack usage Stack upperbound WCET value WCET upperbound Static design LL requirements Coding Unit proof gerard.ladier@airbus.com Mai 2003 Page 20
21 Floating-point precision properties FLUCTUAT based on abstract interpretation "Quality of Floating point calculus "At source (with some care) and assembly code level "First targets: basic SCADE operators and data acquisition and filtering functions Specification Validation level checks Data acquisition and filtering functions: about 1000 loc each Design architecture Integration testing Static design LL requirements Coding Unit proof SCADE operators: 10 to 100 loc each Mai 2003 Page 21
22 More details on static analysers CAVEAT and FLUCTUAT [CEA Laboratory: www-drt.cea.fr] ASTREE [ENS Laboratory: AiT, Stack [Absint Company: Mai 2003 Page 22
23 So Current status "Introduction of static analysis well accepted If clear and concrete benefits If local impacts on activities and processes "Positive first feedbacks from partial implementation on A380 "And our American colleagues are also becoming fans : «Extended static analysis» such as abstract interpretation, model checking, and theorem proving are now used on an industrial scale. There are strong signs of a «new golden age» for SV See gerard.ladier@airbus.com Mai 2003 Page 23
24 what next? Extension of tools (classes of properties, classes of software) And then, THE question arises : will we be able to get sufficient confidence on the product itself to get rid of Process Based Assurance for software aspects of certification? The ASBAPROD (ASsurance BAsée PRODuit) project is aimed to answer to this simple question, split in several ones : "Are we able to define all the properties of a software relevant to safety and function (>completeness)? "Without any execution of the software (>exhaustiveness)? "Automatically? "Can we separate the characterization cycle (certification) and the development cycle? gerard.ladier@airbus.com Mai 2003 Page 24
25 The ASBAPROD main tasks (1/2) Extension of tools set : "Run-Time errors detection analyser : extension to asynchronous multitasks software "Proof of functional properties tool : Extended to address more complex algorithms Extended to enable integration proof thanks to composition of unit proofs "Floating Point Calculus precision analyser development "Development of a Memory Violation analyser of multitasks programs "Task scheduling analyser "Proof of translation/compilation between a C code and its generated code. gerard.ladier@airbus.com Mai 2003 Page 25
26 The ASBAPROD main tasks (2/2) Evolution of verification methods : "Classification/formalisation of relevant properties in order to select adequate tools "Study of links between analysis of structural code coverage and proof of properties "Approach for proof by combination of unit proofs Propositions for a software aspects of certification process focusing on the product, hopefully taken into account by the future DO-178C See you in AFADL 2008 for the results! gerard.ladier@airbus.com Mai 2003 Page 26
27 Mai 2003 Page 27
28 Example of a DO-178B requirement Applicability Control Objective Output category by SW by SW level level description Ref A B C D Description Ref. A B C D 3 Test coverage of high level requirement is achieved Software verification results Requirements-Based Test Coverage Analysis ➋ ➋ ➋ ➋ The objective of this analysis is to determine how well the requirements-based testing verified the implementation of the software requirements. This analysis may reveal the need for additional requirements-based test cases. The requirements-based test coverage analysis should show that: a. Test cases exist for each software requirement. b. Test cases satisfy the criteria of normal and robustness testing as defined in paragraph gerard.ladier@airbus.com Mai 2003 Page 28
29 DO178B - Variations according to levels Levels A and B very close "same number of objectives (except one dealing with structural coverage) "differentiation is mainly based on degree of independence required to satisfy the process's objectives (40 % with independence for level A, 20% for level B) Level C ~ 85 % of A/B levels (number of objectives) "Variation is mainly on the design process and on structural coverage Level D ~ 50 % of level C (number of objectives) "Nearly no requirement left on design, coding, and verification Level E : No requirement " "one software has been confirmed as level E by the certification authority" gerard.ladier@airbus.com Mai 2003 Page 29
30 Ce document et son contenu sont la propriété d AIRBUS FRANCE S.A.S. Aucun droit de propriété intellectuelle n est accordé par la communication du présent document ou son contenu. Ce document ne doit pas être reproduit ou communiqué à un tiers sans l autorisation expresse et écrite d AIRBUS FRANCE S.A.S. Ce document et son contenu ne doivent pas être utilisés à d autres fins que celles qui sont autorisées. Les déclarations faites dans ce document ne constituent pas une offre commerciale. Elles sont basées sur les postulats indiqués et sont exprimées de bonne foi. Si les motifs de ces déclarations n étaient pas démontrés, AIRBUS FRANCE S.A.S serait prêt à en expliquer les fondements. gerard.ladier@airbus.com Mai 2003 Page 30
Toolkit in OPen-source for Critical Applications & SystEms Development
Toolkit in OPen-source for Critical Applications & SystEms Development Patrick Farail AIRBUS France patrick.farail@airbus.com June 05 - IRISATECH 1 A limited market - Long life Products Uncertain suppliers
More informationLinux A multi-purpose executive support for civil avionics applications?
August 2004 Serge GOIFFON Pierre GAUFILLET AIRBUS France Linux A multi-purpose executive support for civil avionics applications? Civil avionics software context Main characteristics Required dependability
More informationAIRBUS VHT Framework - Mascot-NuM presentation - Emmanuelle Garcia
AIRBUS Virtual Hybrid Testing Framework: focus on V&V concerns Dr. Emmanuelle Garcia, Airbus Toulouse, EZMM, strategy, process, methods and tools, simulation projects GdR Mascot-NuM workshop on Model V&V,
More informationSAFE SOFTWARE FOR SPACE APPLICATIONS: BUILDING ON THE DO-178 EXPERIENCE. Cheryl A. Dorsey Digital Flight / Solutions cadorsey@df-solutions.
SAFE SOFTWARE FOR SPACE APPLICATIONS: BUILDING ON THE DO-178 EXPERIENCE Cheryl A. Dorsey Digital Flight / Solutions cadorsey@df-solutions.com DIGITAL FLIGHT / SOLUTIONS Presentation Outline DO-178 Overview
More informationAC 20-148 REUSABLE SOFTWARE COMPONENTS
AC 20-148 REUSABLE SOFTWARE COMPONENTS December 7, 2004 12/7/04 AC 20-148 CONTENTS Paragraph Title Page 1. Purpose....1 2. Motivation for this Guidance....1 3. Document Overview...1 4. General Guidelines
More informationSun Management Center Change Manager 1.0.1 Release Notes
Sun Management Center Change Manager 1.0.1 Release Notes Sun Microsystems, Inc. 4150 Network Circle Santa Clara, CA 95054 U.S.A. Part No: 817 0891 10 May 2003 Copyright 2003 Sun Microsystems, Inc. 4150
More informationSun StorEdge A5000 Installation Guide
Sun StorEdge A5000 Installation Guide for Windows NT Server 4.0 Sun Microsystems, Inc. 901 San Antonio Road Palo Alto, CA 94303-4900 USA 650 960-1300 Fax 650 969-9131 Part No. 805-7273-11 October 1998,
More informationCertification Authorities Software Team (CAST) Position Paper CAST-13
Certification Authorities Software Team (CAST) Position Paper CAST-13 Automatic Code Generation Tools Development Assurance Completed June 2002 NOTE: This position paper has been coordinated among the
More informationMeeting DO-178B Software Verification Guidelines with Coverity Integrity Center
Meeting DO-178B Software Verification Guidelines with Coverity Integrity Center May, 2009 Thomas Schultz Director of Product Strategy, Coverity, Inc. Executive Summary Development organizations that create
More informationN1 Grid Service Provisioning System 5.0 User s Guide for the Linux Plug-In
N1 Grid Service Provisioning System 5.0 User s Guide for the Linux Plug-In Sun Microsystems, Inc. 4150 Network Circle Santa Clara, CA 95054 U.S.A. Part No: 819 0735 December 2004 Copyright 2004 Sun Microsystems,
More informationSun StorEdge RAID Manager 6.2.21 Release Notes
Sun StorEdge RAID Manager 6.2.21 Release Notes formicrosoftwindowsnt Sun Microsystems, Inc. 901 San Antonio Road Palo Alto, CA 94303-4900 USA 650 960-1300 Fax 650 969-9131 Part No. 805-6890-11 November
More informationLEVERAGING DEDUCTIVE VERIFICATION IN INDUSTRIAL CONTEXTS
LEVERAGING DEDUCTIVE VERIFICATION IN INDUSTRIAL CONTEXTS CEA S SOFTWARE SAFETY LABORATORY 1995: LEAP FROM DYNAMIC TO STATIC CODE ANALYSIS! CAVEAT: ARCHITECTURE C source code VC Generator Formal specifications
More informationSolaris 10 Documentation README
Solaris 10 Documentation README Sun Microsystems, Inc. 4150 Network Circle Santa Clara, CA 95054 U.S.A. Part No: 817 0550 10 January 2005 Copyright 2005 Sun Microsystems, Inc. 4150 Network Circle, Santa
More informationSystem Requirements Orion
Orion Date 21/12/12 Version 1.0 Référence 001 Auteur Antoine Crué VOS CONTACTS TECHNIQUES JEAN-PHILIPPE SENCKEISEN ANTOINE CRUE LIGNE DIRECTE : 01 34 93 35 33 EMAIL : JPSENCKEISEN@ORSENNA.FR LIGNE DIRECTE
More informationSun Enterprise Optional Power Sequencer Installation Guide
Sun Enterprise Optional Power Sequencer Installation Guide For the Sun Enterprise 6500/5500 System Cabinet and the Sun Enterprise 68-inch Expansion Cabinet Sun Microsystems, Inc. 901 San Antonio Road Palo
More informationCertification of a Scade 6 compiler
Certification of a Scade 6 compiler F-X Fornari Esterel Technologies 1 Introduction Topic : What does mean developping a certified software? In particular, using embedded sofware development rules! What
More informationUpgrading the Solaris PC NetLink Software
Upgrading the Solaris PC NetLink Software By Don DeVitt - Enterprise Engineering Sun BluePrints OnLine - January 2000 http://www.sun.com/blueprints Sun Microsystems, Inc. 901 San Antonio Road Palo Alto,
More informationParameters for Efficient Software Certification
Parameters for Efficient Software Certification Roland Wolfig, e0327070@student.tuwien.ac.at Vienna University of Technology, Real-Time Systems Group 1 Abstract Software certification is a common approach
More informationAbstract Interpretation-based Static Analysis Tools:
Abstract Interpretation-based Static Analysis Tools: Proving the Absence of Runtime Errors and Safe Upper Bounds on the Worst-Case Execution Time and Safe Upper Bounds on the Stack Usage Christian Ferdinand
More informationOptimizing Solaris Resources Through Load Balancing
Optimizing Solaris Resources Through Load Balancing By Tom Bialaski - Enterprise Engineering Sun BluePrints Online - June 1999 http://www.sun.com/blueprints Sun Microsystems, Inc. 901 San Antonio Road
More informationF-22 Raptor. Agenda. 1. Motivation
Model-Based Software Development and Automated Code Generation for Safety-Critical Systems F-22 Raptor for the Seminar Advanced Topics in Software Engineering for Safety-Critical Systems Cause: Bug in
More informationSun Cluster 2.2 7/00 Data Services Update: Apache Web Server
Sun Cluster 2.2 7/00 Data Services Update: Apache Web Server Sun Microsystems, Inc. 901 San Antonio Road Palo Alto, CA 94303-4900 U.S.A. 650-960-1300 Part No. 806-6121 July 2000, Revision A Copyright 2000
More informationSunFDDI 6.0 on the Sun Enterprise 10000 Server
SunFDDI 6.0 on the Sun Enterprise 10000 Server Sun Microsystems, Inc. 901 San Antonio Road Palo Alto, CA 94303-4900 USA 650 960-1300 Fax 650 969-9131 Part No.: 806-3610-11 November 1999, Revision A Send
More informationMeasuring Policing Complexity: A Research Based Agenda
ARCHIVED - Archiving Content ARCHIVÉE - Contenu archivé Archived Content Contenu archivé Information identified as archived is provided for reference, research or recordkeeping purposes. It is not subject
More informationSolaris 9 9/05 Installation Roadmap
Solaris 9 9/05 Installation Roadmap This document is a guide to the DVD-ROM, CD-ROMs, and documents involved in installing the Solaris 9 9/05 software. Unless otherwise specified, this document refers
More informationNumerology - A Case Study in Network Marketing Fractions
Vers l analyse statique de programmes numériques Sylvie Putot Laboratoire de Modélisation et Analyse de Systèmes en Interaction, CEA LIST Journées du GDR et réseau Calcul, 9-10 novembre 2010 Sylvie Putot
More informationStart Here. Installation and Documentation Reference. Sun StorEdgeTM 6120 Array
Start Here Installation and Documentation Reference Sun StorEdgeTM 6120 Array 1 Access the Online Documentation These documents and other related documents are available online at http://www.sun.com/documentation
More informationArchived Content. Contenu archivé
ARCHIVED - Archiving Content ARCHIVÉE - Contenu archivé Archived Content Contenu archivé Information identified as archived is provided for reference, research or recordkeeping purposes. It is not subject
More informationSun Enterprise 420R Server Product Notes
Sun Enterprise 420R Server Product Notes Sun Microsystems, Inc. 901 San Antonio Road Palo Alto, CA 94303-4900 USA 650 960-1300 Fax 650 969-9131 Part No. 806-1082-12 May 2001, Revision A Send comments about
More informationSun Management Center 3.6 Version 5 Add-On Software Release Notes
Sun Management Center 3.6 Version 5 Add-On Software Release Notes For Sun Fire, Sun Blade, Netra, and Sun Ultra Systems Sun Microsystems, Inc. www.sun.com Part No. 819-7977-10 October 2006, Revision A
More informationArchived Content. Contenu archivé
ARCHIVED - Archiving Content ARCHIVÉE - Contenu archivé Archived Content Contenu archivé Information identified as archived is provided for reference, research or recordkeeping purposes. It is not subject
More informationService Level Definitions and Interactions
Service Level Definitions and Interactions By Adrian Cockcroft - Enterprise Engineering Sun BluePrints OnLine - April 1999 http://www.sun.com/blueprints Sun Microsystems, Inc. 901 San Antonio Road Palo
More informationArchived Content. Contenu archivé
ARCHIVED - Archiving Content ARCHIVÉE - Contenu archivé Archived Content Contenu archivé Information identified as archived is provided for reference, research or recordkeeping purposes. It is not subject
More informationCertification Authorities Software Team (CAST) Position Paper CAST-9
Certification Authorities Software Team (CAST) Position Paper CAST-9 Considerations for Evaluating Safety Engineering Approaches to Software Assurance Completed January, 2002 NOTE: This position paper
More informationSoftware testing. Objectives
Software testing cmsc435-1 Objectives To discuss the distinctions between validation testing and defect testing To describe the principles of system and component testing To describe strategies for generating
More informationSun Grid Engine 5.2.3 Release Notes
Sun Grid Engine 5.2.3 Release Notes Sun Microsystems, Inc. 901 San Antonio Road Palo Alto, CA 94303-4900 U.S.A. 650-960-1300 Part No. 816-2082-10 July 2001 For more information, go to http://www.sun.com/gridware
More informationSun StorEdge T3 Dual Storage Array - Part 1
Sun StorEdge T3 Dual Storage Array - Part 1 Installation, Planning, and Design By Mark Garner - Enterprise Engineering Sun BluePrints OnLine - February 2001 http://www.sun.com/blueprints Sun Microsystems,
More informationFirst-half 2012 Results. August 29 th, 2012. Jean-Paul AGON. Chairman and CEO
First-half 2012 Results August 29 th, 2012 Jean-Paul AGON Chairman and CEO First-half 2012 Results +11.4% +10.8% Operating profit 1,702.3 1,896.5 Net profit after non-controlling interests 1,625.2 1,466.6
More informationSoftware Engineering Reference Framework
Software Engineering Reference Framework Michel Chaudron, Jan Friso Groote, Kees van Hee, Kees Hemerik, Lou Somers, Tom Verhoeff. Department of Mathematics and Computer Science Eindhoven University of
More informationCertification Authorities Software Team (CAST) Position Paper CAST-3
Certification Authorities Software Team (CAST) Position Paper CAST-3 Guidelines for Assuring the Software Aspects of Certification When Replacing Obsolete Electronic Parts Used in Airborne Systems and
More informationKeep in touch FINANCIAL COMMUNICATIONS. Thierry Prévot Group General Manager, Financial Communications & Strategic Prospective Analysis
FINANCIAL COMMUNICATIONS Keep in touch with a complete range of devices and publications Thierry Prévot Group General Manager, Financial Communications & Strategic Prospective Analysis 1 Websites loreal.com
More informationArchived Content. Contenu archivé
ARCHIVED - Archiving Content ARCHIVÉE - Contenu archivé Archived Content Contenu archivé Information identified as archived is provided for reference, research or recordkeeping purposes. It is not subject
More informationWORKSHOP RC 2011. EVI Integração de Sistemas Junho de 2011 Eng. Nelson José Wilmers Júnior
WORKSHOP RC 2011 EVI Integração de Sistemas Junho de 2011 Eng. Nelson José Wilmers Júnior Comparison between ARP4754 A Guidelines for Development of Civil Aircraft and Systems (2010) and ARP4754 Certification
More informationBest Practices for Verification, Validation, and Test in Model- Based Design
2008-01-1469 Best Practices for Verification, Validation, and in Model- Based Design Copyright 2008 The MathWorks, Inc. Brett Murphy, Amory Wakefield, and Jon Friedman The MathWorks, Inc. ABSTRACT Model-Based
More informationDO-178B compliance: turn an overhead expense into a competitive advantage
IBM Software Rational Aerospace and Defense DO-178B compliance: turn an overhead expense into a competitive advantage 2 DO-178B compliance: turn an overhead expense into a competitive advantage Contents
More informationA Static Analyzer for Large Safety-Critical Software. Considered Programs and Semantics. Automatic Program Verification by Abstract Interpretation
PLDI 03 A Static Analyzer for Large Safety-Critical Software B. Blanchet, P. Cousot, R. Cousot, J. Feret L. Mauborgne, A. Miné, D. Monniaux,. Rival CNRS École normale supérieure École polytechnique Paris
More informationSun TM SNMP Management Agent Release Notes, Version 1.6
Sun TM SNMP Management Agent Release Notes, Version 1.6 Sun Microsystems, Inc. www.sun.com Part No. 820-5966-12 December 2008, Revision A Submit comments about this document by clicking the Feedback[+]
More informationStatic analysis of numerical programs
Sylvie Putot with Eric Goubault, Franck Védrine and Karim Tekkal (Digiteo) Laboratory for the Modelling and Analysis of Interacting Systems, CEA LIST RAIM 09: 3es Rencontres Arithmétique de l Informatique
More informationComparing JavaServer Pages Technology and Microsoft Active Server Pages
Comparing JavaServer Pages Technology and Microsoft Active Server Pages An Analysis of Functionality Sun Microsystems, Inc. 901 San Antonio Road Palo Alto, CA 94303 1 (800) 786.7638 1.512.434.1511 Copyright
More informationThe SAMANTA platform. Emeritus Expert SNECMA. Department Prognostic Health Monitoring Systems SNECMA. jerome.lacaille@snecma.fr +33 1 60 59 70 24
The SAMANTA platform Emeritus Expert SNECMA jerome.lacaille@snecma.fr +33 1 60 59 70 24 Department Prognostic Health Monitoring Systems SNECMA aurelie.gouby@snecma.fr +33 1 60 59 42 53 /01/ Snecma and
More informationScrubbing Disks Using the Solaris Operating Environment Format Program
Scrubbing Disks Using the Solaris Operating Environment Format Program By Rob Snevely - Enterprise Technology Center Sun BluePrints OnLine - June 2000 http://www.sun.com/blueprints Sun Microsystems, Inc.
More informationExploring the iplanet Directory Server NIS Extensions
Exploring the iplanet Directory Server NIS Extensions By Tom Bialaski - Enterprise Engineering Sun BluePrints OnLine - August 2000 http://www.sun.com/blueprints Sun Microsystems, Inc. 901 San Antonio Road
More informationJava Dynamic Management Architecture for Intelligent Networks
Java Dynamic Management Architecture for Intelligent Networks Sun Microsystems, Inc. 901 San Antonio Road Palo Alto, CA 94303 1 (800) 786.7638 +1.512.434.1511 Copyright 1998 Sun Microsystems, Inc., 901
More informationPower Savings in the UltraSPARC T1 Processor
Power Savings in the UltraSPARC T1 Processor David Greenhill, Distinguished Engineer Jerome Alabado, Staff Engineer Sun Microsystems Inc. December 2005 Sun Microsystems, Inc. 4150 Network Circle Santa
More informationManaging NFS Workloads
Managing NFS Workloads By Richard McDougall, Adrian Cockcroft and Evert Hoogendoorn - Enterprise Engineering Sun BluePrints OnLine - April 1999 http://www.sun.com/blueprints Sun Microsystems, Inc. 901
More informationDisaster Recovery Requirements Analysis
Disaster Recovery Requirements Analysis By Stan Stringfellow - Special to Sun BluePrints OnLine Sun BluePrints OnLine - July 2000 http://www.sun.com/blueprints Sun Microsystems, Inc. 901 San Antonio Road
More informationArchived Content. Contenu archivé
ARCHIVED - Archiving Content ARCHIVÉE - Contenu archivé Archived Content Contenu archivé Information identified as archived is provided for reference, research or recordkeeping purposes. It is not subject
More informationCommandes de vol électriques Airbus: une approche globale de la sûreté de fonctionnement
Systèmes & Logiciels pour les NTIC dans le Transport 18 mai 2006 Presented by Pascal TRAVERSE Prepared with Isabelle LACAZE & Jean SOUYRIS Commandes de vol électriques Airbus: une approche globale de la
More informationSafety Analysis and Certification of Open Distributed Systems. P. M. Conmy; Department of Computer Science, University of York, York, YO10 5DD U.K.
Safety Analysis and Certification of Open Distributed Systems P. M. Conmy; Department of Computer Science, University of York, York, YO10 5DD U.K. M. Nicholson; Department of Computer Science, University
More informationSoftware Verification and System Assurance
Software Verification and System Assurance John Rushby Based on joint work with Bev Littlewood (City University UK) Computer Science Laboratory SRI International Menlo Park CA USA John Rushby, SR I Verification
More informationSun StorEdge Availability Suite Software Point-in-Time Copy Software Maximizing Backup Performance
Sun StorEdge Availability Suite Software Point-in-Time Copy Software Maximizing Backup Performance A Best Practice Sun Microsystems, Inc. 4150 Network Circle Santa Clara, CA 95054 U.S.A. 650-960-1300 Part
More informationSun Management Center 3.5 Update 1b Release Notes
Sun Management Center 3.5 Update 1b Release Notes Sun Microsystems, Inc. 4150 Network Circle Santa Clara, CA 95054 U.S.A. Part No: 819 3054 10 June 2005 Copyright 2005 Sun Microsystems, Inc. 4150 Network
More informationSun Management Center 3.0 Platform Update 4 Release Notes for Sun Fire 15K/12K Systems
Sun Management Center 3.0 Platform Update 4 Release Notes for Sun Fire 15K/12K Systems Sun Microsystems, Inc. 4150 Network Circle Santa Clara, CA 95054 U.S.A. 650-960-1300 Part No. 816-5008-10 April 2002,
More informationSolaris Bandwidth Manager
Solaris Bandwidth Manager By Evert Hoogendoorn - Enterprise Engineering Sun BluePrints Online - June 1999 http://www.sun.com/blueprints Sun Microsystems, Inc. 901 San Antonio Road Palo Alto, CA 94303 USA
More informationThe Impact of RTCA DO-178C on Software Development
Cognizant 20-20 Insights The Impact of RTCA DO-178C on Software Development By following DO-178C, organizations can implement aeronautical software with clear and consistent ties to existing systems and
More informationA web-based multilingual help desk
LTC-Communicator: A web-based multilingual help desk Nigel Goffe The Language Technology Centre Ltd Kingston upon Thames Abstract Software vendors operating in international markets face two problems:
More informationHEALTH CARE DIRECTIVES ACT
A11 HEALTH CARE DIRECTIVES ACT Advances in medical research and treatments have, in many cases, enabled health care professionals to extend lives. Most of these advancements are welcomed, but some people
More informationService Level Agreement in the Data Center
Service Level Agreement in the Data Center By Edward Wustenhoff Sun Professional Services Sun BluePrints OnLine - April 2002 http://www.sun.com/blueprints Sun Microsystems, Inc. 4150 Network Circle Santa
More informationThe Road from Software Testing to Theorem Proving
The Road from Software Testing to Theorem Proving A Short Compendium of my Favorite Software Verification Techniques Frédéric Painchaud DRDC Valcartier / Robustness and Software Analysis Group December
More informationLAN-Free Backups Using the Sun StorEdge Instant Image 3.0 Software
LAN-Free Backups Using the Sun StorEdge Instant Image 3.0 Software Art Licht, Sun Microsystems, Inc. Sun BluePrints OnLine June 2002 http://www.sun.com/blueprints Sun Microsystems, Inc. 4150 Network Circle
More informationSun StorEdge N8400 Filer Release Notes
Sun StorEdge N8400 Filer Release Notes Sun Microsystems, Inc. 901 San Antonio Road Palo Alto, CA 94303 U.S.A. 650-960-1300 Part No. 806-6888-10 February 2001, Revision A Send comments about this document
More informationESCALA. The perfect server for secure private clouds in AIX environments
ESCALA The perfect server for secure private clouds in AIX environments le cloud by Bull A pragmatic approach for a smooth transition to the cloud Moving towards cloud computing represents a major transformation
More informationJumpStart : NIS and sysidcfg
JumpStart : NIS and sysidcfg By Rob Snevely - Enterprise Technology Center Sun BluePrints OnLine - October 1999 http://www.sun.com/blueprints Sun Microsystems, Inc. 901 San Antonio Road Palo Alto, CA 94303
More informationSun StorEdge Enterprise Backup Software 7.2
Sun StorEdge Enterprise Backup Software 7.2 Update Guide Sun Microsystems, Inc. www.sun.com Part No. 819-4089-10 September 2005, Revision A Submit comments about this document at: http://www.sun.com/hwdocs/feedback
More information4 Applying DO-178B for safe airborne software
Applying DO-178B for safe airborne software 81 4 Applying DO-178B for safe airborne software Published as E. Kesseler, E. van de Sluis, Reliability, maintainability and safety applied to a real world avionics
More informationDeveloping a Security Policy
Developing a Security Policy By Joel Weise - SunPS SM Global Security Practice and Charles R. Martin - SunPS Java Centers Sun BluePrints OnLine - December 2001 http://www.sun.com/blueprints Sun Microsystems,
More informationReducing the Backup Window With Sun StorEdge Instant Image Software
Reducing the Backup Window With Sun StorEdge Instant Image Software Selim Daoud, Sun Professional Services, Switzerland Sun BluePrints OnLine July 2002 http://www.sun.com/blueprints Sun Microsystems, Inc.
More informationProduct / Produit Description Duration /Days Total / Total
DELL Budget Proposal / Proposition Budgétaire Solutions Design Centre N o : 200903201602 Centre de Design de Solutions Date: 2009-03-23 Proposition valide pour 30 jours / Proposal valid for 30 days Customer
More informationJava Card Platform Security
Java Card Platform Security Technical White Paper Sun Microsystems, Inc. 901 San Antonio Road Palo Alto, CA 94303 1 (800) 786.7638 1.512.434.1511 http://java.sun.com/products/javacard Copyright 2001 Sun
More information3 August 2014. Software Safety and Security Best Practices A Case Study From Aerospace
3 August 2014 Software Safety and Security Best Practices A Case Study From Aerospace Agenda Introduction Why Aviation? ARINC 653 Real-time Linux on Xen (ARLX) Safety Artifacts for ARLX Security Artifacts
More informationParallel Discrepancy-based Search
Parallel Discrepancy-based Search T. Moisan, J. Gaudreault, C.-G. Quimper Université Laval, FORAC research consortium February 21 th 2014 T. Moisan, J. Gaudreault, C.-G. Quimper Parallel Discrepancy-based
More informationSCADE SUITE SOFTWARE VERIFICATION PLAN FOR DO-178B LEVEL A & B
SCADE SUITE SOFTWARE VERIFICATION PLAN FOR DO-78B LEVEL A & B TABLE OF CONTENTS. INTRODUCTION..... PURPOSE..... RELATED DOCUMENTS..... GLOSSARY... 9.. CONVENTIONS..... RELATION WITH OTHER PLANS....6. MODIFICATION
More informationThe Premium Review. 7 December 2006
The Premium Review 7 December 2006 The L Oréal Business Model Growth Perspectives : 4 illustrations L Oréal Highlights 3 Worldwide leader in Cosmetics 2005 Sales : 14 533 M A unique expertise : A Pure
More informationArchived Content. Contenu archivé
ARCHIVED - Archiving Content ARCHIVÉE - Contenu archivé Archived Content Contenu archivé Information identified as archived is provided for reference, research or recordkeeping purposes. It is not subject
More informationBibliothèque numérique de l enssib
Bibliothèque numérique de l enssib European integration: conditions and challenges for libraries, 3 au 7 juillet 2007 36 e congrès LIBER ISO 2789 and ISO 11620: standards as reference documents in an assessment
More information5 Certifiable safe airborne software process analyses
Certifiable safe airborne software process analyses 97 5 Certifiable safe airborne software process analyses Published as E. Kesseler, Applying theory to practise, Airworthy software measured and analysed,
More informationPrivate banking: the post-eldorado era
Private banking: the post-eldorado era Michel Juvet Partner 9 June 2015 All crises beget new regulations 2008: the turning point Client protection MIFID, UCITS, FIDLEG Bank balance sheets Basel III Banking
More informationRAMS Software Techniques in European Space Projects
RAMS Software Techniques in European Space Projects An Industrial View J.M. Carranza COMPASS Workshop - York, 29/03/09 Contents Context and organisation of ESA projects Evolution of RAMS Techniques in
More informationFROM SAFETY TO SECURITY SOFTWARE ASSESSMENTS AND GUARANTEES FLORENT KIRCHNER (LIST)
FROM SAFETY TO SECURITY SOFTWARE ASSESSMENTS AND GUARANTEES FLORENT KIRCHNER (LIST) M loc 12 ONBOARD SOFTWARE SIZE 10 Volt (2011) F-35 (2012) 8 6 787 (2010) F-35 (2010) 4 2 F-22 (2005) 0 WHY DO WE TRUST
More informationRapid Recovery Techniques: Auditing Custom Software Configuration
Rapid Recovery Techniques: Auditing Custom Software Configuration By Richard Elling - Enterprise Engineering Sun BluePrints OnLine - February 2000 http://www.sun.com/blueprints Sun Microsystems, Inc. 901
More informationFirst-half 2014 RESULTS. August 1 st, 2014. Jean-Paul AGON. Chairman and CEO
RESULTS First-half 2014 August 1 st, 2014 Jean-Paul AGON Chairman and CEO The Cosmetics Market I 2 Worldwide Cosmetics Market * FIRST-HALF 2014 3.5/ 4 + + % *Excluding razors, soaps and toothpastes. First-half
More informationThe new software standard for the avionic industry: goals, changes and challenges
WHITEPAPER DO-178C/ED-12C The new software standard for the avionic industry: goals, changes and challenges SVEN NORDHOFF Aerospace Certification / Process Assurance & SPICE Assessor sven.nordhoff@sqs.com
More informationUsing CMM with DO-178B/ED-12B for Airborne System Development
Using CMM with DO-178B/ED-12B for Airborne System Development WHITE PAPER Author : Narasimha Swamy (Project Manager, Avionics Practice) Most aircraft companies develop onboard systems software for civilian
More informationSun Management Center 3.6 Version 4 Add-On Software Release Notes
Sun Management Center 3.6 Version 4 Add-On Software Release Notes For Sun Fire, Sun Blade, Netra, and Sun Ultra Systems Sun Microsystems, Inc. www.sun.com Part No. 819-4989-10 July 2006, Revision A Submit
More informationSUBJECT CANADA CUSTOMS INVOICE REQUIREMENTS. This Memorandum explains the customs invoice requirements for commercial goods imported into Canada.
MEMORANDUM D1-4-1 Ottawa, July 10, 2000 SUBJECT CANADA CUSTOMS INVOICE REQUIREMENTS This Memorandum explains the customs invoice requirements for commercial goods imported into Canada. Legislation For
More information10 mistakes not to make in France!
10 mistakes not to make in France! Have you ever heard of false friends? No? Well, let us fix that! False friends are words that are identical in English and in French and so mistakenly lead you to think
More informationM. Jean-Paul AGON. Chief Executive Officer. February 16 th 2010
M. Jean-Paul AGON Chief Executive Officer February 16 th 2010 COSMETICS MARKET Worldwide cosmetics market* Estimates** Sell-in 2009 (shipments) MASS MARKET PHARMACIES LUXURY HAIR SALONS TOTAL *excluding
More informationSun SNMP Management Agent Release Notes, Version 1.5.5
Sun SNMP Management Agent Release Notes, Version 1.5.5 Sun Microsystems, Inc. www.sun.com Part No. 820-0174-15 June 2008, Revision A Submit comments about this document at: http://www.sun.com/hwdocs/feedback
More informationArchived Content. Contenu archivé
ARCHIVED - Archiving Content ARCHIVÉE - Contenu archivé Archived Content Contenu archivé Information identified as archived is provided for reference, research or recordkeeping purposes. It is not subject
More informationProject Scope. Perform a major step forward in Airbus Virtual Testing (VT) capability of structures. Project launch Design Certification
Presented by Michel MAHÉ Prepared by Michel MAHÉ, Jean-François IMBERT, Christophe BRAND Aircraft Virtual Structural Testing: Challenges for Structure Analysis Aircraft Virtual Structural Testing: Challenges
More information